| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-05-26 | Switched to xxHash from murmur3 | Marvin Borner |
| 2023-05-22 | Changed order of abstraction and application encodings | Marvin Borner |
| 2023-05-21 | Added additional optimizer | Marvin Borner |
| 2023-04-14 | Added test infrastructure | Marvin Borner |