aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt/opt_ff_sat.ys
Commit message (Expand)AuthorAgeFilesLines
* Refactor "opt_rmdff -sat"Clifford Wolf2019-06-201-0/+1
* Optimizing DFFs whose initial value prevents their value from changingBogdan Vukobratovic2019-05-281-0/+4