| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fixed bug in freduce command | Clifford Wolf | 2014-03-07 | 1 | -0/+30 |
| * | Some minor code cleanups in freduce command | Clifford Wolf | 2014-03-07 | 1 | -5/+5 |
| * | Added freduce -dump | Clifford Wolf | 2014-03-06 | 1 | -1/+24 |
| * | Added freduce -stop | Clifford Wolf | 2014-03-06 | 1 | -3/+18 |
| * | fixed freduce for Minisat::SimpSolver: use frozen_literal() | Clifford Wolf | 2014-03-03 | 1 | -2/+2 |
| * | Added "sat -dump_cnf" | Clifford Wolf | 2014-02-18 | 1 | -5/+34 |
| * | Coding style corrections in SatHelper::dump_model_to_vcd() | Clifford Wolf | 2014-02-18 | 1 | -31/+31 |
| * | Added "sat -initsteps" | Clifford Wolf | 2014-02-18 | 1 | -14/+29 |
| * | Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd" and some minor cleanups | Clifford Wolf | 2014-02-17 | 1 | -5/+9 |
| * | Added "-dump_fail_to_vcd" argument to SAT solver | Andrew Zonenberg | 2014-02-17 | 1 | -0/+114 |
| * | Various improvements in expose command (added -sep and -cut) | Clifford Wolf | 2014-02-09 | 1 | -36/+119 |
| * | Fixed handling of async reset in expose -evert-dff | Clifford Wolf | 2014-02-08 | 1 | -0/+1 |
| * | Implemented expose -evert-dff | Clifford Wolf | 2014-02-08 | 1 | -11/+301 |
| * | Added generic RTLIL::SigSpec::parse_sel() with support for selection variables | Clifford Wolf | 2014-02-06 | 2 | -34/+17 |
| * | Added support for sat -show @<sel_name> | Clifford Wolf | 2014-02-06 | 1 | -0/+17 |
| * | Added sat -set-init-def and sat -tempinduct-def | Clifford Wolf | 2014-02-06 | 1 | -4/+34 |
| * | Added expose -dff | Clifford Wolf | 2014-02-06 | 1 | -1/+44 |
| * | Added miter -make_outcmp | Clifford Wolf | 2014-02-06 | 1 | -2/+23 |
| * | Added sat -set-init-zero support | Clifford Wolf | 2014-02-06 | 1 | -2/+22 |
| * | Added sat -verify and -falsify support for non-prove cases | Clifford Wolf | 2014-02-06 | 1 | -14/+26 |
| * | Added expose command | Clifford Wolf | 2014-02-05 | 2 | -0/+264 |
| * | added sat -falsify | Clifford Wolf | 2014-02-04 | 1 | -4/+28 |
| * | Fixed bug in sequential sat proofs and improved handling of asserts | Clifford Wolf | 2014-02-04 | 1 | -2/+27 |
| * | Addred sat option -ignore_unknown_cells | Clifford Wolf | 2014-02-03 | 1 | -3/+17 |
| * | Fixed a bug in miter command | Clifford Wolf | 2014-02-01 | 1 | -2/+2 |
| * | Added sat -show-inputs and -show-outputs | Clifford Wolf | 2014-02-01 | 1 | -1/+24 |
| * | Added miter command | Clifford Wolf | 2014-02-01 | 2 | -0/+307 |
| * | Added sat -tempinduc and sat -prove-asserts | Clifford Wolf | 2014-01-19 | 1 | -10/+41 |
| * | Improved performance of freduce input cone reduction | Clifford Wolf | 2014-01-04 | 1 | -23/+78 |
| * | Improved freduce performance on const signals | Clifford Wolf | 2014-01-04 | 1 | -13/+63 |
| * | Performance improvements in freduce pass | Clifford Wolf | 2014-01-03 | 1 | -27/+69 |
| * | More freduce cleanups | Clifford Wolf | 2014-01-03 | 1 | -0/+24 |
| * | Cleanups in freduce command | Clifford Wolf | 2014-01-03 | 1 | -2/+5 |
| * | Use selection in freduce command | Clifford Wolf | 2014-01-03 | 1 | -5/+20 |
| * | Another small freduce cleanup/bugfix | Clifford Wolf | 2014-01-03 | 1 | -1/+2 |
| * | More freduce cleanups and bugfixes | Clifford Wolf | 2014-01-03 | 1 | -11/+32 |
| * | Fixed more complex undef cases in freduce | Clifford Wolf | 2014-01-02 | 1 | -4/+36 |
| * | More "freduce" related fixes and improvements | Clifford Wolf | 2014-01-02 | 1 | -19/+67 |
| * | Some cleanups in freduce -inv mode (and switched from -noinv to -inv) | Clifford Wolf | 2014-01-02 | 1 | -26/+29 |
| * | 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 |
