| Commit message (Expand) | Author | Age | Files | Lines |
* | Fitting help messages to 80 character width | KrystalDelusion | 2022-08-24 | 1 | -4/+7 |
* | opt_dff: With -keepdc, never turn undef init vals into const drivers | Jannis Harder | 2022-06-29 | 1 | -5/+17 |
* | opt_dff: Fix behavior on $ff with D == Q. | Marcelina Kościelnicka | 2022-04-15 | 1 | -1/+1 |
* | opt_dff: Don't mutate muxes while ModWalker is active. | Marcelina Kościelnicka | 2022-01-28 | 1 | -98/+112 |
* | opt_dff: fix sequence point copy paste bug | Austin Seipp | 2022-01-04 | 1 | -1/+1 |
* | FfData: some refactoring. | Marcelina Kościelnicka | 2021-10-07 | 1 | -10/+10 |
* | kernel/ff: Refactor FfData to enable FFs with async load. | Marcelina Kościelnicka | 2021-10-02 | 1 | -90/+139 |
* | Refactor common parts of SAT-using optimizations into a helper. | Marcelina Kościelnicka | 2021-08-09 | 1 | -32/+12 |
* | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
* | opt_dff: Fix NOT gates wired in reverse. | Marcelina Kościelnicka | 2021-05-04 | 1 | -2/+2 |
* | Add opt_dff pass. | Marcelina Kościelnicka | 2020-07-30 | 1 | -0/+875 |