projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add ability to override verilog mode for verific -f command
[yosys.git] / tests / opt / bug2318.ys
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head blob | commitdiff | raw
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox... blob | commitdiff | raw
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi... blob | commitdiff | raw
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi... blob | commitdiff | raw
2020-08-22 clairexenMerge pull request #2349 from nmoroze/smt2-bugfix blob | commitdiff | raw
2020-08-20 clairexenMerge pull request #2347 from YosysHQ/mwk/techmap-shift... blob | commitdiff | raw
2020-08-20 clairexenMerge pull request #2344 from YosysHQ/mwk/opt_share... blob | commitdiff | raw
2020-08-20 clairexenMerge pull request #2337 from YosysHQ/mwk/clean-keep... blob | commitdiff | raw
2020-08-20 clairexenMerge pull request #2333 from YosysHQ/mwk/peepopt-shift... blob | commitdiff | raw
2020-08-20 clairexenMerge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup blob | commitdiff | raw
2020-08-20 clairexenMerge pull request #2327 from YosysHQ/mwk/techmap-const... blob | commitdiff | raw
2020-08-20 clairexenMerge pull request #2326 from YosysHQ/mwk/peeopt-muldiv... blob | commitdiff | raw
2020-08-04 Marcelina Kościelnickapeepopt.muldiv: Add a signedness check. blob | commitdiff | raw