Add ability to override verilog mode for verific -f command
[yosys.git] / tests / verilog /
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl
2020-05-25 Eddie HungMerge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy
2020-05-25 Eddie Hungtests: fix some test warnings
2020-05-25 Eddie HungMerge pull request #2044 from YosysHQ/eddie/fix2037
2020-05-25 Eddie Hungtest: add attribute-before-stmt test from @nakengelhardt
2020-05-25 Eddie Hungverilog: do not warn for attributes on null statements
2020-05-25 Eddie Hungtests: add an generate-else test too
2020-05-25 Eddie Hungtests: add #2037 testcase
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection
2020-05-22 whitequarkMerge pull request #2072 from whitequark/cxxrtl-dont...
2020-05-21 Eddie HungMerge pull request #2057 from YosysHQ/eddie/fix_task_attr
2020-05-20 N. EngelhardtMerge pull request #2046 from PeterCrozier/trap
2020-05-14 Eddie Hungtests: attributes before task enable
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758
2020-05-14 Eddie HungMerge pull request #2045 from YosysHQ/eddie/fix2042
2020-05-14 Claire WolfMerge pull request #2052 from YosysHQ/claire/verific_memfix
2020-05-14 Claire WolfMerge pull request #2050 from YosysHQ/eddie/opt_clean_fixes
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg...
2020-05-14 Eddie Hungtest: add another testcase as per @nakengelhardt
2020-05-13 Eddie Hungtests: update/extend task argument tests
2020-05-11 Eddie Hungtests: add #2042 testcase
2020-05-11 Eddie HungSetup tests/verilog properly
2020-05-05 Eddie Hungtechlibs/common: more robustness when *_WIDTH = 0
2020-05-04 Eddie Hungtest: add failing test