| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-09-06 | Refactored Helper.hs | Marvin Borner | |
| 2024-03-02 | Started non-outsourced optimizer | Marvin Borner | |
| 2024-02-29 | Added higher order reducer | Marvin Borner | |
| 2024-02-25 | Fixed warnings | Marvin Borner | |
| 2024-02-24 | Minor ION cleanup | Marvin Borner | |
| 2024-02-24 | Initial import of the ION reducer | Marvin Borner | |
| The full commit history can be found on AIT/nf.hs since this is mainly a translation of Tromp's nf.c | |||
| 2024-02-24 | Added reducer selection flag | Marvin Borner | |