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	-0/+222
*	Rename std modules to be camelcased	Marijn Haverbeke	2011-05-06	1	-222/+0
*	Remove 'deprecated mutable...' from our code	Marijn Haverbeke	2011-05-05	1	-6/+6
*	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	-8/+8
*	Further work on typestate. Handles expr_rec and expr_assign now.	Tim Chevalier	2011-04-12	1	-3/+12
*	Implemented computing prestates and poststates for a few expression forms.	Tim Chevalier	2011-04-08	1	-0/+15
*	Continued sketching out code for checking states against preconditions.	Tim Chevalier	2011-04-06	1	-0/+22
*	Add "mutable?" to _vec in the standard library; fix callers	Patrick Walton	2011-03-18	1	-1/+1
*	Remove redundant imports in lib (rustc doesn't like 'std' as a synonym for ro...	Graydon Hoare	2011-03-09	1	-4/+0
*	Add a check for binding an alias. Good thing, as we had two instances in our ...	Graydon Hoare	2010-11-08	1	-1/+1
*	Split out stratum-checking pass, implement more-strict (overly aggressive) im...	Graydon Hoare	2010-11-02	1	-9/+9
*	eliminated bitv.test, which now lives in test/run-pass	Dave Herman	2010-10-21	1	-283/+0
*	line length police; moved comp.util.bits to std.bitv	Dave Herman	2010-10-21	1	-0/+463