verific: ignore anonymous enums
[yosys.git] / tests /
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl...
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so...
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat
2020-04-23 Claire WolfMerge pull request #1986 from YosysHQ/eddie/verific_enum
2020-04-23 Dan Ravensloftintel_alm: work around a Quartus ICE
2020-04-23 Eddie HungMerge pull request #1984 from YosysHQ/eddie/getParam_ex...
2020-04-23 Eddie Hungtests: read +/xilinx/cell_sim.v before xilinx_dsp test
2020-04-22 Eddie Hungtest: ice40_dsp test to read +/ice40/cells_sim.v for...
2020-04-22 Eddie Hungxilinx: xilinx_dffopt to read cells_sim.v; fix test
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966
2020-04-22 Eddie Hungtests: update select black/white-box tests
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import
2020-04-22 Eddie Hungtests: use `yosys-config --datdir` instead of hard...
2020-04-22 Claire WolfMerge pull request #1976 from YosysHQ/dave/fix-sim...
2020-04-22 Claire WolfMerge pull request #1979 from whitequark/cxxrtl-go...
2020-04-21 Marcelina Kościelnickahierarchy: Convert positional parameters to named.
2020-04-21 Claire WolfMerge pull request #1971 from YosysHQ/claire/edifkeep
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite
2020-04-21 David Shahsim: Fix handling of constant-connected cell inputs...
2020-04-21 whitequarkMerge pull request #1961 from whitequark/paramod-origin...
2020-04-20 Eddie Hungtests: remove write_ilang
2020-04-20 Eddie HungMerge pull request #1975 from dh73/claire/bitselwrite
2020-04-20 Eddie HungRemove '-ignore_unknown_cells' option from 'sat'
2020-04-20 Eddie HungSimplify test case script
2020-04-20 Eddie HungRemove ununsed files
2020-04-20 Eddie HungMerge pull request #1972 from YosysHQ/eddie/bug1970
2020-04-20 diegoModifications of tests as per Eddie's request
2020-04-20 Eddie Hungabc9: add testcase reduced from #1970
2020-04-17 diegoWrong fixed value
2020-04-17 whitequarkMerge pull request #1951 from whitequark/rtlil-string_a...
2020-04-17 whitequarkMerge pull request #1898 from boqwxp/locations
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc
2020-04-17 whitequarkMerge pull request #1888 from boqwxp/cleanup_scatter
2020-04-17 whitequarkMerge pull request #1882 from boqwxp/cleanup_rename
2020-04-16 whitequarkMerge pull request #1929 from YosysHQ/eddie/select_unset
2020-04-16 whitequarkMerge pull request #1947 from whitequark/cxxrtl-usability
2020-04-16 Eddie Hungdesign: add test
2020-04-16 Eddie Hungselect: add test for not selecting inside black/white...
2020-04-16 diegoAdding tests for dynamic part select optimisation
2020-04-16 Eddie Hungtests: add select -unset tests
2020-04-16 Eddie HungMerge pull request #1928 from YosysHQ/eddie/design_delete
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_...
2020-04-16 Eddie HungMerge pull request #1927 from YosysHQ/eddie/design_remo...
2020-04-16 Eddie Hungtests: add design -delete tests
2020-04-16 whitequarkMerge pull request #1915 from boqwxp/dict_move_semantics
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile...
2020-04-16 whitequarkMerge pull request #1937 from hzeller/consexpr-opportunity
2020-04-16 David ShahMerge pull request #1943 from YosysHQ/dave/fix-1919
2020-04-16 Marcelina Kościelnickaopt_expr: Fix X and CO outputs for $alu identity-mappin...
2020-04-16 David Shahast: Fix handling of identifiers in the global scope
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix
2020-04-15 Eddie HungMerge pull request #1916 from YosysHQ/eddie/kernel_make...
2020-04-15 Eddie HungMerge pull request #1933 from YosysHQ/eddie/zinit_more
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat
2020-04-15 David ShahMerge pull request #1897 from YosysHQ/dave/bram-rejecti...
2020-04-15 whitequarkMerge pull request #1918 from whitequark/simplify-impro...
2020-04-15 Claire WolfMerge pull request #1930 from YosysHQ/claire/fix1876
2020-04-15 Dan Ravensloftsynth_intel_alm: alternative synthesis for Intel FPGAs
2020-04-15 whitequarkMerge pull request #1932 from YosysHQ/dave/cxxrtl-unclo...
2020-04-14 Eddie Hungtests: zinit for new types
2020-04-14 Marcelina Kościelnickaopt_expr: Add more $alu optimizations.
2020-04-14 Eddie Hungtests: add testcases from #1876
2020-04-14 Marcelina Kościelnickadffinit: Avoid setting init parameter to zero-length...
2020-04-14 whitequarkMerge pull request #1922 from whitequark/write_cxxrtl...
2020-04-14 whitequarkMerge pull request #1921 from whitequark/write_cxxrtl...
2020-04-14 Eddie HungMerge pull request #1917 from YosysHQ/eddie/abc9_delay_...
2020-04-14 whitequarkMerge pull request #1879 from jjj11x/jjj11x/package_decl
2020-04-14 whitequarkMerge pull request #1880 from jjj11x/duplicate_enum
2020-04-14 Eddie HungMerge pull request #1568 from YosysHQ/eddie/fix_zinit
2020-04-13 Eddie Hungzinit: resolve one more comment by @mwkmwkmwk
2020-04-13 Eddie Hungzinit: fix review comments from @mwkmwkmwk
2020-04-13 Eddie Hungtests: zinit on $adff
2020-04-13 Eddie HungAdd testcase for $_DFF_[NP][NP][01]_
2020-04-13 Marcelina Kościelnickaopt_expr: Optimize multiplications with low 0 bits...
2020-04-13 whitequarkMerge pull request #1910 from boqwxp/cleanup_ilang_parser
2020-04-12 XiretzaAdd .gitignore to tests/select/
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style
2020-04-10 whitequarkMerge pull request #1562 from whitequark/write_cxxrtl
2020-04-09 Eddie HungMerge pull request #1858 from YosysHQ/eddie/fix1856
2020-04-09 Eddie Hungtests: add a quick plugin test
2020-04-09 whitequarkMerge pull request #1857 from whitequark/splitnets...
2020-04-09 whitequarkMerge pull request #1875 from whitequark/read_ilang...
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into...
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
2020-04-07 Jeff Wangsupport using previously declared types/localparams...
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu
2020-04-03 Eddie Hung+/cmp2lcu.v to work efficiently for fully/partially...
2020-04-03 Eddie HungRefactor +/cmp2lcu.v into recursive techmap
2020-04-03 Eddie Hungtechmap +/cmp2lcu.v for decomposing arithmetic compares...
2020-04-03 whitequarkecp5: do not map FFRAM if explicitly requested otherwise.
2020-04-03 whitequarkice40: do not map FFRAM if explicitly requested otherwise.
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings
2020-04-02 Claire WolfMerge pull request #1846 from dh73/ast_fe
2020-04-02 Marcin Kościelnickiiopadmap: Fix z assignment to inout port
2020-04-02 Claire WolfMerge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
next