aboutsummaryrefslogtreecommitdiffstats
path: root/libs
Commit message (Expand)AuthorAgeFilesLines
* extends the list of platforms without <alloca.h>Josuah Demangeon2022-07-181-1/+1
* Proper std::moveMiodrag Milanovic2022-05-271-8/+8
* Fix build on FreeBSD, which has no alloca.hMaciej Pasternacki2022-04-241-0/+3
* Fix Visual Studio buildMiodrag Milanovic2022-02-024-57/+24
* Fix for limit_range_end when not writing vcdMiodrag Milanovic2022-01-281-0/+9
* Cleanup of config to support platformsMiodrag Milanovic2022-01-261-20/+13
* Add FST libraryMiodrag Milanovic2022-01-259-0/+9853
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-0814-14/+14
* minisat: add missing include guard for WASI.whitequark2020-06-212-0/+14
* Add WASI platform support.whitequark2020-04-304-8/+47
* Use static constexpr instead of static const where possible.Henner Zeller2020-04-142-5/+4
* Improve ezsat onehot encoding schemeClaire Wolf2020-04-021-14/+28
* Using LFSR counter for ezSAT::manyhot()Claire Wolf2020-04-021-0/+118
* libs: import json11.whitequark2019-09-302-0/+1020
* Optimize numberOfPermutationsMatthew Daiter2019-05-221-6/+4
* Remove added newline (by re-running minisat 00_UPDATE.sh)Clifford Wolf2019-05-081-1/+0
* 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
* 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
* minisat: Remove template with gzFile specialization.Tim 'mithro' Ansell2017-11-252-4/+21
* subcircuit: Class with virtual methods should have virtual destructor.Tim 'mithro' Ansell2017-11-251-1/+1
* 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