projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
zinit: fix review comments from @mwkmwkmwk
[yosys.git] / tests / various /
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-04-10 whitequarkMerge pull request #1562 from whitequark/write_cxxrtl tree | commitdiff
2020-04-09 Eddie HungMerge pull request #1858 from YosysHQ/eddie/fix1856 tree | commitdiff
2020-04-09 Eddie Hungtests: add a quick plugin test tree | commitdiff
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice 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 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s... tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1783 from boqwxp/astcc_cleanup tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1835 from boqwxp/cleanup_sat_expose tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1832 from boqwxp/cleanup_passes_cmd... tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1786 from boqwxp/hierarchycc_cleanup tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1831 from boqwxp/cleanup_sat_eval tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1833 from boqwxp/cleanup_sat_freduce tree | commitdiff
2020-03-30 N. EngelhardtMerge pull request #1811 from PeterCrozier/typedef_scope tree | commitdiff
2020-03-30 N. EngelhardtMerge pull request #1778 from rswarbrick/sv-defines tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-27 Rupert SwarbrickAdd support for SystemVerilog-style `define to Verilog... tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1763 from boqwxp/issue1762 tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1803 from Grazfather/typedef tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1785 from boqwxp/mitercc_cleanup tree | commitdiff
2020-03-21 David ShahMerge pull request #1794 from YosysHQ/dave/mince-abc9-fix tree | commitdiff
2020-03-20 David ShahAdd test for abc9+mince issue tree | commitdiff
2020-03-19 Eddie HungMerge pull request #1788 from YosysHQ/eddie/fix_ndebug tree | commitdiff
2020-03-19 Marcin Kościelnickifsm_extract: Initialize celltypes with full design. tree | commitdiff
2020-03-19 Miodrag MilanovićMerge pull request #1787 from YosysHQ/mmicko/lexer_deps tree | commitdiff
2020-03-19 N. EngelhardtMerge pull request #1774 from boqwxp/exec tree | commitdiff
2020-03-17 Eddie HungMerge pull request #1769 from boqwxp/select_cleanup tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1768 from boqwxp/smt2_cleanup tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1746 from boqwxp/optimization tree | commitdiff
2020-03-16 Alberto GonzalezAdd test for `exec` command. tree | commitdiff
2020-03-14 Miodrag MilanovićMerge pull request #1759 from zeldin/constant_with_comm... tree | commitdiff
2020-03-14 Marcus ComstedtAdd regression tests for new handling of comments in... tree | commitdiff
2020-03-14 Miodrag MilanovićMerge pull request #1754 from boqwxp/precise_locations tree | commitdiff
2020-03-14 Miodrag MilanovićMerge pull request #1766 from YosysHQ/mmicko/regex_gcc48 tree | commitdiff
2020-03-13 Miodrag MilanovicAdded back tests for logger 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 Hungverilog: add test 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 N. EngelhardtMerge pull request #1716 from zeldin/ecp5_fix tree | commitdiff
2020-03-04 Eddie HungMerge pull request #1735 from YosysHQ/eddie/abc9_dsp48e1 tree | commitdiff
2020-03-04 David Shahdeminout: Don't demote inouts with unused bits tree | commitdiff
2020-03-03 N. EngelhardtMerge pull request #1691 from ZirconiumX/use-flowmap... tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1718 from boqwxp/precise_locations tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1681 from YosysHQ/eddie/fix1663 tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1519 from YosysHQ/eddie/submod_po tree | commitdiff
2020-03-02 Eddie HungMerge pull request #1724 from YosysHQ/eddie/abc9_specify tree | commitdiff
2020-02-29 Eddie HungMerge pull request #1727 from YosysHQ/eddie/fix_write_smt2 tree | commitdiff
2020-02-28 Eddie HungMerge pull request #1726 from YosysHQ/eddie/fix1710 tree | commitdiff
2020-02-28 Eddie Hungast: fixes #1710; do not generate RTLIL for unreachable... tree | commitdiff
2020-02-27 Eddie HungCleanup tests tree | commitdiff
2020-02-27 Claire WolfMerge pull request #1709 from rqou/coolrunner2_counter tree | commitdiff
2020-02-27 Claire WolfMerge pull request #1708 from rqou/coolrunner2-buf-fix tree | commitdiff
2020-02-26 Miodrag MilanovićMerge pull request #1705 from YosysHQ/logger_pass tree | commitdiff
2020-02-26 Miodrag MilanovicRemove tests for now tree | commitdiff
2020-02-24 Alberto GonzalezChange attribute search value to specify precise locati... tree | commitdiff
2020-02-23 Miodrag MilanovicAdd tests for logger pass tree | commitdiff
2020-02-21 Eddie HungMerge pull request #1703 from YosysHQ/eddie/specify_improve tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum tree | commitdiff
2020-02-19 Eddie Hungclean: ignore specify-s inside cells when determining... tree | commitdiff
2020-02-14 Eddie Hungverilog: ignore ranges too without -specify tree | commitdiff
2020-02-13 Eddie Hungverilog: improve specify support when not in -specify... tree | commitdiff
2020-02-13 Eddie Hungverilog: ignore '&&&' when not in -specify mode tree | commitdiff
2020-02-13 Eddie Hungspecify: system timing checks to accept min:typ:max... tree | commitdiff
2020-02-13 Eddie Hungverilog: fix $specify3 check tree | commitdiff
2020-02-13 Claire WolfMerge pull request #1694 from rqou/json_compat_fix tree | commitdiff
2020-02-13 N. EngelhardtMerge pull request #1679 from thasti/delay-parsing tree | commitdiff
2020-02-10 N. EngelhardtMerge pull request #1669 from thasti/pyosys-attrs tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init tree | commitdiff
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631 tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1661 from YosysHQ/eddie/abc9_required tree | commitdiff
2020-02-03 Stefan Biereigeladd testcase for #1614 tree | commitdiff
2020-02-03 Rodrigo Alejandro... Merge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2020-02-02 David ShahMerge pull request #1516 from YosysHQ/dave/dotstar tree | commitdiff
2020-02-02 David Shahsv: More tests for wildcard port connections tree | commitdiff
2020-02-02 David Shahhierarchy: Correct handling of wildcard port connection... tree | commitdiff
2020-02-02 David Shahsv: Add tests for wildcard port connections tree | commitdiff
2020-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf tree | commitdiff
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp... tree | commitdiff
2020-02-01 Eddie HungMerge branch 'master' into eddie/submod_po tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1503 from YosysHQ/eddie/verific_help tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1654 from YosysHQ/eddie/sby_fix69 tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1662 from YosysHQ/dave/opt-reduce... tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1665 from YosysHQ/clifford/edifkeep tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1659 from YosysHQ/clifford/experimental 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
next