projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update to latest verific
[yosys.git] / kernel / register.cc
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-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-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... blob | commitdiff | raw | diff to current
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758 blob | commitdiff | raw | diff to current
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations blob | commitdiff | raw | diff to current
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... blob | commitdiff | raw | diff to current
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt blob | commitdiff | raw | diff to current
2020-05-01 whitequarkMerge pull request #2001 from whitequark/wasi blob | commitdiff | raw | diff to current
2020-04-30 whitequarkAdd WASI platform support. blob | commitdiff | raw | diff to current
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite blob | commitdiff | raw | diff to current
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc blob | commitdiff | raw | diff to current
2020-04-16 whitequarkMerge pull request #1947 from whitequark/cxxrtl-usability blob | commitdiff | raw | diff to current
2020-04-16 Eddie HungMerge pull request #1928 from YosysHQ/eddie/design_delete blob | commitdiff | raw | diff to current
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl blob | commitdiff | raw | diff to current
2020-04-15 Alberto GonzalezUse script-style heredoc syntax for REPL heredocs. blob | commitdiff | raw | diff to current
2020-04-15 Alberto GonzalezAllow reading file input from stdin, improving REPL... 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-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... blob | commitdiff | raw | diff to current
2020-03-16 N. EngelhardtMerge pull request #1746 from boqwxp/optimization blob | commitdiff | raw | diff to current
2020-03-14 Miodrag MilanovićMerge pull request #1754 from boqwxp/precise_locations blob | commitdiff | raw | diff to current
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile blob | commitdiff | raw | diff to current
2020-03-12 N. EngelhardtMerge pull request #1751 from boqwxp/add_assert blob | commitdiff | raw | diff to current
2020-03-11 Eddie HungMerge pull request #1743 from YosysHQ/eddie/abc9_keep blob | commitdiff | raw | diff to current
2020-03-11 Eddie HungMerge pull request #1744 from YosysHQ/eddie/fix1675 blob | commitdiff | raw | diff to current
2020-03-10 David ShahMerge pull request #1753 from YosysHQ/dave/abc9-speedup blob | commitdiff | raw | diff to current
2020-03-09 David ShahAdd ScriptPass::run_nocheck and use for abc9 blob | commitdiff | raw | diff to current
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum blob | commitdiff | raw | diff to current
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init blob | commitdiff | raw | diff to current
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631 blob | commitdiff | raw | diff to current
2020-02-05 Eddie HungMerge pull request #1661 from YosysHQ/eddie/abc9_required blob | commitdiff | raw | diff to current
2020-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf blob | commitdiff | raw | diff to current
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp... blob | commitdiff | raw | diff to current
2020-02-01 Eddie HungMerge branch 'master' into eddie/submod_po blob | commitdiff | raw | diff to current
2020-01-30 Claire WolfMerge pull request #1503 from YosysHQ/eddie/verific_help blob | commitdiff | raw | diff to current
2020-01-30 Claire WolfMerge pull request #1654 from YosysHQ/eddie/sby_fix69 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
2020-01-29 Claire WolfMerge pull request #1662 from YosysHQ/dave/opt-reduce... blob | commitdiff | raw | diff to current
2020-01-29 Claire WolfMerge pull request #1665 from YosysHQ/clifford/edifkeep blob | commitdiff | raw | diff to current
2020-01-29 Claire WolfMerge pull request #1659 from YosysHQ/clifford/experimental blob | commitdiff | raw | diff to current
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master blob | commitdiff | raw | diff to current
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix blob | commitdiff | raw | diff to current
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2020-01-28 Claire WolfMerge pull request #1567 from YosysHQ/eddie/sat_init_wa... blob | commitdiff | raw | diff to current
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate blob | commitdiff | raw | diff to current
2020-01-28 Claire WolfMerge pull request #1553 from whitequark/manual-dffx blob | commitdiff | raw | diff to current
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2020-01-27 Claire WolfAdd log_experimental() and experimental() API and ... blob | commitdiff | raw | diff to current
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version... blob | commitdiff | raw | diff to current
2020-01-20 Claire WolfMerge pull request #1621 from YosysHQ/clifford/fminit blob | commitdiff | raw | diff to current
2020-01-18 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init... blob | commitdiff | raw | diff to current
2020-01-14 Miodrag MilanovićMerge pull request #1623 from YosysHQ/mmicko/edif_attr blob | commitdiff | raw | diff to current
2020-01-12 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... blob | commitdiff | raw | diff to current
2020-01-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2020-01-11 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2020-01-11 Eddie HungMerge pull request #1622 from YosysHQ/clifford/onpassreg blob | commitdiff | raw | diff to current
2020-01-10 Eddie HungMerge remote-tracking branch 'origin/clifford/onpassreg... blob | commitdiff | raw | diff to current
2020-01-09 Clifford WolfAdd Pass::on_register() and Pass::on_shutdown() blob | commitdiff | raw | diff to current
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys blob | commitdiff | raw | diff to current
2019-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... blob | commitdiff | raw | diff to current
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... blob | commitdiff | raw | diff to current
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/efinix blob | commitdiff | raw | diff to current
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/anlogic blob | commitdiff | raw | diff to current
2019-09-30 Eddie HungMerge branch 'SergeyDegtyar/ecp5' of https://github... blob | commitdiff | raw | diff to current
2019-09-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff blob | commitdiff | raw | diff to current
2019-09-30 whitequarkMerge pull request #1406 from whitequark/connect_rpc blob | commitdiff | raw | diff to current
2019-09-30 Eddie HungMerge 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 WolfMerge pull request #1412 from YosysHQ/eddie/equiv_opt_a... blob | commitdiff | raw | diff to current
2019-09-30 Eddie HungMerge pull request #1414 from hzeller/improve-replace... blob | commitdiff | raw | diff to current
2019-09-29 Eddie HungMerge pull request #1359 from YosysHQ/xc7dsp blob | commitdiff | raw | diff to current
2019-09-29 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff blob | commitdiff | raw | diff to current
2019-09-29 Miodrag MilanovicOpen aig frontend as binary file blob | commitdiff | raw | diff to current
2019-09-29 Miodrag MilanovićMerge pull request #1413 from YosysHQ/mmicko/backend_bi... blob | commitdiff | raw | diff to current
2019-09-28 Miodrag MilanovicSupport binary files for backends, fixes #1407 blob | commitdiff | raw | diff to current
2019-09-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff blob | commitdiff | raw | diff to current
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master blob | commitdiff | raw | diff to current
2019-09-27 Miodrag MilanovićMerge pull request #1409 from YosysHQ/mmicko/fix_getopt... blob | commitdiff | raw | diff to current
2019-09-27 Clifford WolfMerge pull request #1404 from YosysHQ/fix_gzip_macos blob | commitdiff | raw | diff to current
2019-09-26 Miodrag MilanovicMake read/write gzip files on macos works, fixes #1357 blob | commitdiff | raw | diff to current
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' blob | commitdiff | raw | diff to current
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue blob | commitdiff | raw | diff to current
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix blob | commitdiff | raw | diff to current
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge branch 'eddie/abc9_refactor' into xaig_dff blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk... blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup blob | commitdiff | raw | diff to current
2019-08-09 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2019-08-08 David ShahMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-07 Eddie Hungsubstr() -> compare() blob | commitdiff | raw | diff to current
next