| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Further work on typestate. Handles expr_rec and expr_assign now. | Tim Chevalier | 2011-04-12 | 1 | -3/+12 |
| * | Implemented computing prestates and poststates for a few expression forms. | Tim Chevalier | 2011-04-08 | 1 | -0/+15 |
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -0/+22 |
| * | Add "mutable?" to _vec in the standard library; fix callers | Patrick Walton | 2011-03-18 | 1 | -1/+1 |
| * | Remove redundant imports in lib (rustc doesn't like 'std' as a synonym for ro... | Graydon Hoare | 2011-03-09 | 1 | -4/+0 |
| * | Add a check for binding an alias. Good thing, as we had two instances in our ... | Graydon Hoare | 2010-11-08 | 1 | -1/+1 |
| * | Split out stratum-checking pass, implement more-strict (overly aggressive) im... | Graydon Hoare | 2010-11-02 | 1 | -9/+9 |
| * | eliminated bitv.test, which now lives in test/run-pass | Dave Herman | 2010-10-21 | 1 | -283/+0 |
| * | line length police; moved comp.util.bits to std.bitv | Dave Herman | 2010-10-21 | 1 | -0/+463 |