index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
/
equiv
Commit message (
Expand
)
Author
Age
*
Spell check (by Larry Doolittle)
Clifford Wolf
2015-08-14
*
Fixed trailing whitespaces
Clifford Wolf
2015-07-02
*
Replaced ezDefaultSAT with ezSatPtr
Clifford Wolf
2015-02-21
*
Added equiv_add
Clifford Wolf
2015-02-08
*
Improved performance in equiv_simple
Clifford Wolf
2015-02-01
*
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
*
Fixed bug in equiv_miter
Clifford Wolf
2015-01-28
*
Added equiv_remove
Clifford Wolf
2015-01-25
*
Added equiv_miter
Clifford Wolf
2015-01-25
*
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
*
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