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/+7
	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-17	Add an option.is_none() method	Patrick Walton	-0/+7

2010-11-18	rustboot: Don't use walk to traverse statements in type.ml; fixes redundant ↵	Patrick Walton	-0/+2
	checking, improves diagnostics. Also report untyped slots.
2010-11-05	Move the option type to its own module	Patrick Walton	-0/+40

2010-11-05	Revert "Move the option type to its own module"	Patrick Walton	-40/+0

2010-11-05	Move the option type to its own module	Patrick Walton	-0/+40