rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2011-08-20	Reformat	Brian Anderson	-6/+3
	This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-16	Make let bindings' scope start at their definition	Marijn Haverbeke	-3/+1
	Also, allow let bindings in a block to shadow each other.
2011-08-05	Initialize all constraints to False	Tim Chevalier	-0/+17
	Previously, typestate was initializing the init constraint for a declared-but-not-initialized variable (like x in "let x;") to False, but other constraints to Don't-know. This led to over-lenient results when a variable was used before declaration (see the included test case). Now, everything gets initialized to False in the prestate/poststate- finding phase, and Don't-know should only be used in pre/postconditions. This aspect of the algorithm really needs formalization (just on paper), but for now, this closes #700