| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-01-18 | BLoCade | Marvin Borner |
| 2024-01-18 | Unshared output for unsuitable terms | Marvin Borner |
| 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 |