Age | Commit message (Expand) | Author |
---|---|---|
2016-05-13 | refactoring & fix build | Péter Diviánszky |
2016-05-12 | don't show module path | Péter Diviánszky |
2016-05-12 | tweak hnf handling | Péter Diviánszky |
2016-05-12 | adjust .out file | Péter Diviánszky |
2016-05-12 | mutual function definitions | Péter Diviánszky |
2016-05-03 | remove more color formattins from out files | Péter Diviánszky |
2016-04-28 | switch to ansi-wl-pprint | Péter Diviánszky |
2016-01-29 | hide CoreToIR's expression representation | Péter Diviánszky |
2016-01-19 | fix loop issue | Péter Diviánszky |
2016-01-19 | don't evaluate expressions at the end of inference | Péter Diviánszky |
2016-01-19 | update test output | Csaba Hruska |
2016-01-19 | normalise paths and fix self export handling | Csaba Hruska |