| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add bitwise `$bweqx` and `$bwmux` cells | Jannis Harder | 2022-11-30 | 1 | -2/+34 |
| * | satgen, simlib: Consistent x-propagation for `$pmux` cells | Jannis Harder | 2022-11-30 | 1 | -14/+9 |
| * | sat: Add -set-def-formal option to force defined $any* outputs | Jannis Harder | 2022-11-28 | 1 | -4/+23 |
| * | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 1 | -1/+1 |
| * | Add $bmux and $demux cells. | Marcelina Kościelnicka | 2022-01-28 | 1 | -0/+100 |
| * | kernel/ff: Refactor FfData to enable FFs with async load. | Marcelina Kościelnicka | 2021-10-02 | 1 | -10/+10 |
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
| * | Respect \A_SIGNED for $shift | Xiretza | 2020-08-18 | 1 | -2/+2 |
| * | satgen: Add support for dffe, sdff, sdffe, sdffce cells. | Marcelina Kościelnicka | 2020-07-24 | 1 | -4/+55 |
| * | satgen: Move importCell out of the header. | Marcelina Kościelnicka | 2020-07-19 | 1 | -0/+1188 |
