summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Added statehash to ezSATClifford Wolf2014-12-29
* Less verbose ABC outputClifford Wolf2014-12-29
* Added global yosys_celltypesClifford Wolf2014-12-29
* Added "yosys -X"Clifford Wolf2014-12-29
* Cleanups in opt_cleanClifford Wolf2014-12-29
* Fixed comment parsing in Pass::call()Clifford Wolf2014-12-29
* dict/pool changes in opt_cleanClifford Wolf2014-12-29
* Added newline support to Pass::call() parserClifford Wolf2014-12-29
* dict/pool changes in astClifford Wolf2014-12-29
* gcc build fixesClifford Wolf2014-12-29
* Converting "share" to dict<> and pool<> completeClifford Wolf2014-12-29
* Switched most of "share" to dict<> and pool<>Clifford Wolf2014-12-29
* Added mkhash_xorshift()Clifford Wolf2014-12-29
* Some changes to hashlib to make for better stl compatibilityClifford Wolf2014-12-28
* Some cleanupsClifford Wolf2014-12-28
* Added memhasher (yosys -M)Clifford Wolf2014-12-28
* using dict and pool in opt_reduceClifford Wolf2014-12-28
* bugfix in opt_shareClifford Wolf2014-12-28
* Changed more code to dict<> and pool<>Clifford Wolf2014-12-28
* Fixed performance bug in object hashingClifford Wolf2014-12-28
* Improved hashlib iterator implementationClifford Wolf2014-12-28
* Renamed hashmap.h to hashlib.h, some related improvementsClifford Wolf2014-12-28
* Various improvements in ModIndexClifford Wolf2014-12-27
* More dict/pool related changesClifford Wolf2014-12-27
* Added memory statistics (at least on linux)Clifford Wolf2014-12-27
* Better help message printing for command line toolClifford Wolf2014-12-27
* Improved some warning messagesClifford Wolf2014-12-27
* Fixed mem2reg warning messageClifford Wolf2014-12-27
* More hashtable finetuningClifford Wolf2014-12-27
* Some cleanups in dict/pool hashtable implementationClifford Wolf2014-12-26
* Using Yosys::dict and Yosys::pool in sigtools.hClifford Wolf2014-12-26
* Replaced std::unordered_set (nodict) with Yosys::poolClifford Wolf2014-12-26
* Replaced std::unordered_map as implementation for Yosys::dictClifford Wolf2014-12-26
* Added new_dict (hashmap.h) and re-enabled code coverage countersClifford Wolf2014-12-26
* Temporary gcc 4.6 build hotfix for Yosys::dict and Yosys::nodictClifford Wolf2014-12-26
* Added "yosys -d" command line optionClifford Wolf2014-12-26
* Added Yosys::{dict,nodict,vector} container typesClifford Wolf2014-12-26
* Various fixes and improvements in "write_smt2 -bv"Clifford Wolf2014-12-25
* Added "test_cell -muxdiv"Clifford Wolf2014-12-25
* Various fixes and improvements in write_smt2Clifford Wolf2014-12-25
* Added "test_cell -w" featureClifford Wolf2014-12-25
* Fixed simplemap for $ne cells with output width > 1Clifford Wolf2014-12-25
* Added support for most BV cell types to write_smt2Clifford Wolf2014-12-25
* Added "write_smt2 -bv" and other write_smt2 improvementsClifford Wolf2014-12-25
* Fixed off-by-one bug in "hierarchy -check" for positional module argsClifford Wolf2014-12-24
* Added write_smt2 (only gate level logic supported so far)Clifford Wolf2014-12-24
* Added "dfflibmap -prepare" helpClifford Wolf2014-12-24
* Added "dfflibmap -prepare"Clifford Wolf2014-12-24
* Added "dff2dffe -direct" for direct gate mappingClifford Wolf2014-12-24
* Added "dff2dffe -unmap"Clifford Wolf2014-12-24