index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
Age
Commit message (
Collapse
)
Author
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-29
Set quickcheck parameters in tasty tests and add MaxDB monoid tests.
Andor Penzes
2016-01-28
add option for ignoring test cases
Péter Diviánszky
2016-01-26
update UnitTests.hs
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 ↵
Péter Diviánszky
doing the test
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
2016-01-25
Fix in getYNChar
Andor Penzes
2016-01-25
refactoring
Péter Diviánszky
2016-01-25
refactoring
Péter Diviánszky
2016-01-25
small refactoring
Péter Diviánszky
2016-01-25
show overall time
Péter Diviánszky
2016-01-25
don't show error message for wip tests
Péter Diviánszky
2016-01-25
sort all kind of tests in one pool
Péter Diviánszky
2016-01-25
new timed-out category; show run time of chrashed tests too
Péter Diviánszky
2016-01-25
refactoring; fail if no .out file is found on travis
Péter Diviánszky
2016-01-25
apply hlint suggestions
Péter Diviánszky
2016-01-23
fix time measurement
Csaba Hruska
2016-01-23
fix test logging
Csaba Hruska
2016-01-23
tweak test log
Csaba Hruska
2016-01-23
more compact log
Csaba Hruska
2016-01-22
Remove Arbitrary set as newer version of quickcheck supports it.
Andor Penzes
2016-01-22
Add more Monoid tests.
Andor Penzes
2016-01-22
use strict version readFile function to lower resource usage (e.g. opened ↵
Csaba Hruska
file handles)
2016-01-22
several improvement to get better tooltips
Péter Diviánszky
2016-01-22
Add accepted/rejected tests to the passed/failed set.
Andor Penzes
2016-01-22
Add prular to test result endings.
Andor Penzes
2016-01-22
Print already passed WIP tests
Andor Penzes
2016-01-21
improve output look
Csaba Hruska
2016-01-20
Prettify print of test failed results.
Andor Penzes
2016-01-20
Print the runtime of test cases.
Andor Penzes
2016-01-20
Add 'Work In Progress' for tests.
Andor Penzes
2016-01-20
Add TestCase type.
Andor Penzes
2016-01-20
filter WIP tests
Csaba Hruska
2016-01-20
cleanup test filter code
Csaba Hruska
2016-01-19
Use optparse-applicative in runTests
Andor Penzes
2016-01-19
improve test framework: add -notimeout flag, collect test in nested ↵
Csaba Hruska
directories, skips NAME.ignore dirs, reject tests has .reject.lc extension
2016-01-13
filter tooltips in out files: don't show other modules' tooltips
Péter Diviánszky
2016-01-11
add debug information to NoSI constructor
Andor Penzes
2016-01-11
nub tooltip items
Péter Diviánszky
2016-01-09
cleanup Driver.hs
Péter Diviánszky
2016-01-09
move letifySmaplers into toExp
Péter Diviánszky
2016-01-09
merge modules for easier refactoring
Péter Diviánszky
[next]