| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
| * | Fix typographical and grammatical errors and inconsistencies. | whitequark | 2019-01-02 | 1 | -1/+1 |
| * | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -2/+2 |
| * | Disabled ezminisat timeout feature for Win32 | Clifford Wolf | 2014-10-11 | 1 | -0/+2 |
| * | Switched to EZMINISAT_SIMPSOLVER as default SAT solver | Clifford Wolf | 2014-03-05 | 1 | -1/+1 |
| * | Added ezSAT::eliminated API to help the SAT solver remember eliminated variables | Clifford Wolf | 2014-03-01 | 1 | -0/+1 |
| * | Added support for Minisat::SimpSolver + ezSAT frezze() API | Clifford Wolf | 2014-02-23 | 1 | -2/+14 |
| * | Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option | Clifford Wolf | 2014-02-22 | 1 | -0/+1 |
| * | Made MiniSat solver backend configurable in ezminisat.h | Clifford Wolf | 2014-02-22 | 1 | -1/+5 |
| * | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 1 | -0/+5 |
| * | Added ezSAT library | Clifford Wolf | 2013-06-07 | 1 | -0/+46 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |