projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
VCD reader support by using external tool
[yosys.git] / passes / sat / fmcombine.cc
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names blob | commitdiff | raw
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift blob | commitdiff | raw
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails blob | commitdiff | raw
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames blob | commitdiff | raw
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head blob | commitdiff | raw | diff to current
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 blob | commitdiff | raw | diff to current
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial blob | commitdiff | raw | diff to current
2020-07-02 clairexenMerge pull request #2208 from boqwxp/qbfsat-cleanup blob | commitdiff | raw | diff to current
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize blob | commitdiff | raw | diff to current
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff blob | commitdiff | raw | diff to current
2020-06-30 Marcelina Kościelnickafmcombine: use the master ff cell type list blob | commitdiff | raw | diff to current
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... blob | commitdiff | raw | diff to current
2020-06-18 whitequarkUse C++11 final/override keywords. blob | commitdiff | raw | diff to current
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat blob | commitdiff | raw | diff to current
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style blob | commitdiff | raw | diff to current
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... blob | commitdiff | raw | diff to current
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate blob | commitdiff | raw | diff to current
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu blob | commitdiff | raw | diff to current
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice blob | commitdiff | raw | diff to current
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings blob | commitdiff | raw | diff to current
2020-04-02 Eddie Hungkernel: big fat patch to use more ID::*, otherwise... blob | commitdiff | raw | diff to current
2020-04-02 Eddie Hungkernel: use more ID::* blob | commitdiff | raw | diff to current
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... blob | commitdiff | raw | diff to current
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master blob | commitdiff | raw | diff to current
2019-07-24 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com... blob | commitdiff | raw | diff to current
2019-06-14 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master blob | commitdiff | raw | diff to current
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig blob | commitdiff | raw | diff to current
2019-06-07 Clifford WolfMerge branch 'pr_elab_sys_tasks' of https://github... blob | commitdiff | raw | diff to current
2019-06-07 Clifford WolfMerge branch 'implicit_named_connection' of https:... blob | commitdiff | raw | diff to current
2019-06-06 Clifford WolfMerge pull request #1060 from antmicro/parsing_attr_on_... blob | commitdiff | raw | diff to current
2019-06-06 David ShahMerge pull request #1073 from whitequark/ecp5-diamond-iob blob | commitdiff | raw | diff to current
2019-06-05 Eddie HungMerge pull request #1067 from YosysHQ/clifford/fix1065 blob | commitdiff | raw | diff to current
2019-06-05 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux blob | commitdiff | raw | diff to current
2019-06-05 Clifford WolfMerge pull request #1066 from YosysHQ/clifford/fix1056 blob | commitdiff | raw | diff to current
2019-06-05 Clifford WolfMerge pull request #999 from jakobwenzel/setundefInitFix blob | commitdiff | raw | diff to current
2019-06-05 Clifford WolfFix typo in fmcombine log message, fixes #1063 blob | commitdiff | raw | diff to current
2019-05-31 Eddie HungMerge branch 'xaig' into xc7mux blob | commitdiff | raw | diff to current
2019-05-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux blob | commitdiff | raw | diff to current
2019-05-21 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-05-11 Clifford WolfMerge pull request #1003 from makaimann/zinit-all blob | commitdiff | raw | diff to current
2019-05-11 Clifford WolfAdd "fmcombine -initeq -anyeq" blob | commitdiff | raw | diff to current
2019-04-08 Eddie HungMerge branch 'master' into xaig blob | commitdiff | raw | diff to current
2019-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... blob | commitdiff | raw | diff to current
2019-03-19 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl blob | commitdiff | raw | diff to current
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger blob | commitdiff | raw | diff to current
2019-03-15 Clifford WolfMerge pull request #876 from YosysHQ/clifford/fmcombine blob | commitdiff | raw | diff to current
2019-03-15 Clifford WolfAdd "fmcombine -fwd -bwd -nop" blob | commitdiff | raw | diff to current
2019-03-15 Clifford WolfAdd fmcombine pass blob | commitdiff | raw | diff to current