aboutsummaryrefslogtreecommitdiffstats
path: root/libs/ezsat
Commit message (Collapse)AuthorAgeFilesLines
* Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-021-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' Ansell2017-11-251-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)" functionClifford Wolf2016-02-131-1/+23
|
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-1/+1
|
* Fixed trailing whitespacesClifford Wolf2015-07-029-22/+22
|
* Improved performance in equiv_simpleClifford Wolf2015-02-011-0/+1
|
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-241-1/+1
|
* Added statehash to ezSATClifford Wolf2014-12-292-6/+46
|
* Fixed various VS warningsClifford Wolf2014-10-181-2/+2
|
* More win32 (mxe and vs) build fixesClifford Wolf2014-10-171-11/+18
|
* Various win32 / vs build fixesClifford Wolf2014-10-171-0/+1
|
* Header changes so it will compile on VSWilliam Speirs2014-10-171-1/+4
|
* Not using std::to_string in ezsat (problems with mingw)Clifford Wolf2014-10-111-5/+11
|
* Disabled ezminisat timeout feature for Win32Clifford Wolf2014-10-112-0/+8
|
* Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-103-65/+65
|
* Added native support for shift operations to ezSATClifford Wolf2014-07-302-1/+95
|
* Removed Minisat dependency on zlibClifford Wolf2014-07-251-0/+1
|
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-215-8/+71
|
* Fixed ezSAT stand-alone buildClifford Wolf2014-07-212-8/+4
|
* Improved ezsat stand-alone testsClifford Wolf2014-05-064-106/+24
|
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-121-2/+7
|
* Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosysClifford Wolf2014-03-112-5/+10
| | | | (see https://github.com/cliffordwolf/yosys/pull/28)
* Switched to EZMINISAT_SIMPSOLVER as default SAT solverClifford Wolf2014-03-051-1/+1
|
* ezSAT: Added frozen_literal() APIClifford Wolf2014-03-032-0/+16
|
* ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressionsClifford Wolf2014-03-032-8/+23
|
* Added ezSAT::eliminated API to help the SAT solver remember eliminated variablesClifford Wolf2014-03-014-3/+17
|
* ezSAT bugfix: don't call virtual methods in base class constructorClifford Wolf2014-03-012-2/+5
|
* Removed ezSAT::assumed() APIClifford Wolf2014-03-013-10/+0
|
* Removed ezSAT built-in brute-froce solverClifford Wolf2014-03-011-102/+6
|
* Added support for Minisat::SimpSolver + ezSAT frezze() APIClifford Wolf2014-02-234-11/+78
|
* Added ezMiniSat EZMINISAT_INCREMENTAL compile-time optionClifford Wolf2014-02-222-1/+17
|
* Made MiniSat solver backend configurable in ezminisat.hClifford Wolf2014-02-222-3/+10
|
* Improved non-verbose ezSAT::printDIMACS() formatClifford Wolf2014-02-181-1/+6
|
* Added ezsat vec_const() apiClifford Wolf2013-11-252-17/+26
|
* Removed undef feature from ezsat apiClifford Wolf2013-11-252-11/+2
|
* Changed MiniSAT feater defines againClifford Wolf2013-10-311-2/+3
|
* Fixed ezminisat C++ errors: undef PRIi64Clifford Wolf2013-10-301-1/+2
|
* Fixed minisat includeClifford Wolf2013-10-111-1/+1
|
* Added ezsat api for creation of anonymous vectorsClifford Wolf2013-08-152-0/+9
|
* Added SAT support for $div and $mod cellsClifford Wolf2013-08-112-0/+9
|
* Fixed gcc warnings in ezminisatClifford Wolf2013-07-051-2/+2
|
* Added timout functionality to SAT solverClifford Wolf2013-06-204-1/+56
|
* Fixed gcc build (c++11 stuff in ezSAT)Clifford Wolf2013-06-122-2/+5
|
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-092-5/+19
|
* Fixes and improvements in ezSAT libraryClifford Wolf2013-06-085-10/+202
|
* Improved sat generator and sat_solve passClifford Wolf2013-06-073-2/+7
|
* Added ezSAT libraryClifford Wolf2013-06-0711-0/+2837