verilog: ignore ranges too without -specify
[yosys.git] / tests /
2020-02-14 Eddie Hungverilog: ignore ranges too without -specify
2020-02-13 Eddie Hungverilog: improve specify support when not in -specify...
2020-02-13 Eddie Hungverilog: ignore '&&&' when not in -specify mode
2020-02-13 Eddie Hungspecify: system timing checks to accept min:typ:max...
2020-02-13 Eddie Hungverilog: fix $specify3 check
2020-02-13 Claire WolfMerge pull request #1694 from rqou/json_compat_fix
2020-02-13 N. EngelhardtMerge pull request #1679 from thasti/delay-parsing
2020-02-10 Eddie HungMerge pull request #1670 from rodrigomelo9/master
2020-02-10 N. EngelhardtMerge pull request #1669 from thasti/pyosys-attrs
2020-02-07 Marcin Kościelnickixilinx: Add support for LUT RAM on LUT4-based devices.
2020-02-07 Marcin Kościelnickixilinx: Initial support for LUT4 devices.
2020-02-06 Eddie HungMerge pull request #1684 from YosysHQ/eddie/xilinx_arit...
2020-02-06 Rodrigo Alejandro... Added 'set -e' into tests/memfile/run-test.sh
2020-02-06 Eddie Hungshiftx2mux: fix select out of bounds
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init
2020-02-05 Eddie HungMerge pull request #1650 from YosysHQ/eddie/shiftx2mux
2020-02-05 Eddie Hungabc9_ops: -reintegrate to use derived_type for box_ports
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631
2020-02-05 Eddie HungMerge pull request #1661 from YosysHQ/eddie/abc9_required
2020-02-03 Stefan Biereigeladd testcase for #1614
2020-02-03 Rodrigo A. MeloMerge branch 'master' into master
2020-02-03 Marcelina KościelnickaAdd opt_lut_ins pass. (#1673)
2020-02-03 Rodrigo Alejandro... Merge branch 'master' of https://github.com/YosysHQ...
2020-02-02 David ShahMerge pull request #1516 from YosysHQ/dave/dotstar
2020-02-02 David Shahsv: More tests for wildcard port connections
2020-02-02 David Shahhierarchy: Correct handling of wildcard port connection...
2020-02-02 David Shahsv: Add tests for wildcard port connections
2020-02-02 Rodrigo Alejandro... Removed 'synth' into tests/memfile/run-test.sh
2020-02-02 Rodrigo Alejandro... Added content1.dat into tests/memfile
2020-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp...
2020-02-02 Rodrigo Alejandro... Added tests/memfile to 'make test' with an extra testcase
2020-02-01 Rodrigo Alejandro... Added a test for the Memory Content File inclusion...
2020-01-30 Claire WolfMerge pull request #1503 from YosysHQ/eddie/verific_help
2020-01-30 Claire WolfMerge pull request #1654 from YosysHQ/eddie/sby_fix69
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi...
2020-01-29 Claire WolfMerge pull request #1662 from YosysHQ/dave/opt-reduce...
2020-01-29 Claire WolfMerge pull request #1665 from YosysHQ/clifford/edifkeep
2020-01-29 Claire WolfMerge pull request #1659 from YosysHQ/clifford/experimental
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix
2020-01-29 Eddie HungAdd "help -all" and "help -celltypes" sanity test
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-28 Eddie HungMerge pull request #1660 from YosysHQ/eddie/abc9_unperm...
2020-01-28 Miodrag MilanovicUpdated test to use assert-max
2020-01-28 Claire WolfMerge pull request #1567 from YosysHQ/eddie/sat_init_wa...
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate
2020-01-28 Claire WolfMerge pull request #1553 from whitequark/manual-dffx
2020-01-27 Eddie HungImport tests from #1628
2020-01-27 Eddie HungMerge pull request #1619 from YosysHQ/eddie/abc9_refactor
2020-01-27 Eddie HungMerge branch 'eddie/abc9_refactor' into eddie/abc9_required
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-27 Eddie HungMerge pull request #1656 from YosysHQ/eddie/ice40_abc9_...
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version...
2020-01-24 Eddie Hungice40: reduce ABC9 internal fanout warnings with a...
2020-01-24 Eddie Hungsimple_abc9 tests to discard whitebox before write...
2020-01-24 Eddie Hungsimple_abc9 tests to discard whitebox before write...
2020-01-24 Eddie Hungabc_box_id -> abc9_box_id in test
2020-01-24 Eddie HungTest for (* keep *)-ed abc9_box_id
2020-01-24 Eddie Hungabc_box_id -> abc9_box_id in test
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_fixes...
2020-01-22 Eddie HungUpdate tests with reduced area
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-21 Eddie HungMove from +/shiftx2mux.v into +/techmap.v; cleanup
2020-01-21 Eddie HungNew techmap +/shiftx2mux.v which decomposes LSB first...
2020-01-21 Eddie Hungwrite_xaiger: fix for (* keep *) on flop output
2020-01-21 Claire WolfMerge pull request #1637 from YosysHQ/mwk/fix-1634
2020-01-21 Claire WolfMerge pull request #1629 from YosysHQ/mwk/edif-z
2020-01-20 Claire WolfMerge pull request #1621 from YosysHQ/clifford/fminit
2020-01-19 David Shahast: Add support for $sformatf system function
2020-01-18 Eddie HungMerge pull request #1643 from YosysHQ/eddie/cleanup_ari...
2020-01-18 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init...
2020-01-18 Eddie HungMerge pull request #1645 from YosysHQ/eddie/fix1644
2020-01-18 Eddie Hungxilinx_dsp: another typo; move xilinx specific test
2020-01-18 Eddie Hungice40_dsp: fix typo
2020-01-17 Eddie HungAdd #1644 testcase
2020-01-17 Eddie Hungice40_dsp: add test
2020-01-16 Eddie HungMore rigorous test
2020-01-16 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto...
2020-01-16 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-16 Eddie HungMerge pull request #1639 from YosysHQ/eddie/fix_read_xaiger
2020-01-15 Eddie Hungabc9: aAdd test to check $_NOT_s are absorbed
2020-01-15 Eddie Hungclk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*
2020-01-15 Miodrag MilanovićMerge pull request #1636 from YosysHQ/eddie/fix_synth_x...
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-14 Eddie HungMerge pull request #1635 from YosysHQ/eddie/print_stats
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto...
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-14 Eddie HungMerge pull request #1633 from YosysHQ/eddie/fix_autoname
2020-01-14 Eddie HungMerge pull request #1632 from YosysHQ/eddie/fix1630
2020-01-14 Miodrag MilanovićMerge pull request #1623 from YosysHQ/mmicko/edif_attr
2020-01-14 Eddie Hungautoname: add testcase with $-prefix-ed port
2020-01-14 Eddie HungAdd #1630 testcase
2020-01-14 Eddie Hungabc9: respect (* keep *) on cells
2020-01-14 Eddie Hungwrite_xaiger: add support and test for (* keep *) on...
2020-01-13 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2020-01-13 Eddie HungMerge pull request #1620 from YosysHQ/eddie/abc9_scratchpad
2020-01-13 Eddie HungMerge pull request #1627 from YosysHQ/eddie/fix1626
2020-01-12 Eddie HungAdd #1626 testcase
next