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

Age	Commit message (Collapse)	Author	Lines
2011-04-19	Remove effect system from src.	Graydon Hoare	-317/+0

2011-04-08	Disable effect checking in rustboot	Marijn Haverbeke	-3/+5

2011-03-25	Another go at changing compile-command, this time using RBUILD env var.	Graydon Hoare	-1/+1

2011-03-25	Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵	Graydon Hoare	-1/+1
	build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
2011-03-25	Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵	Graydon Hoare	-1/+1
	off src root.
2011-01-21	Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵	Graydon Hoare	-34/+55
	in trans.rs
2010-11-03	rustboot: Say exactly which name was unbound when reporting unbound name errors	Patrick Walton	-2/+2

2010-11-02	Split out stratum-checking pass, implement more-strict (overly aggressive) ↵	Graydon Hoare	-93/+34
	impure-effect checking.
2010-11-02	First pass on splitting stratum and opacity off of effects. WIP.	Graydon Hoare	-7/+7

2010-10-08	Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)	Graydon Hoare	-4/+3

2010-09-09	Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵	Graydon Hoare	-1/+1
	work, possibly a little bumpy. Changes a lot.
2010-08-09	Add names to tasks and domains. These can either be an explicit literal string	Jeffrey Yasskin	-1/+1
	after the "spawn" keyword, or implicitly the call expression used to start the spawn.
2010-07-27	Distill semantics of use-def maps to fewer and more-obvious words.	Graydon Hoare	-2/+2
	- Remove redundant uses of 'resolve' and 'referent' in semant. - Use defn, defn_id, lval, lval_base more consistently. - Make associated query functions more consistent. - Closes #127.
2010-07-23	Improve mutability checking. Closes #118.	Graydon Hoare	-1/+1

2010-07-23	Widen write mutability check to cover all writing stmts.	Graydon Hoare	-10/+22

2010-07-23	Include all lval-writing statements in stmt_is_init calculation, not just ↵	Graydon Hoare	-1/+1
	"copy-like". Un-XFAIL generic-tag-alt.rs
2010-07-14	Minimize pointless logging during walk.	Graydon Hoare	-1/+2

2010-07-08	Add detection for cyclic imports.	Graydon Hoare	-1/+1

2010-06-30	Use simplified_ty in effect.	Graydon Hoare	-1/+1

2010-06-30	Add logging to type and effect.	Graydon Hoare	-0/+5

2010-06-29	Initial stab at lowering mutable and exterior into the type system.	Graydon Hoare	-11/+16

2010-06-28	Some fixme-to-issue housekeeping.	Graydon Hoare	-1/+3

2010-06-25	Add test of recursive object types (ha, work by default) and fix ↵	Graydon Hoare	-0/+16
	effect-walker bug revealed by it.
2010-06-23	Populate tree.	Graydon Hoare	-0/+313