Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improved user-friendliness of "sat" and "eval" expression parsing | Clifford Wolf | 2013-11-09 |
* | Added verification of SAT model to "eval -vloghammer_report" command | Clifford Wolf | 2013-11-09 |
* | Added handling of unconnected/unspecified signals to eval -vloghammer_report | Clifford Wolf | 2013-11-06 |
* | Added correct RTL undef handling to eval vloghammer mode | Clifford Wolf | 2013-11-06 |
* | Added eval -vloghammer_report mode | Clifford Wolf | 2013-11-06 |
* | Added eval -brute_force_equiv_checker_x mode | Clifford Wolf | 2013-08-15 |
* | Added "eval" pass | Clifford Wolf | 2013-06-19 |