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

Age	Commit message (Collapse)	Author	Lines
2013-05-27	Change `alt` to `match` in filenames.	Lindsey Kuper	-21/+0

2013-05-10	more back-ticks, less colons	Lenny222	-1/+1

2013-03-11	Remove uses of log	Brian Anderson	-1/+1

2013-02-26	Adjust error messages for compile-fail tests.	Luqman Aden	-1/+1

2013-02-13	Remove die!, raplace invocations with fail! Issue #4524 pt 3	Nick Desaulniers	-1/+1

2013-01-31	Replace most invocations of fail keyword with die! macro	Nick Desaulniers	-1/+1

2012-12-10	Reliciense makefiles and testsuite. Yup.	Graydon Hoare	-0/+10

2012-08-06	Convert alt to match. Stop parsing alt	Brian Anderson	-1/+1

2012-08-05	Switch alts to use arrows	Brian Anderson	-1/+1

2012-06-30	change the test suite `//! kind` syntax to `//~ kind` in order to avoid a	Gareth Daniel Smith	-1/+1
	conflict with the new single-line-sugared-inner-doc-comment (`//! ...`).
2012-01-04	extend tester so that error msgs can be attached to lines	Niko Matsakis	-2/+1

2011-12-22	Register new snapshots, purge log_err and log_full in favour of log(...).	Graydon Hoare	-1/+1

2011-12-22	Register snapshots and switch logging over to use of log_full or #error / ↵	Graydon Hoare	-1/+1
	#debug.
2011-08-20	Reformat	Brian Anderson	-6/+3
	This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-16	Make let bindings' scope start at their definition	Marijn Haverbeke	-3/+1
	Also, allow let bindings in a block to shadow each other.
2011-08-05	Initialize all constraints to False	Tim Chevalier	-0/+17
	Previously, typestate was initializing the init constraint for a declared-but-not-initialized variable (like x in "let x;") to False, but other constraints to Don't-know. This led to over-lenient results when a variable was used before declaration (see the included test case). Now, everything gets initialized to False in the prestate/poststate- finding phase, and Don't-know should only be used in pre/postconditions. This aspect of the algorithm really needs formalization (just on paper), but for now, this closes #700