projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
pass metadata: initial commit of the metadata pass for exporting design metadata...
[yosys.git] / passes / fsm /
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names tree | commitdiff
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift tree | commitdiff
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-06-09 clairexenMerge pull request #2112 from YosysHQ/claire/fix2040 tree | commitdiff
2020-06-08 whitequarkMerge pull request #2121 from whitequark/cxxrtl-debug... tree | commitdiff
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select tree | commitdiff
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports tree | commitdiff
2020-06-08 clairexenMerge pull request #2105 from whitequark/split-flatten... tree | commitdiff
2020-06-08 clairexenMerge pull request #2117 from PeterCrozier/struct_array tree | commitdiff
2020-06-08 clairexenMerge pull request #2119 from YosysHQ/mwk/fix-fsm-idstring tree | commitdiff
2020-06-08 Marcelina Kościelnickafsm_extract: avoid calling log_signal to determine... tree | commitdiff
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat tree | commitdiff
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... tree | commitdiff
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate tree | commitdiff
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings tree | commitdiff
2020-04-02 Eddie Hungkernel: big fat patch to use more ID::*, otherwise... tree | commitdiff
2020-04-02 Eddie Hungkernel: use more ID::* tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s... tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu tree | commitdiff
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s... tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1783 from boqwxp/astcc_cleanup tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1786 from boqwxp/hierarchycc_cleanup tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1763 from boqwxp/issue1762 tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1785 from boqwxp/mitercc_cleanup tree | commitdiff
2020-03-19 Eddie HungMerge pull request #1788 from YosysHQ/eddie/fix_ndebug tree | commitdiff
2020-03-19 Marcin Kościelnickifsm_extract: Initialize celltypes with full design. tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum tree | commitdiff
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631 tree | commitdiff
2020-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf tree | commitdiff
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp... tree | commitdiff
2020-02-01 Eddie HungMerge branch 'master' into eddie/submod_po tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master tree | commitdiff
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix tree | commitdiff
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-28 Claire WolfMerge pull request #1567 from YosysHQ/eddie/sat_init_wa... tree | commitdiff
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate tree | commitdiff
2020-01-28 Claire WolfMerge pull request #1553 from whitequark/manual-dffx tree | commitdiff
2020-01-27 Eddie HungMerge branch 'eddie/abc9_refactor' into eddie/abc9_required tree | commitdiff
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version... tree | commitdiff
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-21 Claire WolfMerge pull request #1637 from YosysHQ/mwk/fix-1634 tree | commitdiff
2020-01-14 Marcin Kościelnickifsm_detect: Add a cache to avoid excessive CPU usage... tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-11-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-16 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1444 from btut/feature/python_wrapp... tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1465 from YosysHQ/dave/ice40_timing_sim tree | commitdiff
2019-11-14 Clifford WolfMerge branch 'label-bads-btor' of https://github.com... tree | commitdiff
2019-11-13 whitequarkMerge pull request #1488 from whitequark/flowmap-fixes tree | commitdiff
2019-11-13 Clifford WolfMerge pull request #1486 from YosysHQ/clifford/fsmdetectfix tree | commitdiff
2019-11-12 Clifford WolfUpdate fsm_detect bugfix tree | commitdiff
2019-11-12 Clifford WolfBugfix in fsm_detect tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' tree | commitdiff
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-16 Eddie HungMerge branch 'eddie/abc9_refactor' into xaig_dff tree | commitdiff
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master tree | commitdiff
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk... tree | commitdiff
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker tree | commitdiff
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup tree | commitdiff
2019-08-07 Eddie HungRTLIL::S{0,1} -> State::S{0,1} tree | commitdiff
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-06 Eddie HungUse State::S{0,1} tree | commitdiff
2019-08-06 Eddie HungMake liberal use of IdString.in() tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-02-28 Clifford WolfMerge pull request #794 from daveshah1/ecp5improve tree | commitdiff
2019-02-22 Clifford WolfMerge pull request #740 from daveshah1/improve_dress tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into read_aiger tree | commitdiff
2019-02-17 Eddie HungMerge https://github.com/YosysHQ/yosys into dff_init tree | commitdiff
2019-02-17 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-02-17 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-02-15 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-02-13 Eddie HungMerge remote-tracking branch 'origin/read_aiger' into... tree | commitdiff
2019-02-13 Eddie HungMerge https://github.com/YosysHQ/yosys into xaig tree | commitdiff
2019-02-12 Clifford WolfMerge pull request #802 from whitequark/write_verilog_a... tree | commitdiff
2019-02-12 Clifford WolfMerge pull request #806 from daveshah1/fsm_opt_no_reset tree | commitdiff
next