projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / tests / opt /
2022-04-02 Jannis HarderMerge pull request #3264 from jix/invalid_ff_dcinit_merge tree | commitdiff
2022-04-01 Jannis Harderopt_merge: Add `-keepdc` option required for formal... tree | commitdiff
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs tree | commitdiff
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn tree | commitdiff
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names tree | commitdiff
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift tree | commitdiff
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim tree | commitdiff
2022-01-30 Marcelina Kościelnickaopt_reduce: Add $bmux and $demux optimization patterns. tree | commitdiff
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram tree | commitdiff
2021-12-25 CatherineMerge pull request #3127 from whitequark/cxxrtl-no... tree | commitdiff
2021-12-20 Marcelina Kościelnickamemory_share: Fix SAT-based sharing for wide ports. tree | commitdiff
2021-10-21 Marcelina Kościelnickaextract_reduce: Refactor and fix input signal construction. tree | commitdiff
2021-08-13 Marcelina Kościelnickamemory_share: Add -nosat and -nowiden options. tree | commitdiff
2021-08-13 Marcelina Kościelnickamemory_dff: Recognize soft transparency logic. tree | commitdiff
2021-08-13 Marcelina KościelnickaAdd new opt_mem_priority pass. tree | commitdiff
2021-08-11 Marcelina Kościelnickaproc_memwr: Use the v2 memwr cell. tree | commitdiff
2021-08-11 Marcelina KościelnickaAdd v2 memory cells. tree | commitdiff
2021-08-07 Marcelina Kościelnickaopt_merge: Use FfInitVals. tree | commitdiff
2021-07-28 Marcelina Kościelnickaverilog: Emit $meminit_v2 cell. tree | commitdiff
2021-07-27 Marcelina Kościelnickaopt_expr: Propagate constants to port connections. tree | commitdiff
2021-06-11 Marcelina KościelnickaAdd regression test for #2824. tree | commitdiff
2021-05-31 Marcelina Kościelnickamemory_map: Improve start_offset handling. tree | commitdiff
2021-05-25 Marcelina Kościelnickaopt_mem_feedback: Respect write port priority. tree | commitdiff
2021-05-24 Marcelina Kościelnickaopt_mem_feedback: Rewrite feedback path finding logic. tree | commitdiff
2021-05-23 Marcelina KościelnickaAdd new helper class for merging FFs into cells, use... tree | commitdiff
2021-05-23 Marcelina Kościelnickaopt_mem: Remove write ports with const-0 EN. tree | commitdiff
2021-05-04 Marcelina Kościelnickaopt_dff: Fix NOT gates wired in reverse. tree | commitdiff
2021-03-15 Marcelina Kościelnickaopt_clean: Remove init attribute bits together with... tree | commitdiff
2021-03-15 Marcelina Kościelnickartlil: Disallow 0-width chunks in SigSpec. tree | commitdiff
2021-03-11 whitequarkMerge pull request #2642 from whitequark/cxxrtl-noproc... tree | commitdiff
2021-03-09 whitequarkMerge pull request #2643 from zachjs/fix-param-no-defau... tree | commitdiff
2021-03-08 Marcelina Kościelnickamemory_dff: Remove now-useless write port handling. working-ls180 tree | commitdiff
2021-03-01 Claire XenMerge pull request #2523 from tomverbeure/define_synthesis tree | commitdiff
2021-03-01 Claire XenMerge pull request #2524 from bkbncn/patch-1 tree | commitdiff
2021-02-12 gatecatMerge pull request #2585 from YosysHQ/dave/nexus-dotproduct tree | commitdiff
2021-02-03 whitequarkMerge pull request #2436 from dalance/fix_generate tree | commitdiff
2021-01-28 Claire XenMerge pull request #2535 from Ravenslofty/scc-specify tree | commitdiff
2021-01-20 Miodrag MilanovićMerge pull request #2536 from TobiasFaller/master tree | commitdiff
2021-01-14 Marcelina Kościelnickaopt_share: Fix X and CO signal width for shifted $alu... tree | commitdiff
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox... tree | commitdiff
2020-10-20 clairexenMerge pull request #2405 from byuccl/fix_xilinx_cells tree | commitdiff
2020-10-19 Miodrag MilanovićMerge pull request #2397 from daveshah1/nexus tree | commitdiff
2020-10-15 clairexenMerge pull request #2398 from jakobwenzel/smtbmc-escape tree | commitdiff
2020-10-08 Marcelina Kościelnickaopt_clean: Better memory handling. tree | commitdiff
2020-10-01 clairexenMerge pull request #2378 from udif/pr_dollar_high_low tree | commitdiff
2020-10-01 clairexenMerge pull request #2380 from Xiretza/parallel-tests tree | commitdiff
2020-09-26 Xiretzatests: add gitignores for auto-generated makefiles tree | commitdiff
2020-09-21 Xiretzatests: Centralize test collection and Makefile generation tree | commitdiff
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi... tree | commitdiff
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi... tree | commitdiff
2020-08-22 clairexenMerge pull request #2349 from nmoroze/smt2-bugfix tree | commitdiff
2020-08-20 clairexenMerge pull request #2347 from YosysHQ/mwk/techmap-shift... tree | commitdiff
2020-08-20 clairexenMerge pull request #2344 from YosysHQ/mwk/opt_share... tree | commitdiff
2020-08-20 clairexenMerge pull request #2337 from YosysHQ/mwk/clean-keep... tree | commitdiff
2020-08-20 clairexenMerge pull request #2333 from YosysHQ/mwk/peepopt-shift... tree | commitdiff
2020-08-20 clairexenMerge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup tree | commitdiff
2020-08-20 clairexenMerge pull request #2327 from YosysHQ/mwk/techmap-const... tree | commitdiff
2020-08-20 clairexenMerge pull request #2326 from YosysHQ/mwk/peeopt-muldiv... tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github... tree | commitdiff
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real tree | commitdiff
2020-08-17 Marcelina Kościelnickaopt_share: Refactor, fix some bugs. tree | commitdiff
2020-08-07 Marcelina Kościelnickapeepopt: Remove now-redundant dffmux pattern. tree | commitdiff
2020-08-04 Marcelina Kościelnickapeepopt.muldiv: Add a signedness check. tree | commitdiff
2020-07-30 Marcelina KościelnickaAdd opt_dff pass. tree | commitdiff
2020-07-29 Marcelina Kościelnickaopt_expr: Fix handling of $_XNOR_ cells with A = B. tree | commitdiff
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop tree | commitdiff
2020-07-24 Marcelina Kościelnickaclk2fflogic: Support all FF types. tree | commitdiff
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf... tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize... tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix... tree | commitdiff
2020-07-05 Marcelina KościelnickaMerge pull request #2236 from YosysHQ/mwk/dfflegalize... tree | commitdiff
2020-07-05 whitequarkMerge pull request #2227 from Ravenslofty/ccache tree | commitdiff
2020-07-05 Marcelina KościelnickaMerge pull request #2232 from YosysHQ/mwk/gowin-sim... tree | commitdiff
2020-07-05 Marcelina Kościelnickaopt_expr: Fix crash on $mul optimization with more... tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar tree | commitdiff
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators tree | commitdiff
2020-06-25 Kamil RakoczyAdd sub-assign and and-assign tests tree | commitdiff
2020-06-25 Kamil RakoczyMove combined assign tests to single file tree | commitdiff
2020-06-24 Kamil RakoczyAdd xor-assignment test tree | commitdiff
2020-06-24 Kamil RakoczyAdd or-assignment and plus-assignment tests tree | commitdiff
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt... tree | commitdiff
2020-06-10 clairexenMerge pull request #2131 from YosysHQ/claire/preserveffs tree | commitdiff
2020-06-09 Claire WolfFix tests/opt/opt_rmdff tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-06-03 Peter CrozierMerge branch 'master' into struct tree | commitdiff
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap tree | commitdiff
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... tree | commitdiff
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog... tree | commitdiff
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning tree | commitdiff
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master tree | commitdiff
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection tree | commitdiff
2020-05-21 Eddie HungMerge pull request #2057 from YosysHQ/eddie/fix_task_attr tree | commitdiff
2020-05-20 N. EngelhardtMerge pull request #2046 from PeterCrozier/trap tree | commitdiff
2020-05-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc tree | commitdiff
2020-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff tree | commitdiff
2020-05-14 Eddie HungMerge pull request #2055 from YosysHQ/eddie/logger_multiple tree | commitdiff
next