| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-09-06 | Refactored Helper.hs | Marvin Borner | |
| 2024-03-15 | Initial working optimization stage | Marvin Borner | |
| 2024-03-02 | Started non-outsourced optimizer | Marvin Borner | |
| 2024-02-29 | Added higher order reducer | Marvin Borner | |
| 2024-02-24 | Added verbose mode | Marvin Borner | |
| Mainly for CI right now, might extend in the future. | |||
| 2024-02-24 | Added reducer selection flag | Marvin Borner | |
| 2024-01-19 | BLoC/BLoCade optimizer integration | Marvin Borner | |
| In many cases, shared-by-abstraction BLC is more performant (and notably smaller) than the current output where every term just gets substituted (and potentially duplicated) directly. BLoC in combination with BLoCade's shared BLC target optimizes this automatically by trying to find the terms that would most benefit from deduplication and abstracting them respectively. Paging @tromp since we talked about this. This commit also introduces better argument parsing using optparse-applicative. | |||
| 2022-04-12 | Initial commit | Marvin Borner | |