| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-01-21 | Configurable minimum tree sizeHEADmain | Marvin Borner |
| 2024-01-18 | BLoCade | Marvin Borner |
| 2023-05-22 | Changed order of abstraction and application encodings | Marvin Borner |
| 2023-05-17 | General improvements | Marvin Borner |
| 2023-04-13 | Options and fixes | Marvin Borner |
| 2023-04-11 | Bootstrapping | Marvin Borner |