| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -1/+1 |
| | | |||||
| * | Split out stratum-checking pass, implement more-strict (overly aggressive) ↵ | Graydon Hoare | 2010-11-02 | 1 | -1/+1 |
| | | | | | impure-effect checking. | ||||
| * | Two more testcases for overwriting already-live box-like fields in ↵ | Graydon Hoare | 2010-07-23 | 1 | -0/+4 |
| structures, without leaking. | |||||