aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
* Added some additional log messages to opt_constClifford Wolf2014-08-241-1/+10
* azonenberg: Make dump_vcd save model when temporal induction fails due to ste...Clifford Wolf2014-08-241-0/+2
* Only call proc_share_dirname() in techmap when necessaryClifford Wolf2014-08-231-2/+1
* Changed frontend-api from FILE to std::istreamClifford Wolf2014-08-237-38/+47
* Changed backend-api from FILE to std::ostreamClifford Wolf2014-08-232-97/+98
* Added "stat -width"Clifford Wolf2014-08-221-4/+37
* Added emscripten (emcc) support to build system and some build fixesClifford Wolf2014-08-222-2/+16
* Added "plugin" commandClifford Wolf2014-08-222-0/+118
* Renamed toposort.h to utils.hClifford Wolf2014-08-172-2/+2
* Added module->uniquify()Clifford Wolf2014-08-162-9/+2
* Added "test_cell -s <seed>"Clifford Wolf2014-08-161-5/+17
* Added additional gate types: $_NAND_ $_NOR_ $_XNOR_ $_AOI3_ $_OAI3_ $_AOI4_ $...Clifford Wolf2014-08-161-25/+161
* Added "opt -fast"Clifford Wolf2014-08-161-19/+45
* Bugfix in iopadmapClifford Wolf2014-08-151-1/+3
* Renamed $lut ports to follow A-Y naming schemeClifford Wolf2014-08-151-2/+2
* Renamed $_INV_ cell type to $_NOT_Clifford Wolf2014-08-155-15/+15
* More idstring sort_by_* helpers and fixed tpl ordering in techmapClifford Wolf2014-08-153-9/+9
* document "techmap -map %<design-name>"Clifford Wolf2014-08-151-0/+3
* 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