6 Commits

Author	SHA1	Message	Date
Tim Chevalier	aa25f22f19	Use different syntax for checks that matter to typestate ... 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.	2011-05-02 12:16:29 -07:00
Graydon Hoare	d2bd07dcb0	Remove effect system from src.	2011-04-19 13:35:49 -07:00
Graydon Hoare	49d9d5688e	Switch xfail system to use comments embedded in source files.	2011-03-25 12:19:20 -07:00
Graydon Hoare	da13c508d8	First pass on splitting stratum and opacity off of effects. WIP.	2010-11-02 11:11:58 -07:00
Michael Bebenita	d647c163fd	Updated/added test cases.	2010-08-09 06:53:37 -07:00
Michael Bebenita	00d1465d13	Added a message passing system based on lock free queues for inter-thread communication. Channels now buffer on the sending side, and no longer require blocking when sending. Lots of other refactoring and bug fixes.	2010-07-19 14:05:18 -07:00