| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix typographical and grammatical errors and inconsistencies. | whitequark | 2019-01-02 | 1 | -1/+1 |
| | | | | | | | | | | | | | The initial list of hits was generated with the codespell command below, and each hit was evaluated and fixed manually while taking context into consideration. DIRS="kernel/ frontends/ backends/ passes/ techlibs/" DIRS="${DIRS} libs/ezsat/ libs/subcircuit" codespell $DIRS -S *.o -L upto,iff,thru,synopsys,uint More hits were found by looking through comments and strings manually. | ||||
| * | minisat: Only define __STDC_XXX_MACROS if not already defined. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -1/+5 |
| | | | | | | | | | | | | | | | | | | Replace; #define __STDC_LIMIT_MACROS #define __STDC_FORMAT_MACROS With #ifndef __STDC_LIMIT_MACROS #define __STDC_LIMIT_MACROS #endif #ifndef __STDC_FORMAT_MACROS #define __STDC_FORMAT_MACROS #endif This fixes a compile warning if you are defining these macros in your CXXFLAGS (as some distros do). | ||||
| * | Added "int ceil_log2(int)" function | Clifford Wolf | 2016-02-13 | 1 | -1/+23 |
| | | |||||
| * | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -1/+1 |
| | | |||||
| * | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 9 | -22/+22 |
| | | |||||
| * | Improved performance in equiv_simple | Clifford Wolf | 2015-02-01 | 1 | -0/+1 |
| | | |||||
| * | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 1 | -1/+1 |
| | | |||||
| * | Added statehash to ezSAT | Clifford Wolf | 2014-12-29 | 2 | -6/+46 |
| | | |||||
| * | 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 |
| | | |||||
| * | Various win32 / vs build fixes | Clifford Wolf | 2014-10-17 | 1 | -0/+1 |
| | | |||||
| * | Header changes so it will compile on VS | William Speirs | 2014-10-17 | 1 | -1/+4 |
| | | |||||
| * | Not using std::to_string in ezsat (problems with mingw) | Clifford Wolf | 2014-10-11 | 1 | -5/+11 |
| | | |||||
| * | Disabled ezminisat timeout feature for Win32 | Clifford Wolf | 2014-10-11 | 2 | -0/+8 |
| | | |||||
| * | Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 3 | -65/+65 |
| | | |||||
| * | Added native support for shift operations to ezSAT | Clifford Wolf | 2014-07-30 | 2 | -1/+95 |
| | | |||||
| * | Removed Minisat dependency on zlib | Clifford Wolf | 2014-07-25 | 1 | -0/+1 |
| | | |||||
| * | Added ezSAT::keep_cnf() and ezSAT::non_incremental() | Clifford Wolf | 2014-07-21 | 5 | -8/+71 |
| | | |||||
| * | Fixed ezSAT stand-alone build | Clifford Wolf | 2014-07-21 | 2 | -8/+4 |
| | | |||||
| * | Improved ezsat stand-alone tests | Clifford Wolf | 2014-05-06 | 4 | -106/+24 |
| | | |||||
| * | Added libs/minisat (copy of minisat git master) | Clifford Wolf | 2014-03-12 | 1 | -2/+7 |
| | | |||||
| * | Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys | Clifford Wolf | 2014-03-11 | 2 | -5/+10 |
| | | | | | (see https://github.com/cliffordwolf/yosys/pull/28) | ||||
| * | Switched to EZMINISAT_SIMPSOLVER as default SAT solver | Clifford Wolf | 2014-03-05 | 1 | -1/+1 |
| | | |||||
| * | ezSAT: Added frozen_literal() API | Clifford Wolf | 2014-03-03 | 2 | -0/+16 |
| | | |||||
| * | ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions | Clifford Wolf | 2014-03-03 | 2 | -8/+23 |
| | | |||||
| * | Added ezSAT::eliminated API to help the SAT solver remember eliminated variables | Clifford Wolf | 2014-03-01 | 4 | -3/+17 |
| | | |||||
| * | ezSAT bugfix: don't call virtual methods in base class constructor | Clifford Wolf | 2014-03-01 | 2 | -2/+5 |
| | | |||||
| * | Removed ezSAT::assumed() API | Clifford Wolf | 2014-03-01 | 3 | -10/+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 | 4 | -11/+78 |
| | | |||||
| * | Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option | Clifford Wolf | 2014-02-22 | 2 | -1/+17 |
| | | |||||
| * | Made MiniSat solver backend configurable in ezminisat.h | Clifford Wolf | 2014-02-22 | 2 | -3/+10 |
| | | |||||
| * | Improved non-verbose ezSAT::printDIMACS() format | Clifford Wolf | 2014-02-18 | 1 | -1/+6 |
| | | |||||
| * | Added ezsat vec_const() api | Clifford Wolf | 2013-11-25 | 2 | -17/+26 |
| | | |||||
| * | Removed undef feature from ezsat api | Clifford Wolf | 2013-11-25 | 2 | -11/+2 |
| | | |||||
| * | Changed MiniSAT feater defines again | Clifford Wolf | 2013-10-31 | 1 | -2/+3 |
| | | |||||
| * | Fixed ezminisat C++ errors: undef PRIi64 | Clifford Wolf | 2013-10-30 | 1 | -1/+2 |
| | | |||||
| * | Fixed minisat include | Clifford Wolf | 2013-10-11 | 1 | -1/+1 |
| | | |||||
| * | Added ezsat api for creation of anonymous vectors | Clifford Wolf | 2013-08-15 | 2 | -0/+9 |
| | | |||||
| * | Added SAT support for $div and $mod cells | Clifford Wolf | 2013-08-11 | 2 | -0/+9 |
| | | |||||
| * | Fixed gcc warnings in ezminisat | Clifford Wolf | 2013-07-05 | 1 | -2/+2 |
| | | |||||
| * | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 4 | -1/+56 |
| | | |||||
| * | Fixed gcc build (c++11 stuff in ezSAT) | Clifford Wolf | 2013-06-12 | 2 | -2/+5 |
| | | |||||
| * | Added ezSAT api support for don't care values in models | Clifford Wolf | 2013-06-09 | 2 | -5/+19 |
| | | |||||
| * | Fixes and improvements in ezSAT library | Clifford Wolf | 2013-06-08 | 5 | -10/+202 |
| | | |||||
| * | Improved sat generator and sat_solve pass | Clifford Wolf | 2013-06-07 | 3 | -2/+7 |
| | | |||||
| * | Added ezSAT library | Clifford Wolf | 2013-06-07 | 11 | -0/+2837 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |