Commit Graph

3 Commits

Author SHA1 Message Date
chriseth
499fe57d33 Tests 2019-10-29 14:32:16 +01:00
chriseth
246c1c939f Tests. 2019-05-13 18:58:55 +02:00
chriseth
dd4f9bf1a6 Really split structural simplifier. 2019-05-13 10:26:57 +02:00