projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
sv: More tests for wildcard port connections
[yosys.git] / tests /
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-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
2020-01-29 Eddie HungAdd "help -all" and "help -celltypes" sanity test tree | commitdiff
2020-01-28 Eddie HungMerge pull request #1660 from YosysHQ/eddie/abc9_unperm... tree | commitdiff
2020-01-28 Miodrag MilanovicUpdated test to use assert-max 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 HungImport tests from #1628 tree | commitdiff
2020-01-27 Eddie HungMerge pull request #1619 from YosysHQ/eddie/abc9_refactor tree | commitdiff
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-27 Eddie HungMerge pull request #1656 from YosysHQ/eddie/ice40_abc9_... tree | commitdiff
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version... tree | commitdiff
2020-01-24 Eddie Hungice40: reduce ABC9 internal fanout warnings with a... tree | commitdiff
2020-01-24 Eddie Hungsimple_abc9 tests to discard whitebox before write... tree | commitdiff
2020-01-24 Eddie Hungsimple_abc9 tests to discard whitebox before write... tree | commitdiff
2020-01-24 Eddie Hungabc_box_id -> abc9_box_id in test tree | commitdiff
2020-01-24 Eddie HungTest for (* keep *)-ed abc9_box_id tree | commitdiff
2020-01-24 Eddie Hungabc_box_id -> abc9_box_id in test tree | commitdiff
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_fixes... tree | commitdiff
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-21 Eddie Hungwrite_xaiger: fix for (* keep *) on flop output tree | commitdiff
2020-01-21 Claire WolfMerge pull request #1637 from YosysHQ/mwk/fix-1634 tree | commitdiff
2020-01-21 Claire WolfMerge pull request #1629 from YosysHQ/mwk/edif-z tree | commitdiff
2020-01-20 Claire WolfMerge pull request #1621 from YosysHQ/clifford/fminit tree | commitdiff
2020-01-19 David Shahast: Add support for $sformatf system function tree | commitdiff
2020-01-18 Eddie HungMerge pull request #1643 from YosysHQ/eddie/cleanup_ari... tree | commitdiff
2020-01-18 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init... tree | commitdiff
2020-01-18 Eddie HungMerge pull request #1645 from YosysHQ/eddie/fix1644 tree | commitdiff
2020-01-18 Eddie Hungxilinx_dsp: another typo; move xilinx specific test tree | commitdiff
2020-01-18 Eddie Hungice40_dsp: fix typo tree | commitdiff
2020-01-17 Eddie HungAdd #1644 testcase tree | commitdiff
2020-01-17 Eddie Hungice40_dsp: add test tree | commitdiff
2020-01-16 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-16 Eddie HungMerge pull request #1639 from YosysHQ/eddie/fix_read_xaiger tree | commitdiff
2020-01-15 Eddie Hungabc9: aAdd test to check $_NOT_s are absorbed tree | commitdiff
2020-01-15 Miodrag MilanovićMerge pull request #1636 from YosysHQ/eddie/fix_synth_x... tree | commitdiff
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-14 Eddie HungMerge pull request #1635 from YosysHQ/eddie/print_stats tree | commitdiff
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-14 Eddie HungMerge pull request #1633 from YosysHQ/eddie/fix_autoname tree | commitdiff
2020-01-14 Eddie HungMerge pull request #1632 from YosysHQ/eddie/fix1630 tree | commitdiff
2020-01-14 Miodrag MilanovićMerge pull request #1623 from YosysHQ/mmicko/edif_attr tree | commitdiff
2020-01-14 Eddie Hungautoname: add testcase with $-prefix-ed port tree | commitdiff
2020-01-14 Eddie HungAdd #1630 testcase tree | commitdiff
2020-01-14 Eddie Hungabc9: respect (* keep *) on cells tree | commitdiff
2020-01-14 Eddie Hungwrite_xaiger: add support and test for (* keep *) on... tree | commitdiff
2020-01-13 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-13 Eddie HungMerge pull request #1620 from YosysHQ/eddie/abc9_scratchpad tree | commitdiff
2020-01-13 Eddie HungMerge pull request #1627 from YosysHQ/eddie/fix1626 tree | commitdiff
2020-01-12 Eddie HungAdd #1626 testcase tree | commitdiff
2020-01-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-11 Eddie HungMerge pull request #1625 from YosysHQ/eddie/abc9_mfs tree | commitdiff
2020-01-11 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-10 Miodrag Milanovicthis one is fine tree | commitdiff
2020-01-10 Miodrag MilanovicFix tests tree | commitdiff
2020-01-10 Eddie HungAdd abc9 sanity test tree | commitdiff
2020-01-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-07 Eddie HungMerge pull request #1618 from YosysHQ/eddie/aiger_fixes tree | commitdiff
2020-01-07 Eddie Hungtests/aiger: write Yosys output tree | commitdiff
2020-01-07 Eddie HungAdd testcases tree | commitdiff
2020-01-07 Eddie Hungtests/aiger: write Yosys output tree | commitdiff
2020-01-07 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2020-01-07 Eddie HungMerge pull request #1181 from YosysHQ/xaig_dff tree | commitdiff
2020-01-07 Eddie HungAdd testcase from #1459 tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-03 N. EngelhardtMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-02 Eddie HungCombine tests to check multiple clock domains tree | commitdiff
2020-01-02 whitequarkMerge pull request #1604 from whitequark/unify-ram... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-02 Eddie HungMerge pull request #1601 from YosysHQ/eddie/synth_retime tree | commitdiff
2020-01-01 Eddie HungMerge pull request #1606 from YosysHQ/eddie/improve_tests tree | commitdiff
2020-01-01 Eddie HungRevert insertion of 'reg', leave note behind tree | commitdiff
2020-01-01 Miodrag MilanovićMerge pull request #1605 from YosysHQ/iopad_fix tree | commitdiff
2020-01-01 Miodrag MilanovicAdded a test case tree | commitdiff
2020-01-01 Eddie HungDo not do call equiv_opt when no sim model exists tree | commitdiff
2020-01-01 Eddie HungFix warnings tree | commitdiff
2020-01-01 Eddie HungCall equiv_opt with -multiclock and -assert tree | commitdiff
2020-01-01 Eddie HungAdd some abc9 dff tests tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-12-31 Eddie HungAdd -D DFF_MODE to abc9_map test tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
next