3 commits

Author	SHA1	Message	Date
Clifford Wolf	7354a1718e	Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux	2014-01-03 17:30:50 +01:00
Clifford Wolf	204572d926	Fixed handling of undef values in MUX select input in ConstEval	2013-11-06 17:33:20 +01:00
Clifford Wolf	7764d0ba1d	initial import	2013-01-05 11:13:26 +01:00