| Commit message (Expand) | Author | Age | Files | Lines |
* | Fixed sign handling in const eval of sshl and sshr | Clifford Wolf | 2013-11-05 | 1 | -2/+6 |
* | Fixed signed div/mod in const eval (rounding and stuff) | Clifford Wolf | 2013-08-15 | 1 | -2/+8 |
* | Added eval -brute_force_equiv_checker_x mode | Clifford Wolf | 2013-08-15 | 1 | -4/+10 |
* | Fixed even more ConstEval bugs found using xsthammer | Clifford Wolf | 2013-06-14 | 1 | -26/+53 |
* | Moved stand-alone libs to libs/ directory and added libs/subcircuit | Clifford Wolf | 2013-02-27 | 1 | -1/+1 |
* | initial import | Clifford Wolf | 2013-01-05 | 1 | -0/+392 |