index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
*
Fixed opt_clean performance bug
Clifford Wolf
2015-02-04
*
Using design->selected_modules() in opt_*
Clifford Wolf
2015-02-03
*
Merge pull request #48 from rubund/master
Clifford Wolf
2015-02-01
|
\
|
*
Fixed typos found by lintian
Ruben Undheim
2015-02-01
*
|
Improved performance in equiv_simple
Clifford Wolf
2015-02-01
|
/
*
Using selections in "ls" command
Clifford Wolf
2015-02-01
*
Bugfix in opt_const $eq -> buffer code
Clifford Wolf
2015-01-31
*
Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")
Clifford Wolf
2015-01-31
*
Added "equiv_induct -undef"
Clifford Wolf
2015-01-31
*
Added "equiv_simple -undef"
Clifford Wolf
2015-01-31
*
Added "equiv_make -blacklist <file> -encfile <file>"
Clifford Wolf
2015-01-31
*
Added "fsm -encfile"
Clifford Wolf
2015-01-30
*
Improved an error message
Clifford Wolf
2015-01-28
*
Fixed bug in equiv_miter
Clifford Wolf
2015-01-28
*
Added "sat -show-ports"
Clifford Wolf
2015-01-27
*
Rethrow with "catch(...) throw;"
Clifford Wolf
2015-01-25
*
Added equiv_remove
Clifford Wolf
2015-01-25
*
Added equiv_miter
Clifford Wolf
2015-01-25
*
Added ENABLE_NDEBUG makefile options
Clifford Wolf
2015-01-24
*
Various equiv_* improvements
Clifford Wolf
2015-01-24
*
Added dict/pool.sort()
Clifford Wolf
2015-01-24
*
Improvements in equiv_make, equiv_induct
Clifford Wolf
2015-01-22
*
Improved xdot calling
Clifford Wolf
2015-01-22
*
Added equiv_induct
Clifford Wolf
2015-01-22
*
Various equiv_simple improvements
Clifford Wolf
2015-01-22
*
Moved equiv stuff to passes/equiv/
Clifford Wolf
2015-01-22
*
Progress in equiv_simple
Clifford Wolf
2015-01-21
*
Fixed opt_muxtree performance bug
Clifford Wolf
2015-01-21
*
Added equiv_simple
Clifford Wolf
2015-01-19
*
Added equiv_status
Clifford Wolf
2015-01-19
*
Added equiv_make command
Clifford Wolf
2015-01-19
*
Refactoring of memory_bram and xilinx brams
Clifford Wolf
2015-01-18
*
Improvements in opt_muxtree
Clifford Wolf
2015-01-18
*
More opt_muxtree cleanups
Clifford Wolf
2015-01-18
*
Various cleanups and improvements in opt_muxtree
Clifford Wolf
2015-01-18
*
Added support for memories to flatten (techmap)
Clifford Wolf
2015-01-17
*
Fixed a bug in opt_muxtree for "mux forests"
Clifford Wolf
2015-01-17
*
Improved opt_muxtree
Clifford Wolf
2015-01-17
*
Bugfix in dff2dffe
Clifford Wolf
2015-01-16
*
Added "abc -lut w1:w2"
Clifford Wolf
2015-01-15
*
Fixed handling of foo.__TECHMAP_...
Clifford Wolf
2015-01-15
*
Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim)
Clifford Wolf
2015-01-13
*
Only enable code coverage counters on linux
Clifford Wolf
2015-01-09
*
disabled problematic mux -> and/or transform
Clifford Wolf
2015-01-07
*
memory_bram hotfix for memories with width 1
Clifford Wolf
2015-01-06
*
removed old debug code
Clifford Wolf
2015-01-06
*
Towards Xilinx bram support
Clifford Wolf
2015-01-06
*
Various small improvements to synth_xilinx
Clifford Wolf
2015-01-06
*
Towards Xilinx bram support
Clifford Wolf
2015-01-06
*
dict<> ref vs insert bugfix
Clifford Wolf
2015-01-06
[next]