Eric Dobson 7e88895bd0 Add testcases for many already fixed bugs. ... Closes PR11901. Closes PR11972. Closes PR12022. Closes PR12224. Closes PR12506. Closes PR12533. Closes PR12596. Closes PR13198. Closes PR13418. Already fixed bugs, with existing testcases. Closes PR12529. Closes PR12631. Closes PR13127. Closes PR13128. Closes PR12970.		2013-02-18 11:56:55 -05:00
..
fail	Forbid singleton types for integers whose type is platform-dependent.	2013-02-11 14:30:19 -05:00
optimizer	Fix optimization of unary complex - and /.	2013-02-14 18:24:52 -05:00
succeed	Add testcases for many already fixed bugs.	2013-02-18 11:56:55 -05:00
unit-tests	Add testcases for many already fixed bugs.	2013-02-18 11:56:55 -05:00
xfail	Typed modules as languages doesn't currently work.	2013-01-14 14:27:33 -05:00
main.rkt	Add -v option to TR tests.	2012-08-22 16:50:50 -04:00
nightly-run.rkt
places.rkt	Add -v option to TR tests.	2012-08-22 16:50:50 -04:00
random-real.rkt	Fixed erroneously imprecise type for +nan.f literal (now Single-Flonum-Nan)	2012-06-09 17:46:04 -06:00
run.rkt	Add -v option to TR tests.	2012-08-22 16:50:50 -04:00
send-places.rkt	A whole bunch of missing newlines at EOFs (and a few other spaceages).	2012-10-19 06:47:24 -04:00
tr-random-testing.rkt	Randomly test the TR optimizer.	2012-12-03 21:54:01 -05:00