aboutsummaryrefslogtreecommitdiff
path: root/src/test/run-fail
Commit message (Collapse)AuthorAgeFilesLines
* Switch xfail system to use comments embedded in source files.Graydon Hoare2011-03-259-0/+10
|
* Add test for non-exhaustive match failure.Graydon Hoare2010-12-021-0/+15
|
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-021-1/+1
|
* Small updates to test cases.Michael Bebenita2010-09-071-0/+3
|
* Implemented an lock free queue based on this paper ↵Michael Bebenita2010-08-241-0/+26
| | | | http://www.cs.rochester.edu/~scott/papers/1996_PODC_queues.pdf, the "lock free queue" we had before wasn't lock free at all.
* Move the test suite to the "as" form for casts. XFAIL a few tests for LLVM.Patrick Walton2010-07-261-2/+2
|
* Populate tree.Graydon Hoare2010-06-237-0/+79