path: root/passes/sat/
Commit message (Expand)AuthorAge
* Major rewrite of "freduce" commandClifford Wolf2014-01-02
* Added sat -prove-x and -set-def-inputsClifford Wolf2013-12-28
* Added sat -set-def/-set-*-undef supportClifford Wolf2013-12-27
* Renamed sat -set-undef to -set-any-undefClifford Wolf2013-12-27
* Added sat -max_undef featureClifford Wolf2013-12-07
* Added "sat" undef support and "sat -set-init" optionsClifford Wolf2013-12-07
* Started implementing undef support in "sat" commandClifford Wolf2013-11-25
* Improved user-friendliness of "sat" and "eval" expression parsingClifford Wolf2013-11-09
* Added sat -ignore_div_by_zero switchClifford Wolf2013-08-15
* Added SAT support for -all/-max with -verifyClifford Wolf2013-06-23
* Added timout functionality to SAT solverClifford Wolf2013-06-20
* Added "eval" passClifford Wolf2013-06-19
* Fixed even more ConstEval bugs found using xsthammerClifford Wolf2013-06-14
* Added consteval testing to xsthammer and fixed bugsClifford Wolf2013-06-13
* More xsthammer improvements (using xst 14.5 now)Clifford Wolf2013-06-13
* Improvements and fixes in SAT codeClifford Wolf2013-06-10
* Renamed "sat_solve" pass to "sat"Clifford Wolf2013-06-09