Add regression test for #2824.
[yosys.git] / tests / opt /
2021-06-11 Marcelina KościelnickaAdd regression test for #2824.
2021-05-31 Marcelina Kościelnickamemory_map: Improve start_offset handling.
2021-05-25 Marcelina Kościelnickaopt_mem_feedback: Respect write port priority.
2021-05-24 Marcelina Kościelnickaopt_mem_feedback: Rewrite feedback path finding logic.
2021-05-23 Marcelina KościelnickaAdd new helper class for merging FFs into cells, use...
2021-05-23 Marcelina Kościelnickaopt_mem: Remove write ports with const-0 EN.
2021-05-04 Marcelina Kościelnickaopt_dff: Fix NOT gates wired in reverse.
2021-03-15 Marcelina Kościelnickaopt_clean: Remove init attribute bits together with...
2021-03-15 Marcelina Kościelnickartlil: Disallow 0-width chunks in SigSpec.
2021-03-11 whitequarkMerge pull request #2642 from whitequark/cxxrtl-noproc...
2021-03-09 whitequarkMerge pull request #2643 from zachjs/fix-param-no-defau...
2021-03-08 Marcelina Kościelnickamemory_dff: Remove now-useless write port handling. working-ls180
2021-03-01 Claire XenMerge pull request #2523 from tomverbeure/define_synthesis
2021-03-01 Claire XenMerge pull request #2524 from bkbncn/patch-1
2021-02-12 gatecatMerge pull request #2585 from YosysHQ/dave/nexus-dotproduct
2021-02-03 whitequarkMerge pull request #2436 from dalance/fix_generate
2021-01-28 Claire XenMerge pull request #2535 from Ravenslofty/scc-specify
2021-01-20 Miodrag MilanovićMerge pull request #2536 from TobiasFaller/master
2021-01-14 Marcelina Kościelnickaopt_share: Fix X and CO signal width for shifted $alu...
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox...
2020-10-20 clairexenMerge pull request #2405 from byuccl/fix_xilinx_cells
2020-10-19 Miodrag MilanovićMerge pull request #2397 from daveshah1/nexus
2020-10-15 clairexenMerge pull request #2398 from jakobwenzel/smtbmc-escape
2020-10-08 Marcelina Kościelnickaopt_clean: Better memory handling.
2020-10-01 clairexenMerge pull request #2378 from udif/pr_dollar_high_low
2020-10-01 clairexenMerge pull request #2380 from Xiretza/parallel-tests
2020-09-26 Xiretzatests: add gitignores for auto-generated makefiles
2020-09-21 Xiretzatests: Centralize test collection and Makefile generation
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi...
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi...
2020-08-22 clairexenMerge pull request #2349 from nmoroze/smt2-bugfix
2020-08-20 clairexenMerge pull request #2347 from YosysHQ/mwk/techmap-shift...
2020-08-20 clairexenMerge pull request #2344 from YosysHQ/mwk/opt_share...
2020-08-20 clairexenMerge pull request #2337 from YosysHQ/mwk/clean-keep...
2020-08-20 clairexenMerge pull request #2333 from YosysHQ/mwk/peepopt-shift...
2020-08-20 clairexenMerge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
2020-08-20 clairexenMerge pull request #2327 from YosysHQ/mwk/techmap-const...
2020-08-20 clairexenMerge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github...
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real
2020-08-17 Marcelina Kościelnickaopt_share: Refactor, fix some bugs.
2020-08-07 Marcelina Kościelnickapeepopt: Remove now-redundant dffmux pattern.
2020-08-04 Marcelina Kościelnickapeepopt.muldiv: Add a signedness check.
2020-07-30 Marcelina KościelnickaAdd opt_dff pass.
2020-07-29 Marcelina Kościelnickaopt_expr: Fix handling of $_XNOR_ cells with A = B.
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop
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
next