Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Re-enable opt_dff_sr equiv_opt checks | Claire Xenia Wolf | 2022-10-07 | 1 | -13/+12 |
* | opt_dff: Fix NOT gates wired in reverse. | Marcelina KoĆcielnicka | 2021-05-04 | 1 | -8/+13 |
* | Add opt_dff pass. | Marcelina KoĆcielnicka | 2020-07-30 | 1 | -0/+304 |