Commit message (Expand) | Author | Age | |
---|---|---|---|
* | More undef-propagation related fixes | Clifford Wolf | 2013-11-08 |
* | Removed debug log from const_pow() | Clifford Wolf | 2013-11-08 |
* | Fixed handling of power operator | Clifford Wolf | 2013-11-07 |
* | Fixed more extend vs. extend_u0 issues | Clifford Wolf | 2013-11-07 |
* | Improved undef handling in == and != for ConstEval | Clifford Wolf | 2013-11-06 |
* | Improved width extension with regard to undef propagation | Clifford Wolf | 2013-11-06 |
* | 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 |