summaryrefslogtreecommitdiff
path: root/testdata
AgeCommit message (Expand)Author
2018-09-22support pipelines without color outputCsaba Hruska
2018-09-22test | pickInt: move to proper place, add .out fileKosyrev Serge
2018-09-21testdata: accept new Builtins.out due to changes in this branchKosyrev Serge
2018-09-21tests: add pickInt.lc -- integer pipeline targeting TextureOutKosyrev Serge
2018-02-03update error messagesCsaba Hruska
2018-02-03show normalised filepaths in error messagesCsaba Hruska
2018-02-03update parsing error messages ; caused by megaparsec upgradeCsaba Hruska
2017-01-30update test out filesCsaba Hruska
2016-11-30update test pipeline resultsCsaba Hruska
2016-11-10add test case for pattern type annotationCsaba Hruska
2016-11-10add tests for guards + wherePéter Diviánszky
2016-09-16update primes test because it sometimes causes timeout during the performance...Péter Diviánszky
2016-06-03support variable name preference in pretty printPéter Diviánszky
2016-05-14reach the 3000th primePéter Diviánszky
2016-05-13refactoringPéter Diviánszky
2016-05-13refactoring & fix buildPéter Diviánszky
2016-05-12don't show module pathPéter Diviánszky
2016-05-12refactor hashed name handlingPéter Diviánszky
2016-05-12update primes examplePéter Diviánszky
2016-05-12tweak hnf handlingPéter Diviánszky
2016-05-12add passed testPéter Diviánszky
2016-05-12adjust .out filePéter Diviánszky
2016-05-12mutual function definitionsPéter Diviánszky
2016-05-10include info in more .out files; fix parsing of as-patternsPéter Diviánszky
2016-05-10explicit lhs marks, first stepPéter Diviánszky
2016-05-10finish maxDB --> freeVarsPéter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06tweak hnf handlingPéter Diviánszky
2016-05-06show typechecked source code in .out files & fix local function handling (again)Péter Diviánszky
2016-05-05improve pretty printing & try to fix local function handlingPéter Diviánszky
2016-05-04implement constraint kindsPéter Diviánszky
2016-05-04improve pretty printPéter Diviánszky
2016-05-04fix pretty printPéter Diviánszky
2016-05-04print reduced result in .out filePéter Diviánszky
2016-05-04bugfix: do not overnormalizePéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-03better show for let expressions; fix a bug in type class desugaringPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03use less wildcardsPéter Diviánszky
2016-05-03fix: parens around operatorsPéter Diviánszky
2016-05-03shorten more lambdasPéter Diviánszky
2016-05-03fix pretty print parensPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03remove more color formattins from out filesPéter Diviánszky
2016-05-03support mutually defined constants (first version)Péter Diviánszky
2016-05-02more list syntax in pretty printPéter Diviánszky
2016-05-02use [] instead of Nil in pretty printPéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 07:38:41 +0000