aboutsummaryrefslogtreecommitdiff
path: root/src/main.c
AgeCommit message (Collapse)Author
2023-02-11Added testing for equivalenciesMarvin Borner
2023-02-11Fixing.. AAHMarvin Borner
Debugging this is not that easy actually. But I think I got it (tomorrow).
2023-02-10Some fixesMarvin Borner
Still not working correctly 100% though. I believe the error is around (5) (?)
2023-02-01Transition rulesMarvin Borner
2023-01-31Started reducingMarvin Borner
2023-01-31NormalizationMarvin Borner
2023-01-31Fixed building/syncingMarvin Borner
2022-12-13Basic parsingMarvin Borner