aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt
Commit message (Expand)AuthorAgeFilesLines
* Added non-std verilog assume() statementClifford Wolf2015-02-261-1/+1
* Some cleanups in "clean"Clifford Wolf2015-02-242-7/+18
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-211-13/+13
* wreduce help typo fixClifford Wolf2015-02-171-1/+1
* Bugfix in wreduceClifford Wolf2015-02-161-7/+14
* Added $meminit cell typeClifford Wolf2015-02-141-1/+1
* Less aggressive "share" defaultsClifford Wolf2015-02-101-4/+6
* Fixed opt_clean performance bugClifford Wolf2015-02-041-26/+26
* Using design->selected_modules() in opt_*Clifford Wolf2015-02-035-36/+20
* Bugfix in opt_const $eq -> buffer codeClifford Wolf2015-01-311-4/+4
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-241-0/+4
* Added dict/pool.sort()Clifford Wolf2015-01-241-0/+4
* Fixed opt_muxtree performance bugClifford Wolf2015-01-211-11/+28
* Improvements in opt_muxtreeClifford Wolf2015-01-181-35/+50
* More opt_muxtree cleanupsClifford Wolf2015-01-181-64/+44
* Various cleanups and improvements in opt_muxtreeClifford Wolf2015-01-181-87/+71
* Fixed a bug in opt_muxtree for "mux forests"Clifford Wolf2015-01-171-4/+18
* Improved opt_muxtreeClifford Wolf2015-01-171-4/+38
* Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim)Clifford Wolf2015-01-131-5/+0
* disabled problematic mux -> and/or transformClifford Wolf2015-01-071-2/+7
* dict<> ref vs insert bugfixClifford Wolf2015-01-061-10/+13
* typo fix for "opt -fast"Clifford Wolf2014-12-301-1/+1
* Fixed build with SMALL=1Clifford Wolf2014-12-301-0/+3
* Added statehash to ezSATClifford Wolf2014-12-291-2/+6
* Cleanups in opt_cleanClifford Wolf2014-12-291-10/+10
* dict/pool changes in opt_cleanClifford Wolf2014-12-291-5/+5
* Converting "share" to dict<> and pool<> completeClifford Wolf2014-12-291-34/+42
* Switched most of "share" to dict<> and pool<>Clifford Wolf2014-12-291-16/+17
* using dict and pool in opt_reduceClifford Wolf2014-12-281-5/+5
* bugfix in opt_shareClifford Wolf2014-12-281-0/+1
* Renamed hashmap.h to hashlib.h, some related improvementsClifford Wolf2014-12-284-5/+5
* More dict/pool related changesClifford Wolf2014-12-271-9/+9
* More hashtable finetuningClifford Wolf2014-12-273-3/+3
* Replaced std::unordered_set (nodict) with Yosys::poolClifford Wolf2014-12-262-3/+3
* Replaced std::unordered_map as implementation for Yosys::dictClifford Wolf2014-12-262-2/+2
* Added Yosys::{dict,nodict,vector} container typesClifford Wolf2014-12-264-13/+17
* Renamed extend() to extend_xx(), changed most users to extend_u0()Clifford Wolf2014-12-241-3/+3
* Improved TopoSort determinismClifford Wolf2014-11-072-4/+6
* Added "opt -full" alias for all more aggressive optimizationsClifford Wolf2014-10-313-7/+29
* Fixed various VS warningsClifford Wolf2014-10-182-3/+3
* Don't be too smart with $dff cells with "init" attribute on out signalClifford Wolf2014-10-161-1/+1
* Some cleanups in opt_cleanClifford Wolf2014-10-161-16/+9
* Wrapped init in std::set constructorWilliam Speirs2014-10-151-2/+2
* Do not the 'z' modifier in format string (another win32 fix)Clifford Wolf2014-10-111-2/+2
* Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-104-113/+113
* sat encoding for exclusive $pmux ctrl inputs in "share" passClifford Wolf2014-10-031-4/+16
* added resource sharing of $macc cellsClifford Wolf2014-10-031-3/+261
* Added $_BUF_ cell typeClifford Wolf2014-10-031-2/+2
* remove buffers in opt_cleanClifford Wolf2014-10-031-0/+13
* resource sharing of $alu cellsClifford Wolf2014-10-031-3/+21