summaryrefslogtreecommitdiff
path: root/testdata/Internals.out
AgeCommit message (Expand)Author
2016-02-08simplify label handling (some test may be slower because of a TODO)Péter Diviánszky
2016-02-07refactoringPéter Diviánszky
2016-02-07try again to move injectivity checking into the librariesPéter Diviánszky
2016-02-05try to switch to megaparsecPéter Diviánszky
2016-02-04bugfix & improvementsPéter Diviánszky
2016-02-03more uniform handling of literalsPéter Diviánszky
2016-02-02try to speed up parseTermPéter Diviánszky
2016-01-27first try to move wired-in constraint reductions into the libraryPéter Diviánszky
2016-01-27refactoring: use less STypedPéter Diviánszky
2016-01-26show tooltips in type namespacePéter Diviánszky
2016-01-22support more pattern literalsPéter Diviánszky
2016-01-22several improvement to get better tooltipsPéter Diviánszky
2016-01-21better source range handlingPéter Diviánszky
2016-01-21continue refactoring of parserPéter Diviánszky
2016-01-21wip refactoring (results better error ranges as a side effect)Péter Diviánszky
2016-01-20update .out filesPéter Diviánszky
2016-01-19don't evaluate expressions at the end of inferencePéter Diviánszky
2016-01-19update test outputCsaba Hruska
2016-01-19normalise paths and fix self export handlingCsaba Hruska
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:29:23 +0000