git.libre-soc.org Git - yosys.git/history - tests/various/equiv_opt

2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	blob \| commitdiff \| raw
2019-10-27	Clifford Wolf	Merge pull request #1393 from whitequark/write_verilog...	blob \| commitdiff \| raw
2019-10-21	Pepijn de Vos	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/efinix	blob \| commitdiff \| raw
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/anlogic	blob \| commitdiff \| raw
2019-09-30	Eddie Hung	Merge branch 'SergeyDegtyar/ecp5' of https://github...	blob \| commitdiff \| raw
2019-09-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw
2019-09-27	Aman Goel	Merge pull request #7 from YosysHQ/master	blob \| commitdiff \| raw
2019-09-25	Eddie Hung	Merge pull request #1401 from SergeyDegtyar/SergeyDegty...	blob \| commitdiff \| raw
2019-09-18	Eddie Hung	Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...	blob \| commitdiff \| raw
2019-09-13	Clifford Wolf	Merge pull request #1373 from YosysHQ/clifford/fix1364	blob \| commitdiff \| raw
2019-09-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw
2019-09-12	David Shah	Merge pull request #1370 from YosysHQ/dave/equiv_opt_mu...	blob \| commitdiff \| raw
2019-09-11	David Shah	Add equiv_opt -multiclock	blob \| commitdiff \| raw