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

Age	Commit message (Expand)	Author	Lines
2011-07-05	Move everything syntax-related to syntax/, break deps on rest of compiler	Marijn Haverbeke	-1/+2
2011-06-27	Tests for while loops that may invalidate constraints	Tim Chevalier	-16/+20
2011-06-24	Invalidate constraints correctly after an assignment expression	Tim Chevalier	-0/+35
2011-06-24	Remove uses of variable name 'res' from rustc	Marijn Haverbeke	-7/+7
2011-06-22	Compute typestate properly for move	Tim Chevalier	-42/+66
2011-06-20	Get rid of def_ids and anns in AST nodes, use single node_id	Marijn Haverbeke	-14/+16
2011-06-17	Restructure the "checking" pass in typestate	Tim Chevalier	-0/+45
2011-06-15	Reformat source tree (minus a couple tests that are still grumpy).	Graydon Hoare	-74/+56
2011-06-13	Refactor some typestate-related data structures	Tim Chevalier	-22/+21
2011-06-10	Reject programs with unsatisfied predicate constraints	Tim Chevalier	-2/+2
2011-06-10	Fix unsafe uses of mutable references	Marijn Haverbeke	-1/+1
2011-06-09	Start to check expr_check and expr_call constraints in typestate	Tim Chevalier	-1/+0
2011-06-01	Redo typestate-related data structures to support predicate constraints. No a...	Tim Chevalier	-28/+61
2011-05-26	Track spans for each local variable in typestate	Tim Chevalier	-11/+11
2011-05-20	Correctly check that ! functions always diverge	Tim Chevalier	-0/+8
2011-05-19	Rewrite tstate.annotate to use walk instead of fold	Tim Chevalier	-4/+6
2011-05-17	Finally rename std::_xxx to std::xxx	Marijn Haverbeke	-5/+5
2011-05-16	Started adding support for return checking and non-returning function annotat...	Tim Chevalier	-0/+137