Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed handling of undef values in POS cells in ConstEval | Clifford Wolf | 2013-11-06 |
* | Fixed sign handling in const eval of sshl and sshr | Clifford Wolf | 2013-11-05 |
* | Fixed signed div/mod in const eval (rounding and stuff) | Clifford Wolf | 2013-08-15 |
* | Added eval -brute_force_equiv_checker_x mode | Clifford Wolf | 2013-08-15 |
* | Fixed even more ConstEval bugs found using xsthammer | Clifford Wolf | 2013-06-14 |
* | Moved stand-alone libs to libs/ directory and added libs/subcircuit | Clifford Wolf | 2013-02-27 |
* | initial import | Clifford Wolf | 2013-01-05 |