Age | Commit message (Expand) | Author |
---|---|---|
2016-05-04 | print reduced result in .out file | Péter Diviánszky |
2016-05-04 | bugfix: do not overnormalize | 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 |