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

Age	Commit message (Collapse)	Author	Lines
2011-04-06	Continued sketching out code for checking states against preconditions.	Tim Chevalier	-0/+22
	It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway.
2011-03-18	Add "mutable?" to _vec in the standard library; fix callers	Patrick Walton	-1/+1

2011-03-09	Remove redundant imports in lib (rustc doesn't like 'std' as a synonym for ↵	Graydon Hoare	-4/+0
	root within std.rc anyway)
2010-11-08	Add a check for binding an alias. Good thing, as we had two instances in our ↵	Graydon Hoare	-1/+1
	library.
2010-11-02	Split out stratum-checking pass, implement more-strict (overly aggressive) ↵	Graydon Hoare	-9/+9
	impure-effect checking.
2010-10-21	eliminated bitv.test, which now lives in test/run-pass	Dave Herman	-283/+0

2010-10-21	line length police; moved comp.util.bits to std.bitv	Dave Herman	-0/+463