summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-01-22Tweak telescope functions.Andor Penzes
2016-01-22improve testCsaba Hruska
2016-01-22Show better ghc-pkg list on travisAndor Penzes
2016-01-22test notesCsaba Hruska
2016-01-22add testsCsaba Hruska
2016-01-22Bump quickcheck version.Andor Penzes
2016-01-22do not allow multiple alternatives for 0 arity functionsPéter Diviánszky
2016-01-22support guards in case alternativesPéter Diviánszky
2016-01-22Better output on travis.Andor Penzes
2016-01-22add testsCsaba Hruska
2016-01-22Show active package list at the start of the build.Andor Penzes
2016-01-22reject function alternatives with different arityPéter Diviánszky
2016-01-22new testsCsaba Hruska
2016-01-22Remove Arbitrary set as newer version of quickcheck supports it.Andor Penzes
2016-01-22Add more Monoid tests.Andor Penzes
2016-01-22update TODOsPéter Diviánszky
2016-01-22support multiple guardsPéter Diviánszky
2016-01-22support more pattern literalsPéter Diviánszky
2016-01-22check multiple pattern var namesPéter Diviánszky
2016-01-22fix exporting single idsPéter Diviánszky
2016-01-22remove wipCsaba Hruska
2016-01-22update outCsaba Hruska
2016-01-22remove wip flagCsaba Hruska
2016-01-22rename testCsaba Hruska
2016-01-22better redefine error messages; move another wip testPéter Diviánszky
2016-01-22add & delete .out filesPéter Diviánszky
2016-01-22add testCsaba Hruska
2016-01-22work on closed expression recognition; fix 3 redefine testsPéter Diviánszky
2016-01-22use strict version readFile function to lower resource usage (e.g. opened fil...Csaba Hruska
2016-01-22add more testsCsaba Hruska
2016-01-22fix maxDBPéter Diviánszky
2016-01-22reorder executables in cabal filePéter Diviánszky
2016-01-22tried to speed up with cached max. de bruijn indices (no speedup at the moment)Péter Diviánszky
2016-01-22accept wip resultPéter Diviánszky
2016-01-22several improvement to get better tooltipsPéter Diviánszky
2016-01-22Add accepted/rejected tests to the passed/failed set.Andor Penzes
2016-01-22Add prular to test result endings.Andor Penzes
2016-01-22Print already passed WIP testsAndor Penzes
2016-01-22cleanupPéter Diviánszky
2016-01-21better source range handlingPéter Diviánszky
2016-01-21continue refactoring of parserPéter Diviánszky
2016-01-21wip refactoringPéter Diviánszky
2016-01-21wip refactoring (results more ranges as a side effect)Péter Diviánszky
2016-01-21wip refactoring (results better error ranges as a side effect)Péter Diviánszky
2016-01-21wip refactoringPéter Diviánszky
2016-01-21improve output lookCsaba Hruska
2016-01-21simple test for operatorsCsaba Hruska
2016-01-21update outCsaba Hruska
2016-01-21basic list testCsaba Hruska
2016-01-21Add gadt related testsAndor Penzes
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:36:59 +0000