aboutsummaryrefslogtreecommitdiffstats
path: root/libs
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* fixed a bug in subcircuit library with cells that have connections to itselfClifford Wolf2014-02-091-1/+4
* Include unistd.h in svgview.cpp (required for getcwd() function)Martin Schmölzer2013-11-281-0/+1
* Added QGraphicsWebView to yosys-svgviewerClifford Wolf2013-11-284-16/+58
* Added some svgviewer code for possible future switch to QGraphicsWebViewClifford Wolf2013-11-273-6/+20
* Added ezsat vec_const() apiClifford Wolf2013-11-252-17/+26
* Removed undef feature from ezsat apiClifford Wolf2013-11-252-11/+2