projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
abc9: suppress warnings when no compatible + used flop boxes formed
[yosys.git] / tests / simple /
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg... tree | commitdiff
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs tree | commitdiff
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990 tree | commitdiff
2020-05-02 Claire WolfBugfix in partsel.v signed indices test cases tree | commitdiff
2020-05-02 Claire WolfAdd tests based on the test case from #1990 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-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 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 David ShahMerge pull request #1844 from YosysHQ/dave/gen-source-loc tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1852 from boqwxp/cleanup_synth_ice40 tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1849 from boqwxp/cleanup_kernel_yosys tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1850 from boqwxp/cleanup_backends tree | commitdiff
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-03-31 Eddie HungAdd dynamic slicing Verilog testcase tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1746 from boqwxp/optimization tree | commitdiff
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile tree | commitdiff
2020-03-12 N. EngelhardtMerge pull request #1751 from boqwxp/add_assert tree | commitdiff
2020-03-11 Eddie HungMerge pull request #1743 from YosysHQ/eddie/abc9_keep tree | commitdiff
2020-03-11 Eddie HungMerge pull request #1744 from YosysHQ/eddie/fix1675 tree | commitdiff
2020-03-10 David ShahMerge pull request #1753 from YosysHQ/dave/abc9-speedup tree | commitdiff
2020-03-10 David ShahMerge pull request #1721 from YosysHQ/dave/tribuf-unused tree | commitdiff
2020-03-09 Eddie HungMerge pull request #1747 from YosysHQ/claire/partselfix tree | commitdiff
2020-03-08 Claire WolfFix partsel expr bit width handling and add test case 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 remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-03 N. EngelhardtMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-12-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-20 Eddie HungMerge pull request #1585 from YosysHQ/eddie/fix_abc9_lut tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1581 from YosysHQ/clifford/fix1565 tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1558 from YosysHQ/eddie/xaiger_cleanup tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1569 from YosysHQ/eddie/fix_1531 tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1571 from YosysHQ/eddie/fix_1570 tree | commitdiff
2019-12-12 Eddie HungMake SV2017 compliant courtesy of @wsnyder tree | commitdiff
2019-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/efinix tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/anlogic tree | commitdiff
2019-09-30 Eddie HungMerge branch 'SergeyDegtyar/ecp5' of https://github... tree | commitdiff
2019-09-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-09-25 Eddie HungMerge pull request #1401 from SergeyDegtyar/SergeyDegty... tree | commitdiff
2019-09-18 Eddie HungMerge pull request #1355 from YosysHQ/eddie/peepopt_dff... tree | commitdiff
2019-09-18 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-05 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-05 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-05 Clifford WolfMerge pull request #1350 from YosysHQ/clifford/fixsby59 tree | commitdiff
2019-09-05 Eddie Hungsimple/peepopt.v tests to various/peepopt.ys with equiv... tree | commitdiff
2019-09-04 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-09-04 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-04 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-04 Eddie HungAdd peepopt_dffmuxext tests tree | commitdiff
2019-09-04 Pepijn de VosMerge remote-tracking branch 'diego/gowin' tree | commitdiff
2019-09-04 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-09-03 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-09-03 Clifford WolfMerge pull request #1351 from emilazy/remove-which-use tree | commitdiff
2019-09-02 EmilyUse `command -v` rather than `which` tree | commitdiff
2019-08-30 David ShahMerge branch 'master' into xc7dsp tree | commitdiff
2019-08-29 SergeyMerge pull request #3 from YosysHQ/Sergey/tests_ice40 tree | commitdiff
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/clifford/async2syn... 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-23 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1289 from mmicko/anlogic_fixes tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix tree | commitdiff
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-20 Eddie HungMerge pull request #1209 from YosysHQ/eddie/synth_xilinx tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-08-20 Eddie HungMerge pull request #1304 from YosysHQ/eddie/abc9_refactor tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-20 Clifford WolfMerge branch 'master' into clifford/pmgen tree | commitdiff
2019-08-20 Clifford WolfAdd test case for real parameters 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 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker tree | commitdiff
2019-08-09 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2019-08-08 David ShahMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-07 Jim LawsonMerge branch 'master' into firrtl_err_on_unsupported_cell tree | commitdiff
next