| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Assume xfail-stage0 implies stage1 and stage2 in tests, for now. | Graydon Hoare | 2011-05-03 | 1 | -0/+2 |
| | | |||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -2/+2 |
| | | |||||
| * | Switch xfail system to use comments embedded in source files. | Graydon Hoare | 2011-03-25 | 1 | -0/+1 |
| | | |||||
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -2/+2 |
| | | |||||
| * | Un-xfailed working tests. | Michael Bebenita | 2010-08-16 | 1 | -0/+5 |
| | | |||||
| * | Implement the "simple typechecker", which avoids HM inference | Patrick Walton | 2010-07-15 | 1 | -1/+1 |
| | | |||||
| * | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵ | Graydon Hoare | 2010-06-30 | 1 | -2/+2 |
| | | | | | keep MEM_interior for describing interior-parts-of-allocations) | ||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+30 |