summaryrefslogtreecommitdiff
path: root/passes/opt
Commit message (Expand)AuthorAge
* Added non-std verilog assume() statementClifford Wolf2015-02-26
* Some cleanups in "clean"Clifford Wolf2015-02-24
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-21
* wreduce help typo fixClifford Wolf2015-02-17
* Bugfix in wreduceClifford Wolf2015-02-16
* Added $meminit cell typeClifford Wolf2015-02-14
* Less aggressive "share" defaultsClifford Wolf2015-02-10
* Fixed opt_clean performance bugClifford Wolf2015-02-04
* Using design->selected_modules() in opt_*Clifford Wolf2015-02-03
* Bugfix in opt_const $eq -> buffer codeClifford Wolf2015-01-31
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-24
* Added dict/pool.sort()Clifford Wolf2015-01-24
* Fixed opt_muxtree performance bugClifford Wolf2015-01-21
* Improvements in opt_muxtreeClifford Wolf2015-01-18
* More opt_muxtree cleanupsClifford Wolf2015-01-18
* Various cleanups and improvements in opt_muxtreeClifford Wolf2015-01-18
* Fixed a bug in opt_muxtree for "mux forests"Clifford Wolf2015-01-17
* Improved opt_muxtreeClifford Wolf2015-01-17
* Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim)Clifford Wolf2015-01-13
* disabled problematic mux -> and/or transformClifford Wolf2015-01-07
* dict<> ref vs insert bugfixClifford Wolf2015-01-06
* typo fix for "opt -fast"Clifford Wolf2014-12-30
* Fixed build with SMALL=1Clifford Wolf2014-12-30
* Added statehash to ezSATClifford Wolf2014-12-29
* Cleanups in opt_cleanClifford Wolf2014-12-29
* dict/pool changes in opt_cleanClifford 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
* using dict and pool in opt_reduceClifford Wolf2014-12-28
* bugfix in opt_shareClifford Wolf2014-12-28
* Renamed hashmap.h to hashlib.h, some related improvementsClifford Wolf2014-12-28
* More dict/pool related changesClifford Wolf2014-12-27
* More hashtable finetuningClifford Wolf2014-12-27
* Replaced std::unordered_set (nodict) with Yosys::poolClifford Wolf2014-12-26
* Replaced std::unordered_map as implementation for Yosys::dictClifford Wolf2014-12-26
* Added Yosys::{dict,nodict,vector} container typesClifford Wolf2014-12-26
* Renamed extend() to extend_xx(), changed most users to extend_u0()Clifford Wolf2014-12-24
* Improved TopoSort determinismClifford Wolf2014-11-07
* Added "opt -full" alias for all more aggressive optimizationsClifford Wolf2014-10-31
* Fixed various VS warningsClifford Wolf2014-10-18
* Don't be too smart with $dff cells with "init" attribute on out signalClifford Wolf2014-10-16
* Some cleanups in opt_cleanClifford Wolf2014-10-16
* Wrapped init in std::set constructorWilliam Speirs2014-10-15
* Do not the 'z' modifier in format string (another win32 fix)Clifford Wolf2014-10-11
* Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-10
* sat encoding for exclusive $pmux ctrl inputs in "share" passClifford Wolf2014-10-03
* added resource sharing of $macc cellsClifford Wolf2014-10-03
* Added $_BUF_ cell typeClifford Wolf2014-10-03
* remove buffers in opt_cleanClifford Wolf2014-10-03
* resource sharing of $alu cellsClifford Wolf2014-10-03