achronix: Use dfflegalize.
[yosys.git] / passes / opt /
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-02 clairexenMerge pull request #2208 from boqwxp/qbfsat-cleanup
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast
2020-06-30 Marcelina Kościelnickaopt_merge: use the master FF type list
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators
2020-06-26 whitequarkMerge pull request #2189 from antmicro/optional-labels
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused...
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes
2020-06-23 clairexenMerge pull request #1818 from YosysHQ/mwk/new-ff-types
2020-06-23 Marcelina KościelnickaAdd support for new FF types in some opt passes.
2020-06-19 whitequarkRemove YS_ATTRIBUTE(unused) where present just for...
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11...
2020-06-18 whitequarkUse C++11 final/override keywords.
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 WolfDo not optimize away FFs in "prep" and Verific fron-end
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil...
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop
2020-06-03 Peter CrozierMerge branch 'master' into struct
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa...
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify...
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog...
2020-05-28 XiretzaAdd flooring division operator
2020-05-28 XiretzaAdd flooring modulo operator
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 Hungopt_expr: Sx to Sz; spotted by @Xiretza
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758
2020-05-14 Eddie HungFix whitespace
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: rminit without -purge; also remove if consis...
2020-05-14 Eddie Hungopt_clean: really make 'clean' identical to 'opt_clean...
2020-05-08 Eddie Hungopt_expr: consume_x to require/imply !keepdc
2020-05-08 Eddie Hungopt_expr: restore consume_x; use for coarse grained too
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-03 Claire WolfMerge pull request #2014 from YosysHQ/claire/fixoptalu
2020-05-02 Claire WolfFix the other "opt_expr -fine" bug introduced in 213a89558
2020-05-02 Claire WolfFix the other "opt_expr -fine" bug introduced in 213a89558
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt
2020-05-01 Claire WolfFix "opt_expr -fine" bug introduced in 213a89558
2020-04-24 Eddie Hungopt_expr: const_xnor replacement to pad Y with 1'b1
2020-04-24 Eddie Hungopt_expr: more fixes for $xor/$xnor
2020-04-24 Eddie Hungopt_expr: do not group by X, more fixes
2020-04-23 Eddie Hungopt_expr: improve single-bit $and/$or/$xor/$xnor cells...
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 Marcelina Kościelnickaopt_clean: Add missing assignments to opt.did_something.
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-10 whitequarkMerge pull request #1562 from whitequark/write_cxxrtl
2020-04-09 Eddie HungMerge pull request #1858 from YosysHQ/eddie/fix1856
2020-04-09 Marcelina Kościelnicka[NFCI] Deduplicate builtin FF cell types list
next