| .. |
|
fail
|
Changed how arguments and other pieces of information are printed, to follow the error message conventions, as suggested by samth in PR #250 .
|
2016-01-16 12:18:40 +01:00 |
|
gui/succeed
|
Fix first-order check for TR's opaque object/c
|
2015-03-13 16:52:34 -04:00 |
|
optimizer
|
Fix test for removed missed opt logging.
|
2016-01-06 12:42:20 -06:00 |
|
performance
|
Add a performance test for function contracts
|
2015-10-01 18:04:20 -04:00 |
|
succeed
|
Refine type of min.
|
2015-12-31 14:32:41 -06:00 |
|
unit-tests
|
Handle Sequenceof in the type parser to support multiple values.
|
2015-12-17 19:42:29 -05:00 |
|
xfail
|
Initial support for typed units in typed racket.
|
2015-09-10 16:32:11 -05:00 |
|
historical-counterexamples.rkt
|
More drdr-found counterexamples.
|
2015-11-09 17:24:12 -06:00 |
|
info.rkt
|
Increase with-tr-contracts timeout.
|
2015-11-12 18:41:52 -05:00 |
|
LICENSE.txt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
main.rkt
|
Reorganize the TR testing files, and add progress output.
|
2015-12-29 16:43:25 -05:00 |
|
nightly-run.rkt
|
Reduce directory nesting for tests.
|
2014-12-16 10:07:25 -05:00 |
|
places.rkt
|
Rename open-place to place/context.
|
2015-07-28 16:15:08 -05:00 |
|
random-real.rkt
|
Use math/flonum instead of unstable/flonum.
|
2015-08-27 14:14:51 -05:00 |
|
run.rkt
|
Reorganize the TR testing files, and add progress output.
|
2015-12-29 16:43:25 -05:00 |
|
send-places.rkt
|
Reduce directory nesting for tests.
|
2014-12-16 10:07:25 -05:00 |
|
test-docs-complete.rkt
|
Reduce directory nesting for tests.
|
2014-12-16 10:07:25 -05:00 |
|
tr-random-testing.rkt
|
Be more robust against one of {TR,R} erroring.
|
2015-11-10 16:39:18 -06:00 |
|
with-tr-contracts.rkt
|
Fix more collection paths.
|
2014-12-18 09:30:17 -05:00 |
7845545bb0