Vincent St-Amour ee29d371c9 Updated TR's base type environment to use the new numeric types. ... This ended up being an almost complete rewrite of the base environment. Note: While the commit is dated Jan 27, the work was finished on Mar 2.		2011-03-18 10:25:21 -04:00
..
fail	Take the meet of constraints earlier in the inference process.	2011-03-18 10:25:19 -04:00
optimizer	Updated TR's base type environment to use the new numeric types.	2011-03-18 10:25:21 -04:00
succeed	Updated TR's base type environment to use the new numeric types.	2011-03-18 10:25:21 -04:00
unit-tests	Updated TR's base type environment to use the new numeric types.	2011-03-18 10:25:21 -04:00
xfail	Take the meet of constraints earlier in the inference process.	2011-03-18 10:25:19 -04:00
main.rkt	Delete compiled benchmarks when testing.	2010-10-01 17:48:46 -04:00
nightly-run.rkt	Fix nightly running of TR tests.	2011-01-27 16:49:45 -05:00
run	Fix TR's GUI test harness.	2011-03-17 13:10:19 -04:00
run.rkt	Fix TR's GUI test harness.	2011-03-17 13:10:19 -04:00