peepopt.muldiv: Add a signedness check.
[yosys.git] / passes /
2020-08-04 Marcelina Kościelnickapeepopt.muldiv: Add a signedness check.
2020-07-30 Marcelina KościelnickaAdd dffunmap pass.
2020-07-30 Marcelina Kościelnickaopt_expr: Remove -clkinv option, make it the default.
2020-07-30 Marcelina Kościelnickasynth_ice40: Use opt_dff.
2020-07-30 Marcelina Kościelnickasynth_xilinx: Use opt_dff.
2020-07-30 Marcelina Kościelnickaasync2sync: Support all FF types.
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-28 clairexenMerge pull request #2301 from zachjs/for-loop-errors
2020-07-28 clairexenMerge pull request #2306 from YosysHQ/mwk/equiv_induct...
2020-07-27 Marcelina Kościelnickaequiv_induct: Fix up assumption for $equiv cells in...
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop
2020-07-24 Marcelina Kościelnickaasync2sync: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickamemory_dff: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickaproc_dlatch: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickapmux2shift: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickawreduce: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickatechmap: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickashregmap: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickaabc: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickadffinit: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickazinit: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickadfflegalize: Refactor to use FfInitVals.
2020-07-24 Marcelina Kościelnickaclk2fflogic: Support all FF types.
2020-07-23 Marcelina Kościelnickamemory_dff: recognize more dff cells
2020-07-23 clairexenMerge pull request #2285 from YosysHQ/mwk/techmap-cellname
2020-07-23 clairexenMerge pull request #2294 from Ravenslofty/intel_alm_timings
2020-07-21 Marcelina Kościelnickatechmap: Add _TECHMAP_CELLNAME_ special parameter.
2020-07-21 clairexenMerge pull request #2215 from boqwxp/qbfsat-solver...
2020-07-20 Alberto Gonzalezqbfsat: Add `-solver-option` option.
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf...
2020-07-16 clairexenMerge pull request #2273 from whitequark/write-verilog...
2020-07-16 clairexenMerge pull request #2272 from whitequark/write-verilog-sv
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-16 whitequarkMerge pull request #2270 from whitequark/cxxrtl-fix...
2020-07-15 clairexenMerge pull request #2257 from antmicro/fix-conflicts
2020-07-15 Marcelina Kościelnickaopt_merge: Dedup one more use of FF cell type list.
2020-07-12 Marcelina Kościelnickaproc_dlatch: Remove init values for combinatorial proce...
2020-07-12 Marcelina Kościelnickadfflegalize: Gather init values from all wires.
2020-07-09 Marcelina Kościelnickadfflibmap: Refactor to use dfflegalize internally.
2020-07-09 Marcelina Kościelnickaclkbufmap: improve input pad handling.
2020-07-09 clairexenMerge pull request #2244 from antmicro/logic
2020-07-09 Marcelina Kościelnickaclk2fflogic: Consistently treat async control signals...
2020-07-09 Marcelina Kościelnickadfflegalize: Add special support for const-D latches.
2020-07-07 whitequarkMerge pull request #2246 from YosysHQ/mwk/dfflegalize...
2020-07-07 Marcelina Kościelnickadfflegalize: typo fix
2020-07-05 Marcelina KościelnickaNaming fixes.
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ścielnickadfflegalize: Prefer mapping dff to sdff before adff
2020-07-05 Marcelina Kościelnickaopt_expr: Fix crash on $mul optimization with more...
2020-07-04 Eddie Hungabc9: only techmap (* abc9_flop *) modules
2020-07-04 Eddie Hungabc9: techmap from user design to allow abc9_flop modul...
2020-07-03 Rupert SwarbrickAdd newlines to help text for dfflegalize
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-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates
2020-07-01 Alberto Gonzalezqbfsat: Remove useless comment and #ifndef guards.
2020-07-01 Alberto Gonzalezqbfsat: Specify default values for some options in...
2020-07-01 Alberto Gonzalezqbfsat: Clean up external executable command lines...
2020-07-01 Alberto Gonzalezqbfsat: Clean up and refactor data structures into...
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast
2020-07-01 clairexenMerge pull request #2138 from boqwxp/qbfsat-oflag
2020-07-01 clairexenMerge pull request #2206 from boqwxp/qbfsat-fix-name...
2020-06-30 Marcelina KościelnickaAdd dfflegalize pass.
2020-06-30 Marcelina Kościelnickafmcombine: use the master ff cell type list
2020-06-30 Marcelina Kościelnickaopt_merge: use the master FF type list
2020-06-30 clairexenMerge pull request #2136 from zachjs/master
2020-06-30 clairexenMerge pull request #2199 from YosysHQ/mmicko/sim_memory
2020-06-30 clairexenMerge pull request #2201 from YosysHQ/fix_test_cell_ilang
2020-06-30 Alberto Gonzalezqbfsat: Add `-O[012]` options to control pre-solving...
2020-06-30 Alberto Gonzalezqbfsat: Fix name-based hole specialization.
2020-06-30 whitequarkMerge pull request #2205 from whitequark/fix-2204
2020-06-29 whitequarktechmap: don't drop attributes on replaced cells.
2020-06-29 Miodrag MilanovićMerge pull request #2200 from YosysHQ/mmicko/fix_expose
2020-06-29 Miodrag MilanovicGive error that options are exclusive
2020-06-29 Miodrag Milanoviccleanup
2020-06-29 whitequarkMerge pull request #2197 from Xiretza/test_cell-shifts
2020-06-29 Miodrag MilanovicUse ID macro to fix assertion
2020-06-29 Miodrag Milanovicexpose pass fix
2020-06-29 Miodrag Milanovicsim - error when memrd and memwr detected
2020-06-28 Xiretzatest_cell: don't generate directional shifts with ...
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 Marcelina Kościelnickasimplemap: Fix $dffsre mapping.
2020-06-23 clairexenMerge pull request #1818 from YosysHQ/mwk/new-ff-types
2020-06-23 Marcelina KościelnickaUpdate dff2dffe, dff2dffs, zinit to new FF types.
2020-06-23 Marcelina KościelnickaAdd new FF types to simplemap.
2020-06-23 Marcelina KościelnickaAdd support for new FF types in some opt passes.
2020-06-23 Marcelina KościelnickaAdd new builtin FF types
2020-06-21 Alberto Gonzalezlog, qbfsat: Include child process time in `Performance...
next