summaryrefslogtreecommitdiff
path: root/passes
Commit message (Expand)AuthorAge
* Using selections in "ls" commandClifford Wolf2015-02-01
* Bugfix in opt_const $eq -> buffer codeClifford Wolf2015-01-31
* Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")Clifford Wolf2015-01-31
* Added "equiv_induct -undef"Clifford Wolf2015-01-31
* Added "equiv_simple -undef"Clifford Wolf2015-01-31
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-31
* Added "fsm -encfile"Clifford Wolf2015-01-30
* Improved an error messageClifford Wolf2015-01-28
* Fixed bug in equiv_miterClifford Wolf2015-01-28
* Added "sat -show-ports"Clifford Wolf2015-01-27
* Rethrow with "catch(...) throw;"Clifford Wolf2015-01-25
* Added equiv_removeClifford Wolf2015-01-25
* Added equiv_miterClifford Wolf2015-01-25
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-24
* Various equiv_* improvementsClifford Wolf2015-01-24
* Added dict/pool.sort()Clifford Wolf2015-01-24
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-22
* Improved xdot callingClifford Wolf2015-01-22
* Added equiv_inductClifford Wolf2015-01-22
* Various equiv_simple improvementsClifford Wolf2015-01-22
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-22
* Progress in equiv_simpleClifford Wolf2015-01-21
* Fixed opt_muxtree performance bugClifford Wolf2015-01-21
* Added equiv_simpleClifford Wolf2015-01-19
* Added equiv_statusClifford Wolf2015-01-19
* Added equiv_make commandClifford Wolf2015-01-19
* Refactoring of memory_bram and xilinx bramsClifford Wolf2015-01-18
* Improvements in opt_muxtreeClifford Wolf2015-01-18
* More opt_muxtree cleanupsClifford Wolf2015-01-18
* Various cleanups and improvements in opt_muxtreeClifford Wolf2015-01-18
* Added support for memories to flatten (techmap)Clifford Wolf2015-01-17
* Fixed a bug in opt_muxtree for "mux forests"Clifford Wolf2015-01-17
* Improved opt_muxtreeClifford Wolf2015-01-17
* Bugfix in dff2dffeClifford Wolf2015-01-16
* Added "abc -lut w1:w2"Clifford Wolf2015-01-15
* Fixed handling of foo.__TECHMAP_...Clifford Wolf2015-01-15
* Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim)Clifford Wolf2015-01-13
* Only enable code coverage counters on linuxClifford Wolf2015-01-09
* disabled problematic mux -> and/or transformClifford Wolf2015-01-07
* memory_bram hotfix for memories with width 1Clifford Wolf2015-01-06
* removed old debug codeClifford Wolf2015-01-06
* Towards Xilinx bram supportClifford Wolf2015-01-06
* Various small improvements to synth_xilinxClifford Wolf2015-01-06
* Towards Xilinx bram supportClifford Wolf2015-01-06
* dict<> ref vs insert bugfixClifford Wolf2015-01-06
* Towards Xilinx bram supportClifford Wolf2015-01-05
* Towards Xilinx bram supportClifford Wolf2015-01-04
* Added memory_bram "shuffle_enable" featureClifford Wolf2015-01-04
* Removed left over debug code from memory_bramClifford Wolf2015-01-04
* Fixed pattern matching in "hierarchy -generate"Clifford Wolf2015-01-04