aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* 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
* preserve wire attributes in iopadmapClifford Wolf2016-08-061-1/+1
* Added "insbuf" commandClifford Wolf2016-08-022-0/+95
* Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell()Clifford Wolf2016-07-251-1/+1
* Improvements in CellEdgesDatabaseClifford Wolf2016-07-241-3/+33
* Added CellEdgesDatabase APIClifford Wolf2016-07-241-0/+96
* Moved SatHelper::setup_init() code to SatHelper::setup()Clifford Wolf2016-07-241-97/+92
* Added $initstate support to "sat" commandClifford Wolf2016-07-231-13/+12
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-213-3/+3
* Added basic support for $expect cellsClifford Wolf2016-07-133-2/+4
* Minor bugfix in FSM reset state detectionClifford Wolf2016-07-121-2/+5
* Further improved fsm_detect output, attempt to detect self-resetting circuitsClifford Wolf2016-07-091-6/+68
* Added printing of some warning messages to fsm_detectClifford Wolf2016-07-091-14/+61
* Replaced "select -assert-limit" with -assert-max and -assert-minClifford Wolf2016-07-011-42/+29
* Added 'assert-limit' option for 'select' commandeshellko2016-07-011-5/+42
* Bugfix in "abc -script" handlingClifford Wolf2016-06-191-53/+50
* Added "deminout"Clifford Wolf2016-06-192-0/+117
* Added "dc2" to default ABC scriptsClifford Wolf2016-06-171-5/+5
* Added "abc -I <num> -P <num>"Clifford Wolf2016-06-171-8/+33
* Improved support for $sop cellsClifford Wolf2016-06-172-2/+69
* Added $sop cell type and "abc -sop"Clifford Wolf2016-06-171-6/+23
* Updated ABC to hg rev b5df6e2b76f0Clifford Wolf2016-06-171-9/+9
* Added "nlutmap -assert"Clifford Wolf2016-06-091-0/+14
* Added "proc_mux -ifx"Clifford Wolf2016-06-062-19/+43
* Added "setundef -init"Clifford Wolf2016-06-031-5/+89
* Fix all undef-muxes in dlatch input coneClifford Wolf2016-06-021-34/+72
* Avoid creating undef-muxes when inferring latches in proc_dlatchClifford Wolf2016-06-011-0/+44
* Added opt_expr support for div/mod by power-of-twoClifford Wolf2016-05-291-0/+69
* Fixed "scc" for cells that have feedback singals _and_ are part of a larger loopClifford Wolf2016-05-271-3/+3
* Made the expansion order of hierarchy deterministicMarcus Comstedt2016-05-221-3/+3
* Improvements and fixes in autotest.sh script and test_autotbClifford Wolf2016-05-201-3/+3
* Close opened dump file.Kaj Tuomi2016-05-191-0/+1
* Fix for Modelsim transcript line warp issue #164Kaj Tuomi2016-05-191-7/+13
* Don't sign-extend memory bram initialization dataClifford Wolf2016-05-151-1/+1
* Added support for "keep" attribute to shregmapClifford Wolf2016-05-071-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-14 08:15:27 +0000