projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
kernel: Use constids.inc for global/constant IdStrings
[yosys.git] / tests /
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 HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s... tree | commitdiff
2020-03-31 Eddie HungAdd dynamic slicing Verilog testcase 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-27 Claire WolfMerge pull request #1815 from boqwxp/fix-ef-optimize tree | commitdiff
2020-03-26 Claire WolfMerge pull request #1806 from YosysHQ/mwk/techmap-repla... tree | commitdiff
2020-03-23 Peter CrozierSupport module/package/interface/block scope for typede... tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1763 from boqwxp/issue1762 tree | commitdiff
2020-03-23 Alberto GonzalezDo not warn on empty selection with prefixed `arg_memb`. tree | commitdiff
2020-03-23 Alberto GonzalezSuppress warnings for empty `select` arguments when... tree | commitdiff
2020-03-23 Alberto GonzalezAdd tests for `select` command warnings. tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1803 from Grazfather/typedef tree | commitdiff
2020-03-23 Marcin Kościelnickitechmap: Fix cell names with _TECHMAP_REPLACE_.* tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1785 from boqwxp/mitercc_cleanup tree | commitdiff
2020-03-23 PeterRevert typedef tests to standard grammar. tree | commitdiff
2020-03-21 David ShahMerge pull request #1794 from YosysHQ/dave/mince-abc9-fix tree | commitdiff
2020-03-20 Eddie Hungopt_expr: add failing $xnor test tree | commitdiff
2020-03-20 David ShahAdd test for abc9+mince issue tree | commitdiff
2020-03-20 Eddie HungSimplify breaking tests/arch/*/fsm.ys tests tree | commitdiff
2020-03-19 Eddie Hungopt_expr: add $xor/$xnor/$_XOR_/$_XNOR_ tests tree | commitdiff
2020-03-19 Eddie HungMerge pull request #1788 from YosysHQ/eddie/fix_ndebug tree | commitdiff
2020-03-19 Eddie Hungopt_expr: add $alu tests 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-19 N. EngelhardtMerge pull request #1775 from huaixv/asserts_locations tree | commitdiff
2020-03-18 Miodrag MilanovićMerge pull request #1780 from YosysHQ/fix-test-bash tree | commitdiff
2020-03-18 N. Engelhardtfix argument order for macOS compatibility tree | commitdiff
2020-03-17 Eddie HungMerge pull request #1769 from boqwxp/select_cleanup tree | commitdiff
2020-03-16 Eddie Hungopt_merge: speedup 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 Eddie HungMerge pull request #1747 from YosysHQ/claire/partselfix tree | commitdiff
2020-03-09 N. EngelhardtMerge pull request #1716 from zeldin/ecp5_fix tree | commitdiff
2020-03-08 Claire WolfFix partsel expr bit width handling and add test case tree | commitdiff
2020-03-06 Miodrag MilanovićMerge pull request #1742 from nakengelhardt/rpc-test... tree | commitdiff
2020-03-06 N. Engelhardtrpc test: make frontend listen before launching yosys... tree | commitdiff
2020-03-05 Eddie HungMerge pull request #1739 from YosysHQ/eddie/issue1738 tree | commitdiff
2020-03-05 Eddie Hungtests: extend tests/arch/run-tests.sh for defines 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 Marcelina Kościelnickaiopadmap: Look harder for already-present buffers.... 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 HungRevert "Fix tests/arch/xilinx/fsm.ys to count flops... tree | commitdiff
2020-02-27 Eddie HungCleanup tests tree | commitdiff
2020-02-27 Eddie HungUpdate bug1630.ys to use -lut 4 instead of lut file tree | commitdiff
2020-02-27 Eddie HungFix tests/arch/xilinx/fsm.ys to count flops only tree | commitdiff
2020-02-27 Eddie HungUpdate simple_abc9 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-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-17 Jeff Wangadd attributes for enumerated values in ilang tree | commitdiff
2020-02-15 Marcin Kościelnickitests/aiger: Add missing .gitignore tree | commitdiff
2020-02-14 Miodrag MilanovićMerge pull request #1701 from nakengelhardt/rpc-test tree | commitdiff
next