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

Age	Commit message (Collapse)	Author	Lines
2012-07-14	remove typestate from code, tests, and docs	Niko Matsakis	-14/+0

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-05-30	integrate purity into type	Niko Matsakis	-1/+1

2012-05-23	shuffle error messages in borrowck, and prevent it from spewing too many	Niko Matsakis	-1/+1
	also, fix a few minor issues it complains about
2012-05-23	modify borrowck to allow arbitrary borrows in pure scopes	Niko Matsakis	-2/+4

2011-09-12	Pretty-print for new arg-mode syntax	Marijn Haverbeke	-1/+1

2011-08-25	Change "pred" to "pure fn" in all libraries and test cases	Tim Chevalier	-1/+1

2011-08-20	Reformat	Brian Anderson	-1/+1
	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	-8/+5

2011-07-13	Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.	Graydon Hoare	-2/+2

2011-06-21	Serialize constraints in types (literal arguments still not supported)	Tim Chevalier	-1/+1
	This involved, in part, changing the ast::def type so that a def_fn has a "purity" field. This lets the typechecker determine whether functions defined in other crates are pure. It also required updating some error messages in tests. As a test for cross-crate constrained functions, I added a safe_slice function to std::str (slice(), with one of the asserts replaced with a function precondition) and some test cases (various versions of fn-constraint.rs) that call it. Also, I changed "fn" to "pred" for some of the boolean functions in std::uint.
2011-05-20	Un-XFAIL some tests that now pass.	Tim Chevalier	-1/+0

2011-05-14	Remove xfail-boot lines from tests	Brian Anderson	-1/+0

2011-05-05	Test cases for pred / check stuff	Tim Chevalier	-0/+17

2011-04-19	Remove effect system from src.	Graydon Hoare	-21/+0

2011-03-25	Switch xfail system to use comments embedded in source files.	Graydon Hoare	-0/+1

2010-11-02	First pass on splitting stratum and opacity off of effects. WIP.	Graydon Hoare	-1/+1

2010-07-16	Ensure that functions that should return a value do; issue 41	Patrick Walton	-0/+1

2010-06-23	Populate tree.	Graydon Hoare	-0/+19