git.libre-soc.org Git - yosys.git/history - passes/equiv/equiv

[yosys.git] / passes / equiv / equiv_simple.cc

2017-01-31	Clifford Wolf	Merge branch 'opt_compare_pr' of https://github.com...	blob \| commitdiff \| raw
2017-01-30	Clifford Wolf	Add $ff and $_FF_ support to equiv_simple	blob \| commitdiff \| raw
2016-07-08	Clifford Wolf	Merge branch 'yosys-0.5-vtr' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2016-04-23	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-04-21	Clifford Wolf	Added "yosys -D" feature	blob \| commitdiff \| raw \| diff to current
2015-12-07	Clifford Wolf	Merge pull request #108 from cseed/master	blob \| commitdiff \| raw \| diff to current
2015-10-24	Clifford Wolf	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit...	blob \| commitdiff \| raw \| diff to current
2015-07-02	Clifford Wolf	Fixed trailing whitespaces	blob \| commitdiff \| raw \| diff to current
2015-04-03	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2015-02-21	Clifford Wolf	Replaced ezDefaultSAT with ezSatPtr	blob \| commitdiff \| raw \| diff to current
2015-02-01	Clifford Wolf	Merge pull request #48 from rubund/master	blob \| commitdiff \| raw \| diff to current
2015-02-01	Clifford Wolf	Improved performance in equiv_simple	blob \| commitdiff \| raw \| diff to current
2015-01-31	Clifford Wolf	Added "equiv_simple -undef"	blob \| commitdiff \| raw \| diff to current
2015-01-23	Clifford Wolf	Various equiv_* improvements	blob \| commitdiff \| raw \| diff to current
2015-01-22	Clifford Wolf	Various equiv_simple improvements	blob \| commitdiff \| raw \| diff to current
2015-01-22	Clifford Wolf	Moved equiv stuff to passes/equiv/	blob \| commitdiff \| raw \| diff to current

RSS Atom