Vincent St-Amour 8d2f66faa6 First attempt at handling missed optimization cascades. ... Currently, if missed optimizations a and b are of the same kind, a is caused by b, and b is caused by c, we merge them into a single miss with cause c. This works in some cases, but fails in others.		2011-06-17 18:18:02 -04:00
..
fail	TR: Changed type of port->list	2011-06-10 17:22:14 -04:00
optimizer	First attempt at handling missed optimization cascades.	2011-06-17 18:18:02 -04:00
succeed	Moved tests for equality to unit tests	2011-06-17 15:17:20 -04:00
unit-tests	Disable this test.	2011-06-17 15:17:20 -04:00
xfail	Take the meet of constraints earlier in the inference process.	2011-03-18 10:25:19 -04:00
main.rkt	close-call -> missed-optimization	2011-06-17 18:18:00 -04:00
nightly-run.rkt	Fix nightly running of TR tests.	2011-01-27 16:49:45 -05:00
run.rkt	close-call -> missed-optimization	2011-06-17 18:18:00 -04:00