| 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 |
| | | |||||
| * | Un-revert "Use different syntax for checks that matter to typestate", fixing ↵ | Patrick Walton | 2011-05-02 | 1 | -1/+1 |
| | | | | | | | the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118. | ||||
| * | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | 2011-05-02 | 1 | -1/+1 |
| | | | | | This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet. | ||||
| * | Use different syntax for checks that matter to typestate | Tim Chevalier | 2011-05-02 | 1 | -1/+1 |
| | | | | | | | | | | | This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc. | ||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -3/+3 |
| | | |||||
| * | 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 | -3/+3 |
| | | |||||
| * | Updated/added test cases. | Michael Bebenita | 2010-08-09 | 1 | -1/+1 |
| | | |||||
| * | Added a message passing system based on lock free queues for inter-thread ↵ | Michael Bebenita | 2010-07-19 | 1 | -0/+19 |
| communication. Channels now buffer on the sending side, and no longer require blocking when sending. Lots of other refactoring and bug fixes. | |||||