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-10 | include info in more .out files; fix parsing of as-patterns | 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-21 | Move adt test cases to a dir | Andor Penzes |