aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/Reducer
AgeCommit message (Collapse)Author
2024-09-06Refactored Helper.hsMarvin Borner
2024-03-02Started non-outsourced optimizerMarvin Borner
2024-02-29Added higher order reducerMarvin Borner
2024-02-25Fixed warningsMarvin Borner
2024-02-24Minor ION cleanupMarvin Borner
2024-02-24Initial import of the ION reducerMarvin 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-24Added reducer selection flagMarvin Borner