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

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

2019-10-27	Clifford Wolf	Merge pull request #1393 from whitequark/write_verilog...	blob \| commitdiff \| raw
2019-10-18	Miodrag Milanović	Merge branch 'master' into mmicko/efinix	blob \| commitdiff \| raw
2019-10-18	Miodrag Milanović	Merge branch 'master' into mmicko/anlogic	blob \| commitdiff \| raw
2019-10-18	Miodrag Milanović	Merge branch 'master' into eddie/pr1352	blob \| commitdiff \| raw
2019-10-14	Clifford Wolf	Use "(id)" instead of "id" for types as temporary hack	blob \| commitdiff \| raw
2019-10-08	Eddie Hung	Merge pull request #1432 from YosysHQ/eddie/fix1427	blob \| commitdiff \| raw
2019-10-08	Eddie Hung	Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...	blob \| commitdiff \| raw
2019-10-04	Eddie Hung	Add -async2sync to help text as per @daveshah1	blob \| commitdiff \| raw
2019-10-03	Eddie Hung	Restore part of doc	blob \| commitdiff \| raw \| diff to current
2019-10-03	Eddie Hung	Add new -async2sync option	blob \| commitdiff \| raw \| diff to current
2019-10-03	Eddie Hung	Revert "equiv_opt to call async2sync when not -multiclo...	blob \| commitdiff \| raw \| diff to current
2019-10-03	Eddie Hung	Revert "Update doc for equiv_opt"	blob \| commitdiff \| raw \| diff to current
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/efinix	blob \| commitdiff \| raw \| diff to current
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/anlogic	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge branch 'SergeyDegtyar/ecp5' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Update doc for equiv_opt	blob \| commitdiff \| raw \| diff to current
2019-09-30	whitequark	Merge pull request #1406 from whitequark/connect_rpc	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge pull request #1397 from btut/fix/python_wrappers_...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Miodrag Milanović	Merge pull request #1416 from YosysHQ/mmicko/frontend_b...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Clifford Wolf	Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...	blob \| commitdiff \| raw \| diff to current
2019-09-27	Eddie Hung	equiv_opt to call async2sync when not -multiclock like...	blob \| commitdiff \| raw \| diff to current
2019-09-27	Aman Goel	Merge pull request #7 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2019-09-25	Eddie Hung	Merge pull request #1401 from SergeyDegtyar/SergeyDegty...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Eddie Hung	Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...	blob \| commitdiff \| raw \| diff to current
2019-09-13	Clifford Wolf	Merge pull request #1373 from YosysHQ/clifford/fix1364	blob \| commitdiff \| raw \| diff to current
2019-09-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-09-12	David Shah	Merge pull request #1370 from YosysHQ/dave/equiv_opt_mu...	blob \| commitdiff \| raw \| diff to current
2019-09-11	David Shah	Add equiv_opt -multiclock	blob \| commitdiff \| raw \| diff to current
2019-08-26	Clifford Wolf	Merge tag 'yosys-0.9'	blob \| commitdiff \| raw \| diff to current
2019-08-25	Clifford Wolf	Merge pull request #1112 from acw1251/pyosys_sigsig_issue	blob \| commitdiff \| raw \| diff to current
2019-08-22	Clifford Wolf	Merge pull request #1281 from mmicko/efinix	blob \| commitdiff \| raw \| diff to current
2019-08-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge branch 'eddie/abc9_refactor' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge pull request #1250 from bwidawsk/master	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge https://github.com/bogdanvuk/yosys into bogdanvuk...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-08-12	Serge Bazanski	Merge pull request #1152 from 1138-4EB/feat-docker	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1258 from YosysHQ/eddie/cleanup	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	substr() -> compare()	blob \| commitdiff \| raw \| diff to current
2019-06-13	Serge Bazanski	Merge pull request #829 from abdelrahmanhosny/master	blob \| commitdiff \| raw \| diff to current
2019-06-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-05-31	Eddie Hung	Merge branch 'xaig' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-05-03	Eddie Hung	Merge remote-tracking branch 'origin/master' into cliff...	blob \| commitdiff \| raw \| diff to current
2019-05-03	Clifford Wolf	Merge pull request #969 from YosysHQ/clifford/pmgenstuff	blob \| commitdiff \| raw \| diff to current
2019-05-02	Eddie Hung	Merge remote-tracking branch 'origin/clifford/pmgenstuf...	blob \| commitdiff \| raw \| diff to current
2019-05-02	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-05-01	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2019-04-30	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-04-30	Clifford Wolf	Merge pull request #966 from YosysHQ/clifford/fix956	blob \| commitdiff \| raw \| diff to current
2019-04-30	Clifford Wolf	Merge branch 'master' into eddie/refactor_synth_xilinx	blob \| commitdiff \| raw \| diff to current
2019-04-30	Benedikt Tutzer	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2019-04-29	Clifford Wolf	Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef	blob \| commitdiff \| raw \| diff to current
2019-04-26	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-04-26	Eddie Hung	Add -undef option to equiv_opt, passed to equiv_induct	blob \| commitdiff \| raw \| diff to current
2019-04-26	Eddie Hung	Add -undef option to equiv_opt, passed to equiv_induct	blob \| commitdiff \| raw \| diff to current
2019-04-22	Eddie Hung	Merge remote-tracking branch 'origin/xc7srl' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #905 from christian-krieg/feature...	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #941 from Wren6991/sim_lib_io_clke	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge branch 'master' of https://github.com/dh73/yosys_...	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #911 from mmicko/gowin-nobram	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #909 from zachjs/master	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #944 from YosysHQ/clifford/pmux2shiftx	blob \| commitdiff \| raw \| diff to current
2019-04-21	Eddie Hung	Merge branch 'master' into map_cells_before_map_luts	blob \| commitdiff \| raw \| diff to current
2019-04-21	Eddie Hung	Merge remote-tracking branch 'origin/clifford/pmux2shif...	blob \| commitdiff \| raw \| diff to current
2019-04-21	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7srl	blob \| commitdiff \| raw \| diff to current
2019-04-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-04-20	Clifford Wolf	Merge pull request #943 from YosysHQ/clifford/whitebox	blob \| commitdiff \| raw \| diff to current
2019-04-20	Clifford Wolf	Add "techmap -wb", use in formal flows	blob \| commitdiff \| raw \| diff to current
2019-03-28	Benedikt Tutzer	Merge remote-tracking branch 'origin/master' into featu...	blob \| commitdiff \| raw \| diff to current
2018-12-18	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #736 from whitequark/select_assert_list	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #704 from webhat/feature/fix-awk	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #738 from smunaut/issue_737	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #735 from daveshah1/trifixes	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #739 from whitequark/patch-1	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Fix equiv_opt indenting	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #724 from whitequark/equiv_opt	blob \| commitdiff \| raw \| diff to current
2018-12-07	whitequark	equiv_opt: pass -D EQUIV when techmapping.	blob \| commitdiff \| raw \| diff to current
2018-12-07	whitequark	equiv_opt: new command, for verifying optimization...	blob \| commitdiff \| raw \| diff to current

RSS Atom