projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / backends / btor /
2022-05-09 Jannis HarderMerge pull request #3297 from jix/sva_nested_clk_else tree | commitdiff
2022-05-09 Miodrag MilanovićMerge pull request #3299 from YosysHQ/mmicko/sim_memory tree | commitdiff
2022-05-04 Claire Xenia WolfAdd propagated clock signals into btor info file tree | commitdiff
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs tree | commitdiff
2022-03-14 Claire XenMerge pull request #3213 from antonblanchard/abc-typo tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3222 from zachjs/prune-linux-ci tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3228 from YosysHQ/micko/disable_tests tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3226 from YosysHQ/micko/btor2witness tree | commitdiff
2022-03-11 Claire Xenia WolfFix handling of some formal cells in btor back-end tree | commitdiff
2022-03-11 Miodrag Milanovichandle state names of $anyconst and $anyseq tree | commitdiff
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn tree | commitdiff
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
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim tree | commitdiff
2022-01-28 Marcelina KościelnickaAdd $bmux and $demux cells. tree | commitdiff
2021-10-02 Marcelina KościelnickaHook up $aldff support in various passes. 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
2021-05-27 Marcelina KościelnickaMake a few passes auto-call Mem::narrow instead of... tree | commitdiff
2021-05-25 Marcelina KościelnickaReject wide ports in some passes that will never suppor... tree | commitdiff
2021-05-23 Marcelina Kościelnickabtor: Use is_mem_cell in one more place. tree | commitdiff
2021-05-22 Marcelina Kościelnickakernel/rtlil: Extract some helpers for checking memory... tree | commitdiff
2021-03-01 Claire XenMerge pull request #2523 from tomverbeure/define_synthesis tree | commitdiff
2021-03-01 Claire XenMerge pull request #2524 from bkbncn/patch-1 tree | commitdiff
2021-03-01 whitequarkMerge pull request #2615 from zachjs/genrtlil-conflict tree | commitdiff
2021-02-25 whitequarkMerge pull request #2554 from hzeller/master tree | commitdiff
2021-02-25 Marcelina Kościelnickabtor, smt2, smv: Add a hint on how to deal with funny... tree | commitdiff
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox... tree | commitdiff
2020-10-22 N. EngelhardtMerge pull request #2403 from nakengelhardt/sim_timescale tree | commitdiff
2020-10-21 Marcelina Kościelnickabtor: Use Mem helper. tree | commitdiff
2020-09-21 N. EngelhardtMerge pull request #2372 from nakengelhardt/name_is_public tree | commitdiff
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi... tree | commitdiff
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi... tree | commitdiff
2020-09-10 Miodrag MilanovićMerge pull request #2369 from Xiretza/gitignores tree | commitdiff
2020-08-31 XiretzaAdd missing gitignores for test artifacts tree | commitdiff
2020-08-20 clairexenMerge pull request #2344 from YosysHQ/mwk/opt_share... tree | commitdiff
2020-08-20 clairexenMerge pull request #2337 from YosysHQ/mwk/clean-keep... tree | commitdiff
2020-08-20 clairexenMerge pull request #2333 from YosysHQ/mwk/peepopt-shift... tree | commitdiff
2020-08-20 clairexenMerge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup tree | commitdiff
2020-08-20 clairexenMerge pull request #2327 from YosysHQ/mwk/techmap-const... tree | commitdiff
2020-08-20 clairexenMerge pull request #2326 from YosysHQ/mwk/peeopt-muldiv... tree | commitdiff
2020-08-20 clairexenMerge pull request #2319 from YosysHQ/mwk/techmap-cellt... tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-08-18 XiretzaRespect \A_SIGNED for $shift 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 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-06 whitequarkMerge pull request #2110 from BracketMaster/master tree | commitdiff
2020-06-05 whitequarkMerge pull request #2113 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-05 N. EngelhardtMerge pull request #2109 from nakengelhardt/btor_intern... tree | commitdiff
2020-06-04 clairexenMerge pull request #2041 from PeterCrozier/struct tree | commitdiff
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include... tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... tree | commitdiff
2020-06-04 N. Engelhardtbtor backend: make not printing internal names default tree | commitdiff
2020-06-04 Claire WolfAdd printf format attributes to btorf/infof helper... tree | commitdiff
2020-06-04 clairexenMerge pull request #2108 from nakengelhardt/btor_intern... tree | commitdiff
2020-06-04 N. Engelhardtbtor backend: add option to not include internal names tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop tree | commitdiff
2020-06-03 Peter CrozierMerge branch 'master' into struct tree | commitdiff
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... tree | commitdiff
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap tree | commitdiff
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast tree | commitdiff
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout tree | commitdiff
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... tree | commitdiff
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells tree | commitdiff
2020-05-28 XiretzaAdd flooring division operator tree | commitdiff
2020-05-28 XiretzaAdd flooring modulo operator 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 Claire WolfMerge pull request #1846 from dh73/ast_fe tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1842 from YosysHQ/mwk/fix-deminout-xz tree | commitdiff
2020-04-02 Eddie HungUpdate backends/btor/btor.cc; credit @boqwxp 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-03-14 Claire WolfImprove write_btor symbol handling tree | commitdiff
2020-03-13 Claire WolfAdd info-file and cover features to write_btor tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... 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 #1490 from YosysHQ/clifford/autoname 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
next