| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -3/+3 |
| * | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 1 | -1/+1 |
| * | Added statehash to ezSAT | Clifford Wolf | 2014-12-29 | 1 | -6/+43 |
| * | Fixed various VS warnings | Clifford Wolf | 2014-10-18 | 1 | -2/+2 |
| * | More win32 (mxe and vs) build fixes | Clifford Wolf | 2014-10-17 | 1 | -11/+18 |
| * | Not using std::to_string in ezsat (problems with mingw) | Clifford Wolf | 2014-10-11 | 1 | -5/+11 |
| * | Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 1 | -60/+60 |
| * | Added native support for shift operations to ezSAT | Clifford Wolf | 2014-07-30 | 1 | -0/+90 |
| * | Added ezSAT::keep_cnf() and ezSAT::non_incremental() | Clifford Wolf | 2014-07-21 | 1 | -5/+41 |
| * | Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys | Clifford Wolf | 2014-03-11 | 1 | -1/+2 |
| * | ezSAT: Added frozen_literal() API | Clifford Wolf | 2014-03-03 | 1 | -0/+14 |
| * | ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions | Clifford Wolf | 2014-03-03 | 1 | -7/+22 |
| * | Added ezSAT::eliminated API to help the SAT solver remember eliminated variables | Clifford Wolf | 2014-03-01 | 1 | -3/+7 |
| * | ezSAT bugfix: don't call virtual methods in base class constructor | Clifford Wolf | 2014-03-01 | 1 | -2/+2 |
| * | Removed ezSAT::assumed() API | Clifford Wolf | 2014-03-01 | 1 | -2/+0 |
| * | Removed ezSAT built-in brute-froce solver | Clifford Wolf | 2014-03-01 | 1 | -102/+6 |
| * | Added support for Minisat::SimpSolver + ezSAT frezze() API | Clifford Wolf | 2014-02-23 | 1 | -6/+27 |
| * | Improved non-verbose ezSAT::printDIMACS() format | Clifford Wolf | 2014-02-18 | 1 | -1/+6 |
| * | Added ezsat vec_const() api | Clifford Wolf | 2013-11-25 | 1 | -12/+20 |
| * | Added ezsat api for creation of anonymous vectors | Clifford Wolf | 2013-08-15 | 1 | -0/+8 |
| * | Added SAT support for $div and $mod cells | Clifford Wolf | 2013-08-11 | 1 | -0/+6 |
| * | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 1 | -0/+3 |
| * | Fixed gcc build (c++11 stuff in ezSAT) | Clifford Wolf | 2013-06-12 | 1 | -0/+3 |
| * | Fixes and improvements in ezSAT library | Clifford Wolf | 2013-06-08 | 1 | -3/+39 |
| * | Improved sat generator and sat_solve pass | Clifford Wolf | 2013-06-07 | 1 | -0/+4 |
| * | Added ezSAT library | Clifford Wolf | 2013-06-07 | 1 | -0/+1221 |
