aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* 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
* Added $global_clock verilog syntax support for creating $ff cellsClifford Wolf2016-10-141-7/+19
* Added MEMID handling to "flatten" passClifford Wolf2016-10-141-0/+6
* Added "zinit" passClifford Wolf2016-10-122-0/+152
* Added $ff and $_FF_ cell typesClifford Wolf2016-10-122-8/+50
* Added "opt_rmdff -keepdc"Clifford Wolf2016-09-302-7/+20
* Cosmetic fix in test_autotb.ccClifford Wolf2016-09-191-2/+2
* Avoid creating very long strings in test_autotbClifford Wolf2016-09-191-4/+10
* Bugfix in techmap parameter handlingClifford Wolf2016-09-141-1/+1
* Typo fix.Kaj Tuomi2016-09-081-1/+1
* Improvements in assertpmuxClifford Wolf2016-09-071-21/+158
* Added assertpmuxClifford Wolf2016-09-072-0/+104
* Added "tee +INT -INT"Clifford Wolf2016-09-061-0/+10
* Run log_flush() before solving in sat commandClifford Wolf2016-09-061-0/+3
* Improved init spec handling in opt_rmdff, modernized the code a bitClifford Wolf2016-08-301-39/+82
* Removed $predict againClifford Wolf2016-08-283-3/+2
* Improved "show" help messageClifford Wolf2016-08-281-3/+5
* Fixed handling of transparent bram rd ports on ROMsClifford Wolf2016-08-271-0/+3
* Fixed bug in memory_share for memory ports with different ABITSClifford Wolf2016-08-221-0/+6
* Added "wreduce -memx"Clifford Wolf2016-08-201-3/+14
* Added memory_memx pass, "memory -memx", and "prep -memx"Clifford Wolf2016-08-193-2/+104
* Optimize memory address port width in wreduce and memory_collect, not verilog...Clifford Wolf2016-08-192-3/+31
* Bugfix in test_autotbClifford Wolf2016-08-181-0/+4
* Fixed use-after-free dict<> usage pattern in hierarchy.ccClifford Wolf2016-08-161-1/+3
* Minor fixes in show commandClifford Wolf2016-08-161-3/+3
* Fixed some compiler warnings in attrmap commandClifford Wolf2016-08-101-4/+4
* Added "attrmap" commandClifford Wolf2016-08-093-0/+253
* Added "attrmvcp" passClifford Wolf2016-08-092-0/+138
* Undo "preserve wire attributes in iopadmap" change (it was OK before)Clifford Wolf2016-08-081-1/+1
* Added "test_autotb -seed" (and "autotest.sh -S")Clifford Wolf2016-08-061-3/+8