aboutsummaryrefslogtreecommitdiffstats
path: root/libs
Commit message (Collapse)AuthorAgeFilesLines
* libs: import json11.whitequark2019-09-302-0/+1020
| | | | | This commit imports the code from upstream commit dropbox/json11@8ccf1f0c5ecab6151a65f216e7eeccd8588e5457.
* Optimize numberOfPermutationsMatthew Daiter2019-05-221-6/+4
|
* Remove added newline (by re-running minisat 00_UPDATE.sh)Clifford Wolf2019-05-081-1/+0
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix all warnings that occurred when compiling with gcc9Kristoffer Ellersgaard Koch2019-05-081-0/+1
|
* Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-022-4/+4
| | | | | | | | | | | | 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: Make update script executable.Tim 'mithro' Ansell2017-11-251-0/+0
|
* minisat: Only define __STDC_XXX_MACROS if not already defined.Tim 'mithro' Ansell2017-11-256-3/+23
| | | | | | | | | | | | | | | | | 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).
* minisat: Remove template with gzFile specialization.Tim 'mithro' Ansell2017-11-252-4/+21
| | | | | All the other gzFile functions have been removed but this template was still left around.
* subcircuit: Class with virtual methods should have virtual destructor.Tim 'mithro' Ansell2017-11-251-1/+1
| | | | | | Fixes a compile warning. * https://stackoverflow.com/questions/1123044/when-should-your-destructor-be-virtual
* Add minisat 00_PATCH_typofixes.patchClifford Wolf2017-03-272-0/+21
|
* Remove use of <fpu_control.h> in minisatClifford Wolf2017-03-274-18/+44
|
* 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-0213-30/+30
|
* 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
|
* Compile fix for visual studioClifford Wolf2014-12-111-0/+1
|
* switching from unreliable typedefs to precisely sized uint32_t and uint64_tSlowRiot2014-11-202-19/+16
|
* fixing incorrect buffer size allocation, and unsafe integer size typeSlowRiot2014-11-202-60/+64
|
* 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
|
* A few indent fixesClifford Wolf2014-10-151-1/+1
|
* Changed to explicit heap allocated memoryWilliam Speirs2014-10-151-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
|
* More Win32 build fixesClifford Wolf2014-10-101-0/+4
|
* Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-103-65/+65
|
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-061-2/+2
|
* Removed yosys-svgviewerClifford Wolf2014-09-0212-1091/+0
|
* Replaced sha1 implementationClifford Wolf2014-08-012-234/+327
|
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-311-2/+2
|
* Added native support for shift operations to ezSATClifford Wolf2014-07-302-1/+95
|
* Removed Minisat dependency on zlibClifford Wolf2014-07-255-13/+43
|
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-215-8/+71
|
* Fixed ezSAT stand-alone buildClifford Wolf2014-07-212-8/+4
|
* Updated minisatClifford Wolf2014-07-2120-45/+45
|
* Using relative path names in minisat headersClifford Wolf2014-07-211-1/+1
|
* Improved ezsat stand-alone testsClifford Wolf2014-05-064-106/+24
|
* minisat compile fixClifford Wolf2014-04-203-2/+25
|
* POSIX find requires a path argument.Anthony J. Bentley2014-04-041-1/+1
|
* Merged OSX fixes from Siesh1oo with some modificationsClifford Wolf2014-03-131-0/+1
|
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-123-9/+10
|
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-1225-2/+5020
|
* 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
|