summaryrefslogtreecommitdiff
path: root/libs
Commit message (Expand)AuthorAge
* 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
* 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
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-09
* Fixes and improvements in ezSAT libraryClifford Wolf2013-06-08
* Improved sat generator and sat_solve passClifford Wolf2013-06-07
* Added ezSAT libraryClifford Wolf2013-06-07
* Improved subcircuit verbose output (added portmapper results)Clifford Wolf2013-03-28
* Fixed svgviewer hacks for builtin filesClifford Wolf2013-03-28
* Keep viewport transform stable on reload in yosys-svgviewerClifford Wolf2013-03-27
* Now using SVG and yosys-svgviewer per default in show commandClifford Wolf2013-03-27
* Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlibClifford Wolf2013-03-27
* Imported svgviewer from qt4.8Clifford Wolf2013-03-27
* Improved verbose output of subcircuitClifford Wolf2013-03-25
* Added portmapping support to subcircuit userCompareNodes() apiClifford Wolf2013-03-07
* Fixed mine test case for subcircuit libraryClifford Wolf2013-03-06
* Fixed handling of constant values and port swapping in subcircuit libraryClifford Wolf2013-03-06
* Added some simple progress information to verbose subcircuit miner outputClifford Wolf2013-03-05
* Performance optimization in subcircuit miningClifford Wolf2013-03-03
* Added "shared nodes" feature to the subcircuit libraryClifford Wolf2013-03-03
* Fixed subcircuit allowOverlap=false corner caseClifford Wolf2013-03-03
* Fixed memory corruption in subcircuit minerClifford Wolf2013-03-03
* Minor hotfixes (mostly gcc build fixes)Clifford Wolf2013-03-03
* Finished "extract -mine" featureClifford Wolf2013-03-02
* More fun with subcircuit miningClifford Wolf2013-03-02
* Added -mine option to extract pass (not finished)Clifford Wolf2013-03-02
* subcircuit library: implied allExtern for miningClifford Wolf2013-03-02
* Added frequent subcircuit miner to subcircuit libraryClifford Wolf2013-03-02
* Moved stand-alone libs to libs/ directory and added libs/subcircuitClifford Wolf2013-02-27