rust - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Downcase std modules again, move to :: for module dereferencing	Marijn Haverbeke	2011-05-12	1	-31/+31
*	Rename std modules to be camelcased	Marijn Haverbeke	2011-05-06	1	-30/+30
*	Un-revert "Use different syntax for checks that matter to typestate", fixing ...	Patrick Walton	2011-05-02	1	-2/+2
*	Revert "Use different syntax for checks that matter to typestate"	Graydon Hoare	2011-05-02	1	-2/+2
*	Use different syntax for checks that matter to typestate	Tim Chevalier	2011-05-02	1	-2/+2
*	Further work on typestate_check	Tim Chevalier	2011-04-28	1	-3/+18
*	Handle nested items correctly in typestate_check	Tim Chevalier	2011-04-19	1	-0/+16
*	Remove effect system from src.	Graydon Hoare	2011-04-19	1	-10/+10
*	typestate_check can now handle expr_block, expr_if, and expr_binary	Tim Chevalier	2011-04-12	1	-0/+4
*	Further work on typestate. Handles expr_rec and expr_assign now.	Tim Chevalier	2011-04-12	1	-12/+30
*	Implemented computing prestates and poststates for a few expression forms.	Tim Chevalier	2011-04-08	1	-1/+13
*	Continued sketching out code for checking states against preconditions.	Tim Chevalier	2011-04-06	1	-4/+47
*	More work on typestate. Sketched out code for computing and checking prestate...	Tim Chevalier	2011-04-06	1	-5/+24
*	Started adding support for typestate checking.	Tim Chevalier	2011-04-01	1	-0/+61