clk2fflogic: Support all FF types.
[yosys.git] / tests / opt /
2020-07-24 Marcelina Kościelnickaclk2fflogic: Support all FF types.
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf...
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize...
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix...
2020-07-05 Marcelina KościelnickaMerge pull request #2236 from YosysHQ/mwk/dfflegalize...
2020-07-05 whitequarkMerge pull request #2227 from Ravenslofty/ccache
2020-07-05 Marcelina KościelnickaMerge pull request #2232 from YosysHQ/mwk/gowin-sim...
2020-07-05 Marcelina Kościelnickaopt_expr: Fix crash on $mul optimization with more...
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators
2020-06-25 Kamil RakoczyAdd sub-assign and and-assign tests
2020-06-25 Kamil RakoczyMove combined assign tests to single file
2020-06-24 Kamil RakoczyAdd xor-assignment test
2020-06-24 Kamil RakoczyAdd or-assignment and plus-assignment tests
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt...
2020-06-10 clairexenMerge pull request #2131 from YosysHQ/claire/preserveffs
2020-06-09 Claire WolfFix tests/opt/opt_rmdff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil...
2020-06-03 Peter CrozierMerge branch 'master' into struct
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify...
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog...
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection
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-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc
2020-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
2020-05-14 Eddie HungMerge pull request #2055 from YosysHQ/eddie/logger_multiple
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 Eddie Hungopt_clean: improve warning message
2020-05-14 Eddie Hungopt_clean: add init test
2020-05-08 Eddie Hungtest: update opt_expr_alu test
2020-05-08 Eddie Hungtests: opt_expr tests that depend on consumex
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc...
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error...
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt
2020-05-01 Eddie HungAdd testcase for #2010
2020-04-24 Eddie Hungopt_expr: const_xnor replacement to pad Y with 1'b1
2020-04-24 Eddie Hungtests: opt_expr update xnor/xor tests
2020-04-24 Eddie Hungopt_expr: do not group by X, more fixes
2020-04-23 Eddie Hungtests: add opt_expr tests
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc
2020-04-16 whitequarkMerge pull request #1947 from whitequark/cxxrtl-usability
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 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-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 whitequarkMerge pull request #1932 from YosysHQ/dave/cxxrtl-unclo...
2020-04-14 Marcelina Kościelnickaopt_expr: Add more $alu optimizations.
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-13 Marcelina Kościelnickaopt_expr: Optimize multiplications with low 0 bits...
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style
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-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice
2020-04-02 Claire WolfMerge pull request #1846 from dh73/ast_fe
2020-04-02 Claire WolfMerge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s...
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu
2020-04-01 David ShahMerge pull request #1844 from YosysHQ/dave/gen-source-loc
2020-04-01 Eddie HungMerge pull request #1852 from boqwxp/cleanup_synth_ice40
2020-04-01 Eddie HungMerge pull request #1849 from boqwxp/cleanup_kernel_yosys
2020-04-01 Eddie HungMerge pull request #1850 from boqwxp/cleanup_backends
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s...
2020-03-20 Eddie Hungopt_expr: add failing $xnor test
2020-03-19 Eddie Hungopt_expr: add $xor/$xnor/$_XOR_/$_XNOR_ tests
2020-03-19 Eddie Hungopt_expr: add $alu tests
2020-03-16 Eddie Hungopt_merge: speedup
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile
2020-03-03 Claire WolfMerge pull request #1519 from YosysHQ/eddie/submod_po
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum
2020-02-13 N. EngelhardtMerge pull request #1679 from thasti/delay-parsing
2020-02-10 Eddie HungMerge pull request #1670 from rodrigomelo9/master
next