aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt/opt_dff.cc
Commit message (Expand)AuthorAgeFilesLines
* Fitting help messages to 80 character widthKrystalDelusion2022-08-241-4/+7
* opt_dff: With -keepdc, never turn undef init vals into const driversJannis Harder2022-06-291-5/+17
* opt_dff: Fix behavior on $ff with D == Q.Marcelina Kościelnicka2022-04-151-1/+1
* opt_dff: Don't mutate muxes while ModWalker is active.Marcelina Kościelnicka2022-01-281-98/+112
* opt_dff: fix sequence point copy paste bugAustin Seipp2022-01-041-1/+1
* FfData: some refactoring.Marcelina Kościelnicka2021-10-071-10/+10
* kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-021-90/+139
* Refactor common parts of SAT-using optimizations into a helper.Marcelina Kościelnicka2021-08-091-32/+12
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* opt_dff: Fix NOT gates wired in reverse.Marcelina Kościelnicka2021-05-041-2/+2
* Add opt_dff pass.Marcelina Kościelnicka2020-07-301-0/+875