aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat
Commit message (Expand)AuthorAgeFilesLines
* Fixed compiler warining in passes/sat/eval.ccClifford Wolf2013-12-071-2/+2
* Added eval -set-undef and eval -tableClifford Wolf2013-12-071-11/+140
* Started implementing undef support in "sat" commandClifford Wolf2013-11-251-12/+103
* Improvements in satgen undef handlingClifford Wolf2013-11-251-14/+39
* Improvements in satgen undef handlingClifford Wolf2013-11-251-4/+20
* Started implementing undef handling in satgenClifford Wolf2013-11-251-9/+30
* Improved user-friendliness of "sat" and "eval" expression parsingClifford Wolf2013-11-092-20/+16
* Added verification of SAT model to "eval -vloghammer_report" commandClifford Wolf2013-11-091-0/+43
* Added handling of unconnected/unspecified signals to eval -vloghammer_reportClifford Wolf2013-11-061-2/+6
* Added correct RTL undef handling to eval vloghammer modeClifford Wolf2013-11-061-3/+17
* Added eval -vloghammer_report modeClifford Wolf2013-11-061-4/+142
* Added sat -ignore_div_by_zero switchClifford Wolf2013-08-151-1/+11
* Added eval -brute_force_equiv_checker_x modeClifford Wolf2013-08-151-5/+15
* freduce performance fixClifford Wolf2013-08-101-4/+8
* Added -try option to freduce passClifford Wolf2013-08-081-16/+44
* Fixed topological ordering in freduce passClifford Wolf2013-08-071-54/+67
* Small bugfixes in freduce passClifford Wolf2013-08-061-4/+14
* Added freduce commandClifford Wolf2013-08-062-0/+362
* Added SAT support for -all/-max with -verifyClifford Wolf2013-06-231-6/+11
* Added timout functionality to SAT solverClifford Wolf2013-06-201-5/+62
* Added "eval" passClifford Wolf2013-06-193-187/+228
* Fixed even more ConstEval bugs found using xsthammerClifford Wolf2013-06-141-2/+1
* Added consteval testing to xsthammer and fixed bugsClifford Wolf2013-06-131-0/+97
* More xsthammer improvements (using xst 14.5 now)Clifford Wolf2013-06-131-1/+1
* Improvements and fixes in SAT codeClifford Wolf2013-06-101-4/+14
* Renamed "sat_solve" pass to "sat"Clifford Wolf2013-06-093-13/+13
* Implemented temporal induction proofs in sat_solveClifford Wolf2013-06-092-37/+178
* Added support for non-temporal proofs to sat_solveClifford Wolf2013-06-092-26/+127
* Re-organization in sat_solver pass for temporal inductionClifford Wolf2013-06-091-251/+296
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-091-1/+4
* Fixed handling of $_XOR_ in SAT generatorClifford Wolf2013-06-091-1/+3
* Added sequential solving support to sat_solveClifford Wolf2013-06-092-57/+208
* Fixed typo is sat_solve help msgClifford Wolf2013-06-081-1/+1
* Added support for shifter cells to SAT generatorClifford Wolf2013-06-082-3/+17
* Various improvements in sat_solve pass and SAT generatorClifford Wolf2013-06-083-10/+74
* Added -all and -max options to sat_solveClifford Wolf2013-06-081-0/+31
* Improved auto-detection of -show signals in sat_solveClifford Wolf2013-06-082-29/+72
* Improved sat generator and sat_solve passClifford Wolf2013-06-072-4/+4
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-074-0/+259