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

Age	Commit message (Collapse)	Author	Lines
2012-06-08	remove alias analysis and replace with borrowck	Niko Matsakis	-10/+0
	This reverts commit 7ef825bb607c4e934c92bd0b73ecbc4c24f3286b.
2012-06-07	Revert "remove alias analysis and replace with borrowck"	Brian Anderson	-0/+10
	18s perf regression compiling rustc with opts This reverts commit 7f6ee0ce0df8af4c21b065cb49b95079ae643f77.
2012-06-07	remove alias analysis and replace with borrowck	Niko Matsakis	-10/+0
	cc #2540
2012-03-26	Bulk-edit mutable -> mut.	Graydon Hoare	-3/+3

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-10-20	Make fn denote a bare function. Convert fn to fn@ as needed	Brian Anderson	-1/+1

2011-09-12	Reformat for new mode syntax, step 1	Marijn Haverbeke	-4/+2
	Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit.
2011-09-12	Fix tests for new argument-passing convention	Marijn Haverbeke	-3/+8

2011-08-20	Reformat	Brian Anderson	-2/+2
	This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-07-27	Reformat for new syntax	Marijn Haverbeke	-10/+3

2011-06-09	A revised, improved alias-checker	Marijn Haverbeke	-3/+7
	The old system tried to ensure that the location an alias pointed at would retain its type. That turned out to not be strong enough in the face of aliases to the inside of tags. The new system instead proves that values pointed to by aliases are not replaced (or invalidated in some other way) at all. It knows of two sufficient conditions for this, and tries to prove at least of them: A) The alias is 'immutably rooted' in a local, and this local is not reassigned for the lifetime of the alias. Immutably rooted means the alias refers to the local itself, or to something reachable from the local through immutable dereferencing. B) No value whose type might include the type of the 'inner mutable element' of the thing the alias refers to (for example, the box in rec(mutable x = @mutable int)) is from the outer scope is accessed for the lifetime of the alias. This means for functions, no other argument types may include the alias's inner mutable type. For alt, for each, and for, it means the body does not refer to any locals originating from outside their scope that include this type. The lifetime of an alias in an alt, for each, or for body is defined as the range from its definition to its last use, not to the point where it goes out of scope. This makes working around these restrictions somewhat less annoying. For example, you can assign to your alt-ed value you don't refer to any bindings afterwards.
2011-06-06	First take on an alias-safety checker	Marijn Haverbeke	-0/+10
	The alias checker works by ensuring that any value to which an alias is created is rooted in some way that ensures it outlives the alias. It is now disallowed to create an alias to the content of a mutable box, or to a box hanging off a mutable field. There is also machinery in place to prevent assignment to local variables whenever they are the root of a live alias.