aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/ff.cc
Commit message (Expand)AuthorAgeFilesLines
* Add the $anyinit cell and the formalff passJannis Harder2022-08-161-4/+15
* Add opt_ffinv pass.Marcelina Kościelnicka2022-05-131-3/+10
* dfflegalize: Refactor, add aldff support.Marcelina Kościelnicka2021-10-271-6/+186
* FfData: some refactoring.Marcelina Kościelnicka2021-10-071-0/+575