projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improvements in equiv_struct
[yosys.git] / passes / equiv /
2015-10-25 Clifford WolfImprovements in equiv_struct tree | commitdiff
2015-10-25 Clifford WolfMajor refactoring of equiv_struct tree | commitdiff
2015-10-25 Clifford WolfImport more std:: stuff into Yosys namespace tree | commitdiff
2015-10-25 Clifford WolfAdded "equiv_add -cell" tree | commitdiff
2015-10-25 Clifford Wolfequiv_struct now creates equiv_merged attributes tree | commitdiff
2015-10-24 Clifford WolfImprovements in equiv_struct tree | commitdiff
2015-10-24 Clifford Wolfrenamed SigSpec::to_single_sigbit() to SigSpec::as_bit... tree | commitdiff
2015-10-24 Clifford Wolfequiv_purge bugfix, using SigChunk in Yosys namespace tree | commitdiff
2015-10-23 Clifford WolfAdded equiv_mark command tree | commitdiff
2015-10-23 Clifford WolfAlso merge $equiv cells in equiv_struct tree | commitdiff
2015-10-23 Clifford WolfImprovements in equiv_struct tree | commitdiff
2015-10-22 Clifford WolfAdded equiv_purge tree | commitdiff
2015-10-21 Clifford WolfAdded equiv_struct command tree | commitdiff
2015-10-21 Clifford WolfImproved inout handling in equiv_make tree | commitdiff
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) tree | commitdiff
2015-07-02 Clifford WolfFixed trailing whitespaces tree | commitdiff
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2015-02-21 Clifford WolfReplaced ezDefaultSAT with ezSatPtr tree | commitdiff
2015-02-08 Clifford WolfAdded equiv_add tree | commitdiff
2015-02-01 Clifford WolfMerge pull request #48 from rubund/master tree | commitdiff
2015-02-01 Clifford WolfImproved performance in equiv_simple tree | commitdiff
2015-01-31 Clifford WolfFixed equiv_make for partially undriven nets (e.g.... tree | commitdiff
2015-01-31 Clifford WolfAdded "equiv_induct -undef" tree | commitdiff
2015-01-31 Clifford WolfAdded "equiv_simple -undef" tree | commitdiff
2015-01-31 Clifford WolfAdded "equiv_make -blacklist <file> -encfile <file>" tree | commitdiff
2015-01-27 Clifford WolfFixed bug in equiv_miter tree | commitdiff
2015-01-25 Clifford WolfAdded equiv_remove tree | commitdiff
2015-01-25 Clifford WolfAdded equiv_miter tree | commitdiff
2015-01-23 Clifford WolfVarious equiv_* improvements tree | commitdiff
2015-01-23 Clifford WolfAdded dict/pool.sort() tree | commitdiff
2015-01-22 Clifford WolfImprovements in equiv_make, equiv_induct tree | commitdiff
2015-01-22 Clifford WolfAdded equiv_induct tree | commitdiff
2015-01-22 Clifford WolfVarious equiv_simple improvements tree | commitdiff
2015-01-22 Clifford WolfMoved equiv stuff to passes/equiv/ tree | commitdiff