| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-01-21 | Configurable minimum tree sizeHEADmain | Marvin Borner | |
| For cool optimizer in blocade, hint hint :) | |||
| 2024-01-18 | BLoCade | Marvin Borner | |
| 2023-05-22 | Changed order of abstraction and application encodings | Marvin Borner | |
| This gives some minor space improvements as almost all abstractions imply a following application but not so much with applications. At least by case-analysis :) | |||
| 2023-05-17 | General improvements | Marvin Borner | |
| (nothing special, mainly cleanup and docs) | |||
| 2023-04-13 | Options and fixes | Marvin Borner | |
| 2023-04-11 | Bootstrapping | Marvin Borner | |