aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt/opt_dff.cc
Commit message (Expand)AuthorAgeFilesLines
* 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