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

Age	Commit message (Expand)	Author	Lines
2011-05-20	Make controlflow part of a function type	Tim Chevalier	-12/+8
2011-05-19	Move type cache and node type table into type context.	Graydon Hoare	-7/+5
2011-05-19	Typestate checking code no longer uses fold -- only walk.	Tim Chevalier	-40/+9
2011-05-19	Eliminate explicit recursion in tstate.states (walk does that now),	Tim Chevalier	-58/+3
2011-05-19	Add ann as an argument to visit_fn	Tim Chevalier	-16/+16
2011-05-19	tidy tstate.collect_locals	Tim Chevalier	-28/+3
2011-05-19	Rewrite pre_postconditions to use walk instead of fold	Tim Chevalier	-15/+7
2011-05-19	Add ident as an argument to visit_fn (typestate wants it)	Tim Chevalier	-18/+14
2011-05-19	Trim imports	Tim Chevalier	-7/+0
2011-05-19	Rewrite tstate.annotate to use walk instead of fold	Tim Chevalier	-883/+620
2011-05-19	Beginning of Operation Eliminate Folds	Tim Chevalier	-37/+42
2011-05-18	Start checking name collisions in modules	Marijn Haverbeke	-26/+0
2011-05-17	rustc: Make return value checking warnings a little prettier. Also introduce ...	Patrick Walton	-3/+5
2011-05-17	rustc: Flatten annotations	Patrick Walton	-77/+19
2011-05-17	Finally rename std::_xxx to std::xxx	Marijn Haverbeke	-57/+57
2011-05-16	Rename aux.rs to auxiliary.rs since win32 doesn't like files named "aux". Rea...	Graydon Hoare	-0/+0
2011-05-16	Merge remote branch 'origin/master' into HEAD	Graydon Hoare	-0/+3169
2011-05-16	Started adding support for return checking and non-returning function annotat...	Tim Chevalier	-0/+3169