| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Major rewrite of "freduce" command | Clifford Wolf | 2014-01-02 | 3 | -281/+335 |
| * | Added sat -prove-x and -set-def-inputs | Clifford Wolf | 2013-12-28 | 1 | -32/+96 |
| * | Added sat -set-def/-set-*-undef support | Clifford Wolf | 2013-12-27 | 1 | -5/+66 |
| * | Renamed sat -set-undef to -set-any-undef | Clifford Wolf | 2013-12-27 | 1 | -20/+20 |
| * | Added sat -max_undef feature | Clifford Wolf | 2013-12-07 | 1 | -11/+50 |
| * | Added "sat" undef support and "sat -set-init" options | Clifford Wolf | 2013-12-07 | 1 | -40/+146 |
| * | Fixed compiler warining in passes/sat/eval.cc | Clifford Wolf | 2013-12-07 | 1 | -2/+2 |
| * | Added eval -set-undef and eval -table | Clifford Wolf | 2013-12-07 | 1 | -11/+140 |
| * | Started implementing undef support in "sat" command | Clifford Wolf | 2013-11-25 | 1 | -12/+103 |
| * | Improvements in satgen undef handling | Clifford Wolf | 2013-11-25 | 1 | -14/+39 |
| * | Improvements in satgen undef handling | Clifford Wolf | 2013-11-25 | 1 | -4/+20 |
| * | Started implementing undef handling in satgen | Clifford Wolf | 2013-11-25 | 1 | -9/+30 |
| * | Improved user-friendliness of "sat" and "eval" expression parsing | Clifford Wolf | 2013-11-09 | 2 | -20/+16 |
| * | Added verification of SAT model to "eval -vloghammer_report" command | Clifford Wolf | 2013-11-09 | 1 | -0/+43 |
| * | Added handling of unconnected/unspecified signals to eval -vloghammer_report | Clifford Wolf | 2013-11-06 | 1 | -2/+6 |
| * | Added correct RTL undef handling to eval vloghammer mode | Clifford Wolf | 2013-11-06 | 1 | -3/+17 |
| * | Added eval -vloghammer_report mode | Clifford Wolf | 2013-11-06 | 1 | -4/+142 |
| * | Added sat -ignore_div_by_zero switch | Clifford Wolf | 2013-08-15 | 1 | -1/+11 |
| * | Added eval -brute_force_equiv_checker_x mode | Clifford Wolf | 2013-08-15 | 1 | -5/+15 |
| * | freduce performance fix | Clifford Wolf | 2013-08-10 | 1 | -4/+8 |
| * | Added -try option to freduce pass | Clifford Wolf | 2013-08-08 | 1 | -16/+44 |
| * | Fixed topological ordering in freduce pass | Clifford Wolf | 2013-08-07 | 1 | -54/+67 |
| * | Small bugfixes in freduce pass | Clifford Wolf | 2013-08-06 | 1 | -4/+14 |
| * | Added freduce command | Clifford Wolf | 2013-08-06 | 2 | -0/+362 |
| * | Added SAT support for -all/-max with -verify | Clifford Wolf | 2013-06-23 | 1 | -6/+11 |
| * | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 1 | -5/+62 |
| * | Added "eval" pass | Clifford Wolf | 2013-06-19 | 3 | -187/+228 |
| * | Fixed even more ConstEval bugs found using xsthammer | Clifford Wolf | 2013-06-14 | 1 | -2/+1 |
| * | Added consteval testing to xsthammer and fixed bugs | Clifford Wolf | 2013-06-13 | 1 | -0/+97 |
| * | More xsthammer improvements (using xst 14.5 now) | Clifford Wolf | 2013-06-13 | 1 | -1/+1 |
| * | Improvements and fixes in SAT code | Clifford Wolf | 2013-06-10 | 1 | -4/+14 |
| * | Renamed "sat_solve" pass to "sat" | Clifford Wolf | 2013-06-09 | 3 | -13/+13 |
| * | Implemented temporal induction proofs in sat_solve | Clifford Wolf | 2013-06-09 | 2 | -37/+178 |
| * | Added support for non-temporal proofs to sat_solve | Clifford Wolf | 2013-06-09 | 2 | -26/+127 |
| * | Re-organization in sat_solver pass for temporal induction | Clifford Wolf | 2013-06-09 | 1 | -251/+296 |
| * | Added ezSAT api support for don't care values in models | Clifford Wolf | 2013-06-09 | 1 | -1/+4 |
| * | Fixed handling of $_XOR_ in SAT generator | Clifford Wolf | 2013-06-09 | 1 | -1/+3 |
| * | Added sequential solving support to sat_solve | Clifford Wolf | 2013-06-09 | 2 | -57/+208 |
| * | Fixed typo is sat_solve help msg | Clifford Wolf | 2013-06-08 | 1 | -1/+1 |
| * | Added support for shifter cells to SAT generator | Clifford Wolf | 2013-06-08 | 2 | -3/+17 |
| * | Various improvements in sat_solve pass and SAT generator | Clifford Wolf | 2013-06-08 | 3 | -10/+74 |
| * | Added -all and -max options to sat_solve | Clifford Wolf | 2013-06-08 | 1 | -0/+31 |
| * | Improved auto-detection of -show signals in sat_solve | Clifford Wolf | 2013-06-08 | 2 | -29/+72 |
| * | Improved sat generator and sat_solve pass | Clifford Wolf | 2013-06-07 | 2 | -4/+4 |
| * | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 | 4 | -0/+259 |
