abc9_ops: ignore (* abc9_flop *) if not '-dff'
[yosys.git] / tests /
2020-02-27 Claire WolfMerge pull request #1709 from rqou/coolrunner2_counter
2020-02-27 Claire WolfMerge pull request #1708 from rqou/coolrunner2-buf-fix
2020-02-26 Miodrag MilanovićMerge pull request #1705 from YosysHQ/logger_pass
2020-02-26 Miodrag MilanovicRemove tests for now
2020-02-23 Miodrag MilanovicAdd tests for logger pass
2020-02-21 Eddie HungMerge pull request #1703 from YosysHQ/eddie/specify_improve
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum
2020-02-19 Eddie Hungclean: ignore specify-s inside cells when determining...
2020-02-17 Jeff Wangadd attributes for enumerated values in ilang
2020-02-15 Marcin Kościelnickitests/aiger: Add missing .gitignore
2020-02-14 Miodrag MilanovićMerge pull request #1701 from nakengelhardt/rpc-test
2020-02-14 Eddie Hungverilog: ignore ranges too without -specify
2020-02-14 Eddie HungMerge pull request #1700 from YosysHQ/eddie/abc9_fixes
2020-02-14 Eddie HungMerge pull request #1699 from YosysHQ/eddie/fix_iopad_init
2020-02-13 Eddie HungFine tune #1699 tests
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 Eddie Hungiopadmap: move \init attributes from outpad output...
2020-02-13 N. Engelhardtmake rpc frontend unix socket test less fragile
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 Jeff Wangscoped enum tests
2020-01-16 Jeff Wangenum in package test
2020-01-16 Jeff Wangsimple enum 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...
next