aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* RIP $safe_pmuxClifford Wolf2014-08-1416-98/+21
* Some improvements in FSM mapping and recodingClifford Wolf2014-08-143-9/+18
* Added "abc -D" for setting delay targetClifford Wolf2014-08-141-5/+18
* Updated ABC to 4935c2b946deClifford Wolf2014-08-141-1/+1
* Added techmap support for actual lookahead carry unitClifford Wolf2014-08-131-22/+73
* Preparations for lookahead ALU support in techmap.vClifford Wolf2014-08-131-28/+92
* Filter ANSI escape sequences from ABC outputClifford Wolf2014-08-131-0/+15
* New interface for $__alu in techmap.vClifford Wolf2014-08-131-129/+62
* Added support for non-standard """ macro bodiesClifford Wolf2014-08-132-1/+21
* Fixed handling of constant-true branches in proc_cleanClifford Wolf2014-08-122-2/+3
* Added test_verific mode to tests/fsm/generate.pyClifford Wolf2014-08-121-7/+17
* Fixed SigBit(RTLIL::Wire *wire) constructorClifford Wolf2014-08-121-1/+1
* Fixed building verific bindingsClifford Wolf2014-08-122-3/+3
* Added multi-dim memory test (requires iverilog git head)Clifford Wolf2014-08-121-0/+11
* Another build fix by americanrouter (via reddit)Clifford Wolf2014-08-111-0/+3
* Fixed FSM mapping for multiple reset-like signalsClifford Wolf2014-08-102-8/+43
* 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-093-51/+103
* Improved FSM testsClifford Wolf2014-08-084-2/+5
* 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 FSM test benchClifford Wolf2014-08-082-0/+113
* Added "sat -prove-skip"Clifford Wolf2014-08-081-2/+16
* Fixed build with gcc-4.6Clifford Wolf2014-08-076-16/+24
* Use "-keepdc" in "miter -equiv -flatten"Clifford Wolf2014-08-071-2/+2
* Also allow "module foobar(input foo, output bar, ...);" syntaxClifford Wolf2014-08-071-3/+5
* Added adff2dff.v (for techmap -share_map)Clifford Wolf2014-08-072-1/+32
* Added AST_MULTIRANGE (arrays with more than 1 dimension)Clifford Wolf2014-08-065-6/+80
* 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-054-12/+93
* Cleanups and improvements in wreduce passClifford Wolf2014-08-051-47/+77
* Added mux support to wreduce commandClifford Wolf2014-08-051-36/+82
* Improved scope resolution of local regs in Verilog+AST frontendClifford Wolf2014-08-054-9/+90
* Fixed AST handling of variables declared inside a functions main blockClifford Wolf2014-08-052-3/+16
* Added "show -signed"Clifford Wolf2014-08-041-5/+17
* Added support for non-standard "module mod_name(...);" syntaxClifford Wolf2014-08-042-1/+12
* Added RTLIL::IdString::in(...)Clifford Wolf2014-08-042-9/+21
* Fixed "share" for memory read portsClifford Wolf2014-08-031-0/+7
* Added "wreduce" to some of the standard test benchesClifford Wolf2014-08-033-2/+3
* Progress in "wreduce" passClifford Wolf2014-08-031-43/+16
* Added "wreduce" command (work in progress)Clifford Wolf2014-08-032-0/+253
* Added query() API to ModIndexClifford Wolf2014-08-031-8/+46
* Added ID() macro for static IdStringsClifford Wolf2014-08-031-0/+3
* Implemented recursive techmapClifford Wolf2014-08-032-17/+63
* Fixes in show command (related to new IdString)Clifford Wolf2014-08-031-20/+18