summaryrefslogtreecommitdiff
path: root/libs
Commit message (Expand)AuthorAge
* Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2019-10-18
* New upstream version 0.9Ruben Undheim2019-10-18
* Imported GIT HEAD: 0.8+20190328git32bd0f2Ruben Undheim2019-03-28
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* Added "int ceil_log2(int)" functionClifford Wolf2016-02-13
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-14
* Fixed trailing whitespacesClifford Wolf2015-07-02
* Improved performance in equiv_simpleClifford Wolf2015-02-01
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-24
* Added statehash to ezSATClifford Wolf2014-12-29
* Compile fix for visual studioClifford Wolf2014-12-11
* switching from unreliable typedefs to precisely sized uint32_t and uint64_tSlowRiot2014-11-20
* fixing incorrect buffer size allocation, and unsafe integer size typeSlowRiot2014-11-20
* Fixed various VS warningsClifford Wolf2014-10-18
* More win32 (mxe and vs) build fixesClifford Wolf2014-10-17
* Various win32 / vs build fixesClifford Wolf2014-10-17
* Header changes so it will compile on VSWilliam Speirs2014-10-17
* A few indent fixesClifford Wolf2014-10-15
* Changed to explicit heap allocated memoryWilliam Speirs2014-10-15
* Not using std::to_string in ezsat (problems with mingw)Clifford Wolf2014-10-11
* Disabled ezminisat timeout feature for Win32Clifford Wolf2014-10-11
* More Win32 build fixesClifford Wolf2014-10-10
* Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-10
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-06
* Removed yosys-svgviewerClifford Wolf2014-09-02
* Replaced sha1 implementationClifford Wolf2014-08-01
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-31
* Added native support for shift operations to ezSATClifford Wolf2014-07-30
* Removed Minisat dependency on zlibClifford Wolf2014-07-25
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-21
* Fixed ezSAT stand-alone buildClifford Wolf2014-07-21
* Updated minisatClifford Wolf2014-07-21
* Using relative path names in minisat headersClifford Wolf2014-07-21
* Improved ezsat stand-alone testsClifford Wolf2014-05-06
* minisat compile fixClifford Wolf2014-04-20
* POSIX find requires a path argument.Anthony J. Bentley2014-04-04
* Merged OSX fixes from Siesh1oo with some modificationsClifford Wolf2014-03-13
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-12
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-12
* Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosysClifford Wolf2014-03-11
* Switched to EZMINISAT_SIMPSOLVER as default SAT solverClifford Wolf2014-03-05
* ezSAT: Added frozen_literal() APIClifford Wolf2014-03-03
* ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressionsClifford Wolf2014-03-03
* Added ezSAT::eliminated API to help the SAT solver remember eliminated variablesClifford Wolf2014-03-01
* ezSAT bugfix: don't call virtual methods in base class constructorClifford Wolf2014-03-01
* Removed ezSAT::assumed() APIClifford Wolf2014-03-01
* Removed ezSAT built-in brute-froce solverClifford Wolf2014-03-01
* Added support for Minisat::SimpSolver + ezSAT frezze() APIClifford Wolf2014-02-23
* Added ezMiniSat EZMINISAT_INCREMENTAL compile-time optionClifford Wolf2014-02-22
* Made MiniSat solver backend configurable in ezminisat.hClifford Wolf2014-02-22