| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-09-06 | Refactored Helper.hs | 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. | |||
| 2023-11-06 | Minor general additions | Marvin Borner | |
| 2023-09-22 | Minor improvements | Marvin Borner | |
| Sorry, don't exactly know and don't care. Just some things I apparently didn't commit | |||
| 2023-03-11 | Applied linting tips | Marvin Borner | |
| 2023-03-05 | Made stdin and argument conversion lazy | Marvin Borner | |
| 2023-02-23 | Added unary/binary encoding suffixes | Marvin Borner | |
| 2023-02-21 | Implemented RKNL in Haskell | Marvin Borner | |
| 2022-08-19 | Fixed BLC | Marvin Borner | |
| 2022-08-18 | Fixed fromBinary | Marvin Borner | |
| 2022-08-07 | Things | Marvin Borner | |
| lol | |||
| 2022-07-16 | Got some things working | Marvin Borner | |
| 2022-07-12 | Sync | Marvin Borner | |
| 2022-06-17 | Some binary magic | Marvin Borner | |
| 2022-06-16 | Basic compilation support | Marvin Borner | |