aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Disable opt_merge for $anyseq and $anyconstClifford Wolf2017-02-281-0/+3
* Add "chformal -assert2assume" and friendsClifford Wolf2017-02-281-0/+44
* Add "chformal" passClifford Wolf2017-02-272-0/+239
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-253-4/+2
* Copy attributes to _TECHMAP_REPLACE_ cellsClifford Wolf2017-02-161-2/+8
* Do not fix port widths on any blackbox instancesClifford Wolf2017-02-131-1/+1
* Fix techmap for inout ports connected to inout portsClifford Wolf2017-02-131-2/+7
* Do not eagerly fix port widths on parameterized cellsClifford Wolf2017-02-121-0/+3
* Fixed some "used uninitialized" warnings in opt_exprClifford Wolf2017-02-111-1/+2
* Add optimization of (a && 1'b1) and (a || 1'b0)Clifford Wolf2017-02-111-7/+22
* Fix issue #306, "Bug in opt -full"C-Elegans2017-02-101-1/+19
* Fix handling of init attributes with strange widthClifford Wolf2017-02-092-3/+9
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-042-2/+2
* Update ABC scripts to use "&nf" instead of "map"Clifford Wolf2017-02-011-3/+3
* Fix indenting and log messages in code merged from opt_compare_prClifford Wolf2017-01-311-102/+120
* Merge branch 'opt_compare_pr' of https://github.com/C-Elegans/yosys into C-El...Clifford Wolf2017-01-311-1/+103
|\
| * Refactor and generalize the comparision optimizationC-Elegans2017-01-301-22/+42
| * Do not use b.as_int() in calculation of bit setC-Elegans2017-01-211-8/+29
| * Optimize compares to powers of 2C-Elegans2017-01-164-81/+61
| * Fix issue #269, optimize signed compare with 0C-Elegans2017-01-153-0/+81
* | Improve opt_rmdff support for $dlatch cellsClifford Wolf2017-01-311-4/+22
* | Add $ff and $_FF_ support to equiv_simpleClifford Wolf2017-01-301-2/+2
* | Be more conservative with merging large cells into FSMsClifford Wolf2017-01-261-3/+17
* | Add warnings for quickly growing FSM table size in fsm_expandClifford Wolf2017-01-261-0/+10
* | passes/hierarchy: delete some dead codeAustin Seipp2017-01-151-4/+0
|/
* Added "check -initdrv"Clifford Wolf2017-01-041-3/+82
* Added cell port resizing to hierarchy passClifford Wolf2017-01-011-0/+56
* Added "design -reset-vlog"Clifford Wolf2016-11-301-7/+32
* Improved equiv_purge log outputClifford Wolf2016-11-291-1/+1
* Added wire start_offset and upto handling to splitnets cmdClifford Wolf2016-11-231-2/+8
* Improved ABC default scriptsClifford Wolf2016-11-191-17/+34
* Added support for hierarchical defparamsClifford Wolf2016-11-151-1/+1
* Minor bugfix in submodClifford Wolf2016-11-091-0/+1
* Bugfix in "setundef" passClifford Wolf2016-11-081-2/+7
* Implemented "scc -set_attr"Clifford Wolf2016-11-061-22/+32
* Bugfix in "scc" commandClifford Wolf2016-11-061-9/+11
* Bugfix in "hierarchy -check"Clifford Wolf2016-11-021-1/+1
* Added support for fsm_encoding="user"Clifford Wolf2016-11-021-3/+3
* Added "fsm_expand -full"Clifford Wolf2016-11-022-17/+35
* Bugfix in fsm_map for FSMs without reset stateClifford Wolf2016-10-251-1/+2
* Added avail params to ilang format, check module params in 'hierarchy -check'Clifford Wolf2016-10-221-0/+4
* Added "setparam -type"Clifford Wolf2016-10-191-3/+13
* Bugfix in "miter -assert" handling of assumptionsClifford Wolf2016-10-171-2/+2
* Added clk2fflogic support for $dffsr and $dlatchClifford Wolf2016-10-171-1/+57
* Improvements and bugfixes in clk2fflogicClifford Wolf2016-10-161-13/+21
* Build fixes for VS 2015Clifford Wolf2016-10-162-1/+4
* Some minor build fixes for Visual CClifford Wolf2016-10-141-2/+11
* Avoid using strcasecmp()Clifford Wolf2016-10-141-2/+21
* Added clk2fflogicClifford Wolf2016-10-142-0/+154
* Added opt_rmdff support for $ff cellsClifford Wolf2016-10-141-5/+13