summaryrefslogtreecommitdiff
path: root/passes
Commit message (Collapse)AuthorAge
* 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
|
* Added "memory -bram"Clifford Wolf2015-01-03
|
* Added memory_bram 'or_next_if_better' featureClifford Wolf2015-01-03
|
* memory_bram transp supportClifford Wolf2015-01-03
|
* Progress in memory_bramClifford Wolf2015-01-03
|
* Added proper clkpol support to memory_bramClifford Wolf2015-01-02
|
* Progress in memory_bramClifford Wolf2015-01-02
|
* Progress in memory_bramClifford Wolf2015-01-02
|