| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Un-revert "Use different syntax for checks that matter to typestate", fixing ... | Patrick Walton | 2011-05-02 | 1 | -5/+5 |
| * | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | 2011-05-02 | 1 | -5/+5 |
| * | Use different syntax for checks that matter to typestate | Tim Chevalier | 2011-05-02 | 1 | -5/+5 |
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -2/+2 |
| * | Split out stratum-checking pass, implement more-strict (overly aggressive) im... | Graydon Hoare | 2010-11-02 | 1 | -2/+2 |
| * | Make mutability no longer a type constructor | Patrick Walton | 2010-07-15 | 1 | -1/+1 |
| * | No more "transplant" behavior in "let @x = y", gotta box explicitly. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+18 |