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

Age	Commit message (Collapse)	Author	Lines
2012-05-29	Handle poststates of breaking loops correctly in typestate	Tim Chevalier	-1/+0
	The poststate should be one where all predicates are assumed false, rather than the unchanged prestate. Closes #2374
2012-05-10	Remove `do ... while` loops from the tests and docs.	Paul Stansifer	-0/+17