aboutsummaryrefslogtreecommitdiffstats
path: root/libs
Commit message (Collapse)AuthorAgeFilesLines
...
* 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
| | | | | | 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-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
|
* Changed MiniSAT feater defines againClifford Wolf2013-10-311-2/+3
|
* Fixed ezminisat C++ errors: undef PRIi64Clifford Wolf2013-10-301-1/+2
|
* Fixed minisat includeClifford Wolf2013-10-111-1/+1
|
* Added ezsat api for creation of anonymous vectorsClifford Wolf2013-08-152-0/+9
|
* Added SAT support for $div and $mod cellsClifford Wolf2013-08-112-0/+9
|
* Fixed gcc warnings in ezminisatClifford Wolf2013-07-051-2/+2
|
* Added timout functionality to SAT solverClifford Wolf2013-06-204-1/+56
|
* Fixed gcc build (c++11 stuff in ezSAT)Clifford Wolf2013-06-122-2/+5
|
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-092-5/+19
|
* Fixes and improvements in ezSAT libraryClifford Wolf2013-06-085-10/+202
|
* Improved sat generator and sat_solve passClifford Wolf2013-06-073-2/+7
|
* Added ezSAT libraryClifford Wolf2013-06-0711-0/+2837
|
* Improved subcircuit verbose output (added portmapper results)Clifford Wolf2013-03-281-0/+15
|
* Fixed svgviewer hacks for builtin filesClifford Wolf2013-03-281-8/+9
|
* Keep viewport transform stable on reload in yosys-svgviewerClifford Wolf2013-03-272-4/+8
|
* Now using SVG and yosys-svgviewer per default in show commandClifford Wolf2013-03-272-1/+30
|
* Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlibClifford Wolf2013-03-271-0/+5
|
* Imported svgviewer from qt4.8Clifford Wolf2013-03-2711-0/+994
| | | | | This is from commit 543486a41963f8d20d9771d2107cdd5a22894bdb in the Qt git repository: git://gitorious.org/qt/qt.git
* Improved verbose output of subcircuitClifford Wolf2013-03-251-1/+11
|
* Added portmapping support to subcircuit userCompareNodes() apiClifford Wolf2013-03-072-23/+29
|
* Fixed mine test case for subcircuit libraryClifford Wolf2013-03-061-1/+1
|
* Fixed handling of constant values and port swapping in subcircuit libraryClifford Wolf2013-03-061-23/+86
|
* Added some simple progress information to verbose subcircuit miner outputClifford Wolf2013-03-051-2/+3
|
* Performance optimization in subcircuit miningClifford Wolf2013-03-031-22/+43
|
* Added "shared nodes" feature to the subcircuit libraryClifford Wolf2013-03-033-5/+10
|
* Fixed subcircuit allowOverlap=false corner caseClifford Wolf2013-03-031-5/+7
|
* Fixed memory corruption in subcircuit minerClifford Wolf2013-03-031-2/+4
|
* Minor hotfixes (mostly gcc build fixes)Clifford Wolf2013-03-031-0/+4
|
* Finished "extract -mine" featureClifford Wolf2013-03-021-48/+55
|
* More fun with subcircuit miningClifford Wolf2013-03-022-24/+47
|
* Added -mine option to extract pass (not finished)Clifford Wolf2013-03-021-7/+26
|
* subcircuit library: implied allExtern for miningClifford Wolf2013-03-023-7/+9
|
* Added frequent subcircuit miner to subcircuit libraryClifford Wolf2013-03-027-13/+368
|
* Moved stand-alone libs to libs/ directory and added libs/subcircuitClifford Wolf2013-02-2731-0/+6174