aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Added module->portsClifford Wolf2014-08-144-8/+8
* RIP $safe_pmuxClifford Wolf2014-08-148-9/+7
* Some improvements in FSM mapping and recodingClifford Wolf2014-08-142-8/+16
* Added "abc -D" for setting delay targetClifford Wolf2014-08-141-5/+18
* Filter ANSI escape sequences from ABC outputClifford Wolf2014-08-131-0/+15
* Fixed handling of constant-true branches in proc_cleanClifford Wolf2014-08-122-2/+3
* Fixed FSM mapping for multiple reset-like signalsClifford Wolf2014-08-101-1/+21
* Fixed "share" for complex scenarios with never-active cellsClifford Wolf2014-08-091-6/+22
* Do not share any $reduce_* cells (its complicated and not worth it anyways)Clifford Wolf2014-08-091-19/+0
* Some improvements in fsm_opt and fsm_map for FSM with unreachable statesClifford Wolf2014-08-092-50/+101
* Another fsm_extract bugfixClifford Wolf2014-08-081-0/+4
* Fixed "fsm -export"Clifford Wolf2014-08-082-6/+5
* Fixed sharing of reduce operatorClifford Wolf2014-08-081-0/+13
* Fixed fsm_extract for wreduced muxesClifford Wolf2014-08-081-8/+25
* Added "sat -prove-skip"Clifford Wolf2014-08-081-2/+16
* Fixed build with gcc-4.6Clifford Wolf2014-08-071-6/+6
* Use "-keepdc" in "miter -equiv -flatten"Clifford Wolf2014-08-071-2/+2
* Various improvements in memory_dff passClifford Wolf2014-08-061-21/+22
* Various fixes and improvements in wreduce passClifford Wolf2014-08-051-29/+47
* Removed old "constmap" from wreduce codeClifford Wolf2014-08-051-3/+2
* Added support for truncating of wires to wreduce passClifford Wolf2014-08-051-4/+40
* Cleanups and improvements in wreduce passClifford Wolf2014-08-051-47/+77
* Added mux support to wreduce commandClifford Wolf2014-08-051-36/+82
* Added "show -signed"Clifford Wolf2014-08-041-5/+17
* Added RTLIL::IdString::in(...)Clifford Wolf2014-08-041-4/+3
* Fixed "share" for memory read portsClifford Wolf2014-08-031-0/+7
* Progress in "wreduce" passClifford Wolf2014-08-031-43/+16
* Added "wreduce" command (work in progress)Clifford Wolf2014-08-032-0/+253
* Implemented recursive techmapClifford Wolf2014-08-031-16/+62
* Fixes in show command (related to new IdString)Clifford Wolf2014-08-031-20/+18
* Implemented simplemap support for "techmap -extern"Clifford Wolf2014-08-021-5/+40
* Bugfix in "techmap -extern"Clifford Wolf2014-08-021-0/+1
* Removed at() method from RTLIL::IdStringClifford Wolf2014-08-021-1/+1
* No implicit conversion from IdString to anything elseClifford Wolf2014-08-028-10/+10
* More bugfixes related to new RTLIL::IdStringClifford Wolf2014-08-025-11/+13
* Fixed a performance bug in opt_reduceClifford Wolf2014-08-021-2/+6
* More cleanups related to RTLIL::IdString usageClifford Wolf2014-08-0226-173/+176
* Preparations for RTLIL::IdString redesign: cleanup of existing codeClifford Wolf2014-08-024-7/+7
* Replaced sha1 implementationClifford Wolf2014-08-013-13/+2
* Added ModIndex helper class, some changes to RTLIL::MonitorClifford Wolf2014-08-012-6/+5
* Added "test_autotb -n <num_iter>" optionClifford Wolf2014-08-011-9/+27
* Renamed modwalker.h to modtools.hClifford Wolf2014-07-312-10/+12
* Renamed port access function on RTLIL::Cell, added param access functionsClifford Wolf2014-07-3135-709/+709
* Added "trace" commandClifford Wolf2014-07-313-2/+100
* Added module->design and cell->module, wire->module pointersClifford Wolf2014-07-317-9/+11
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-3111-15/+19
* Renamed "stdcells.v" to "techmap.v"Clifford Wolf2014-07-313-6/+6
* Added "techmap -assert"Clifford Wolf2014-07-312-14/+43
* Added techmap CONSTMAP featureClifford Wolf2014-07-301-10/+119
* Added write_file commandClifford Wolf2014-07-302-0/+77