aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/satgen.cc
Commit message (Expand)AuthorAgeFilesLines
* Add bitwise `$bweqx` and `$bwmux` cellsJannis Harder2022-11-301-2/+34
* satgen, simlib: Consistent x-propagation for `$pmux` cellsJannis Harder2022-11-301-14/+9
* sat: Add -set-def-formal option to force defined $any* outputsJannis Harder2022-11-281-4/+23
* Add the $anyinit cell and the formalff passJannis Harder2022-08-161-1/+1
* Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-281-0/+100
* kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-021-10/+10
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* Respect \A_SIGNED for $shiftXiretza2020-08-181-2/+2
* satgen: Add support for dffe, sdff, sdffe, sdffce cells.Marcelina Kościelnicka2020-07-241-4/+55
* satgen: Move importCell out of the header.Marcelina Kościelnicka2020-07-191-0/+1188