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
*
Added "equiv_struct -fwonly"
Clifford Wolf
2016-01-08
*
Bugfixes in equiv_struct
Clifford Wolf
2016-01-08
*
Added "equiv_struct -maxiter <N>"
Clifford Wolf
2016-01-06
*
Added "equiv_add -try" mode
Clifford Wolf
2016-01-06
*
Use mfp<> in equiv_mark
Clifford Wolf
2015-10-27
*
Improvements in equiv_struct
Clifford Wolf
2015-10-25
*
Major refactoring of equiv_struct
Clifford Wolf
2015-10-25
*
Import more std:: stuff into Yosys namespace
Clifford Wolf
2015-10-25
*
Added "equiv_add -cell"
Clifford Wolf
2015-10-25
*
equiv_struct now creates equiv_merged attributes
Clifford Wolf
2015-10-25
*
Improvements in equiv_struct
Clifford Wolf
2015-10-24
*
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
Clifford Wolf
2015-10-24
*
equiv_purge bugfix, using SigChunk in Yosys namespace
Clifford Wolf
2015-10-24
*
Added equiv_mark command
Clifford Wolf
2015-10-23
*
Also merge $equiv cells in equiv_struct
Clifford Wolf
2015-10-23
*
Improvements in equiv_struct
Clifford Wolf
2015-10-23
*
Added equiv_purge
Clifford Wolf
2015-10-22
*
Added equiv_struct command
Clifford Wolf
2015-10-21
*
Improved inout handling in equiv_make
Clifford Wolf
2015-10-21
*
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