aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Added "select -read"Clifford Wolf2015-02-061-5/+39
* Added onehot attributeClifford Wolf2015-02-042-0/+16
* Fixed opt_clean performance bugClifford Wolf2015-02-041-26/+26
* Using design->selected_modules() in opt_*Clifford Wolf2015-02-035-36/+20
* Merge pull request #48 from rubund/masterClifford Wolf2015-02-012-3/+3
|\
| * Fixed typos found by lintianRuben Undheim2015-02-012-3/+3
* | Improved performance in equiv_simpleClifford Wolf2015-02-011-23/+72
|/
* Using selections in "ls" commandClifford Wolf2015-02-011-34/+30
* Bugfix in opt_const $eq -> buffer codeClifford Wolf2015-01-311-4/+4
* Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")Clifford Wolf2015-01-311-12/+31
* Added "equiv_induct -undef"Clifford Wolf2015-01-311-5/+50
* Added "equiv_simple -undef"Clifford Wolf2015-01-311-17/+47
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-312-5/+173
* Added "fsm -encfile"Clifford Wolf2015-01-302-12/+41
* Improved an error messageClifford Wolf2015-01-281-1/+1
* Fixed bug in equiv_miterClifford Wolf2015-01-281-6/+6
* Added "sat -show-ports"Clifford Wolf2015-01-271-2/+7
* Rethrow with "catch(...) throw;"Clifford Wolf2015-01-252-4/+4
* Added equiv_removeClifford Wolf2015-01-252-0/+84
* Added equiv_miterClifford Wolf2015-01-252-0/+344
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-243-4/+12
* Various equiv_* improvementsClifford Wolf2015-01-244-14/+20
* Added dict/pool.sort()Clifford Wolf2015-01-242-0/+6
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-222-0/+46
* Improved xdot callingClifford Wolf2015-01-221-2/+2
* Added equiv_inductClifford Wolf2015-01-222-0/+182
* Various equiv_simple improvementsClifford Wolf2015-01-221-25/+50
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-225-3/+5
* Progress in equiv_simpleClifford Wolf2015-01-211-39/+105
* Fixed opt_muxtree performance bugClifford Wolf2015-01-211-11/+28
* Added equiv_simpleClifford Wolf2015-01-192-0/+188
* Added equiv_statusClifford Wolf2015-01-192-0/+95
* Added equiv_make commandClifford Wolf2015-01-192-0/+249
* Refactoring of memory_bram and xilinx bramsClifford Wolf2015-01-181-204/+407
* Improvements in opt_muxtreeClifford Wolf2015-01-181-35/+50
* More opt_muxtree cleanupsClifford Wolf2015-01-181-64/+44
* Various cleanups and improvements in opt_muxtreeClifford Wolf2015-01-181-87/+71
* Added support for memories to flatten (techmap)Clifford Wolf2015-01-171-3/+22
* Fixed a bug in opt_muxtree for "mux forests"Clifford Wolf2015-01-171-4/+18
* Improved opt_muxtreeClifford Wolf2015-01-171-4/+38
* Bugfix in dff2dffeClifford Wolf2015-01-161-1/+1
* Added "abc -lut w1:w2"Clifford Wolf2015-01-151-5/+21
* Fixed handling of foo.__TECHMAP_...Clifford Wolf2015-01-151-1/+1
* Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim)Clifford Wolf2015-01-131-5/+0
* Only enable code coverage counters on linuxClifford Wolf2015-01-091-2/+2
* disabled problematic mux -> and/or transformClifford Wolf2015-01-071-2/+7
* memory_bram hotfix for memories with width 1Clifford Wolf2015-01-061-3/+3
* removed old debug codeClifford Wolf2015-01-061-1/+0
* Towards Xilinx bram supportClifford Wolf2015-01-061-1/+0
* Various small improvements to synth_xilinxClifford Wolf2015-01-061-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-12 00:35:09 +0000