Commit Graph
2 Commits
Author SHA1 Message Date
a3d4 3b9e926559 Moved "step" from settings to expectations. 2020-03-19 13:59:05 +01:00
chriseth dd4f9bf1a6 Really split structural simplifier. 2019-05-13 10:26:57 +02:00