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
*
Added "check -noinit"
Clifford Wolf
2015-02-15
*
Cosmetic fixes in "hierarchy" for blackbox modules
Clifford Wolf
2015-02-15
*
More emscripten stuff, Added example app
Clifford Wolf
2015-02-15
*
Fixed "stat" handling of blackbox modules
Clifford Wolf
2015-02-14
*
Various fixes for memories with offsets
Clifford Wolf
2015-02-14
*
Added $meminit support to "memory" command
Clifford Wolf
2015-02-14
*
Added $meminit cell type
Clifford Wolf
2015-02-14
*
hotfix in "check" command
Clifford Wolf
2015-02-13
*
Added "check" command
Clifford Wolf
2015-02-13
*
Some test related fixes
Clifford Wolf
2015-02-12
*
Added "proc_dlatch"
Clifford Wolf
2015-02-12
*
Less aggressive "share" defaults
Clifford Wolf
2015-02-10
*
Added "scc -expect <N> -nofeedback"
Clifford Wolf
2015-02-10
*
Fixed iterator invalidation bug in "rename" command
Clifford Wolf
2015-02-09
*
Fixed bug in "show -format .."
Clifford Wolf
2015-02-08
*
Fixed eval_select_op() api
Clifford Wolf
2015-02-08
*
Added eval_select_args() and eval_select_op()
Clifford Wolf
2015-02-08
*
Added equiv_add
Clifford Wolf
2015-02-08
*
Added "select -read"
Clifford Wolf
2015-02-06
*
Added onehot attribute
Clifford Wolf
2015-02-04
*
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
[next]