index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
runTests.hs
Age
Commit message (
Expand
)
Author
2016-11-30
erase Pipeline's info field before comparison
Csaba Hruska
2016-09-15
allow newer optparse-applicative and QuickCheck
Péter Diviánszky
2016-06-14
allow newer base
Péter Diviánszky
2016-05-13
refactoring & fix build
Péter Diviánszky
2016-05-12
show diff in auto reject mode too
Péter Diviánszky
2016-05-12
remove deepseq from compiler lib dependencies
Péter Diviánszky
2016-05-12
refactor hashed name handling
Péter Diviánszky
2016-05-12
tweak error message
Péter Diviánszky
2016-05-12
mutual function definitions
Péter Diviánszky
2016-05-10
include info in more .out files; fix parsing of as-patterns
Péter Diviánszky
2016-05-06
show typechecked source code in .out files & fix local function handling (again)
Péter Diviánszky
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-04
refactoring
Péter Diviánszky
2016-05-03
better show for let expressions; fix a bug in type class desugaring
Péter Diviánszky
2016-05-03
refactoring
Péter Diviánszky
2016-05-03
remove more color formattins from out files
Péter Diviánszky
2016-05-01
removing coloring from .out files
Péter Diviánszky
2016-05-01
improve pretty print layout & show desugared source code in .out files
Péter Diviánszky
2016-05-01
better namespace handling in pretty print
Péter Diviánszky
2016-05-01
refactoring
Péter Diviánszky
2016-05-01
refactoring
Péter Diviánszky
2016-04-29
use Doc instead of String is several places
Péter Diviánszky
2016-04-28
refactoring: eliminate custom ESC handling
Péter Diviánszky
2016-02-25
better info handling
Péter Diviánszky
2016-02-25
do not accept enter in y/n questions
Péter Diviánszky
2016-02-25
do not wire-in ignoring .ignore tests
Péter Diviánszky
2016-02-18
support local pattern matching functions and local recursive functions
Péter Diviánszky
2016-02-17
work on performance comparison tool
Csaba Hruska
2016-02-17
better path handling
Péter Diviánszky
2016-02-16
eliminate FixLabel, performance is back at previous level
Péter Diviánszky
2016-02-15
use patience diff
Péter Diviánszky
2016-02-15
refactoring
Péter Diviánszky
2016-02-15
remove main modules from module cache
Péter Diviánszky
2016-02-15
put trace info in .out files
Péter Diviánszky
2016-02-14
pretty print pipelines in .out files
Péter Diviánszky
2016-02-13
use different kinf of infos
Péter Diviánszky
2016-02-13
add structure to error messages
Péter Diviánszky
2016-02-04
update TODOs
Péter Diviánszky
2016-02-04
begin to support qualified module names
Péter Diviánszky
2016-01-30
LambdaCube.Compiler.Driver --> LambdaCube.Compiler
Péter Diviánszky
2016-01-29
try to remove more expType calls
Péter Diviánszky
2016-01-29
remove some expType calls
Péter Diviánszky
2016-01-28
add option for ignoring test cases
Péter Diviánszky
2016-01-26
reorder definitions in Infer.hs
Péter Diviánszky
2016-01-26
refactoring: move ESC handling to Pretty.hs
Péter Diviánszky
2016-01-26
bugfix: do not timeout questions; improvement: show test file name before doi...
Péter Diviánszky
2016-01-25
allow to set timeout
Péter Diviánszky
2016-01-25
make the code more warning free
Péter Diviánszky
2016-01-25
bugfix & improved messages
Péter Diviánszky
[next]