summaryrefslogtreecommitdiff
path: root/libs
Commit message (Collapse)AuthorAge
* 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
| | | | (see https://github.com/cliffordwolf/yosys/pull/28)
* 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
|
* Improved non-verbose ezSAT::printDIMACS() formatClifford Wolf2014-02-18
|
* fixed a bug in subcircuit library with cells that have connections to itselfClifford Wolf2014-02-09
|
* Include unistd.h in svgview.cpp (required for getcwd() function)Martin Schmölzer2013-11-28
| | | | | | This fixes compilation on Arch Linux, which otherwise fails. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
* Added QGraphicsWebView to yosys-svgviewerClifford Wolf2013-11-28
|
* Added some svgviewer code for possible future switch to QGraphicsWebViewClifford Wolf2013-11-27
|
* Added ezsat vec_const() apiClifford Wolf2013-11-25
|
* Removed undef feature from ezsat apiClifford Wolf2013-11-25
|
* Changed MiniSAT feater defines againClifford Wolf2013-10-31
|
* Fixed ezminisat C++ errors: undef PRIi64Clifford Wolf2013-10-30
|
* Fixed minisat includeClifford Wolf2013-10-11
|
* Added ezsat api for creation of anonymous vectorsClifford Wolf2013-08-15
|
* Added SAT support for $div and $mod cellsClifford Wolf2013-08-11
|
* Fixed gcc warnings in ezminisatClifford Wolf2013-07-05
|
* Added timout functionality to SAT solverClifford Wolf2013-06-20
|
* Fixed gcc build (c++11 stuff in ezSAT)Clifford Wolf2013-06-12
|