aboutsummaryrefslogtreecommitdiffstats
path: root/libs
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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