projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #1927 from YosysHQ/eddie/design_remove_assert
[yosys.git] / tests / opt / opt_expr.ys
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile... blob | commitdiff | raw
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix blob | commitdiff | raw
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat blob | commitdiff | raw
2020-04-15 David ShahMerge pull request #1897 from YosysHQ/dave/bram-rejecti... blob | commitdiff | raw
2020-04-14 whitequarkMerge pull request #1879 from jjj11x/jjj11x/package_decl blob | commitdiff | raw
2020-04-14 whitequarkMerge pull request #1880 from jjj11x/duplicate_enum blob | commitdiff | raw
2020-04-13 Marcelina Kościelnickaopt_expr: Optimize multiplications with low 0 bits... blob | commitdiff | raw
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... 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-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-25 Eddie HungMerge pull request #1401 from SergeyDegtyar/SergeyDegty... blob | commitdiff | raw | diff to current
2019-09-18 Eddie HungMerge pull request #1355 from YosysHQ/eddie/peepopt_dff... blob | commitdiff | raw | diff to current
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... blob | commitdiff | raw | diff to current
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... blob | commitdiff | raw | diff to current
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... blob | commitdiff | raw | diff to current
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-09-07 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys blob | commitdiff | raw | diff to current
2019-09-07 Eddie HungAdd missing -assert to equiv_opt blob | commitdiff | raw | diff to current
2019-09-04 Pepijn de VosMerge remote-tracking branch 'diego/gowin' blob | commitdiff | raw | diff to current
2019-08-30 Eddie HungMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2019-08-30 David ShahMerge branch 'master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-29 SergeyMerge pull request #3 from YosysHQ/Sergey/tests_ice40 blob | commitdiff | raw | diff to current
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/clifford/async2syn... 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-23 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... blob | commitdiff | raw | diff to current
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... blob | commitdiff | raw | diff to current
2019-08-22 Eddie HungMerge pull request #1319 from TeaEngineering/shuckc... blob | commitdiff | raw | diff to current
2019-08-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-22 Eddie HungMerge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx 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-22 Eddie HungRespect opt_expr -keepdc as per @cliffordwolf blob | commitdiff | raw | diff to current
2019-08-22 Eddie HungHandle $shift and Y_WIDTH > 1 as per @cliffordwolf blob | commitdiff | raw | diff to current
2019-08-22 Eddie HungAdd test blob | commitdiff | raw | diff to current
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-20 Eddie HungMerge pull request #1304 from YosysHQ/eddie/abc9_refactor 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-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff blob | commitdiff | raw | diff to current
2019-08-19 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into cliff... blob | commitdiff | raw | diff to current
2019-08-18 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2019-08-18 whitequarkMerge pull request #1290 from YosysHQ/eddie/pr1266_again blob | commitdiff | raw | diff to current
2019-08-18 whitequarkMerge branch 'master' into eddie/pr1266_again blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungRevert "Merge pull request #1280 from YosysHQ/revert... blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw
2019-08-10 Eddie HungMerge pull request #1280 from YosysHQ/revert-1266-eddie... blob | commitdiff | raw
2019-08-10 David ShahRevert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER" blob | commitdiff | raw
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup blob | commitdiff | raw | diff to current
2019-08-10 Clifford WolfMerge pull request #1261 from YosysHQ/clifford/verific_init blob | commitdiff | raw | diff to current
2019-08-10 Clifford WolfMerge pull request #1263 from ucb-bar/firrtl_err_on_uns... blob | commitdiff | raw | diff to current
2019-08-10 Clifford WolfMerge pull request #1270 from YosysHQ/eddie/alu_lcu_doc blob | commitdiff | raw | diff to current
2019-08-09 Eddie HungAdd $alu tests blob | commitdiff | raw | diff to current
2019-08-09 Eddie HungAdd alumacc versions of opt_expr tests blob | commitdiff | raw | diff to current
2019-08-09 Eddie HungAdd new $alu test, remove wreduce blob | commitdiff | raw | diff to current
2019-08-09 Eddie HungCleanup some more blob | commitdiff | raw | diff to current
2019-08-09 whitequarkMerge pull request #1267 from whitequark/proc_prune... blob | commitdiff | raw | diff to current
2019-08-09 Eddie HungSimplify opt_expr tests using equiv_opt 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 Eddie HungMerge pull request #1264 from YosysHQ/eddie/fix_1254 blob | commitdiff | raw | diff to current
2019-08-08 Eddie HungMerge pull request #1266 from YosysHQ/eddie/ice40_full_... blob | commitdiff | raw | diff to current
2019-08-08 Eddie HungMove tests/various/opt* into tests/opt/ blob | commitdiff | raw | diff to current