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

Age	Commit message (Collapse)	Author	Lines
2011-12-13	Copy first batch of material from libstd to libcore.	Graydon Hoare	-1/+1

2011-08-16	Port the tests to the expr foo::<T> syntax.	Erick Tryzelaar	-5/+5

2011-07-27	Reformat for new syntax	Marijn Haverbeke	-10/+7

2011-06-15	Reformat source tree (minus a couple tests that are still grumpy).	Graydon Hoare	-23/+14

2011-05-27	In pre/postcondition computation, failing calls should set the postcondition	Tim Chevalier	-0/+30
	A non-returning call should have a postcondition in which all predicates are true -- not just a poststate. Otherwise, alt expressions where one or more branches terminate in a non-returning call and others initialize a variable get rejected. Includes a test case.