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	-3/+3
	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-04-05	Further on the path toward self-awareness.	Lindsey Kuper	-1/+1
	Mostly: * Merciless refactoring of trans.rs so that trans_call can work for self-calls as well as other kinds of calls Also: * Various changes to go with having idents, rather than exprs, in expr_call_self AST nodes * Added missing case for SELF token to token.to_str()
2011-04-04	Make box prefix operator and box type carry mutability flag.	Graydon Hoare	-2/+5

2011-04-01	Started adding support for typestate checking.	Tim Chevalier	-9/+12
	I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet.
2011-03-31	rustc: Add a type annotation to tag items	Patrick Walton	-3/+3

2011-03-31	Improve line comment positioning	Marijn Haverbeke	-3/+4
	This involved making ast.variant spanned.
2011-03-31	Add effect field to ast.ty_fn.	Marijn Haverbeke	-3/+2
	Still not used, except by the pretty-printer.
2011-03-30	rustc: Thread an item-to-type mapping throughout the typechecking and ↵	Patrick Walton	-1/+3
	translation phases
2011-03-29	Beginnings of support for magical self prefix; nothing profound happening yet.	Lindsey Kuper	-0/+1

2011-03-29	Teach trans to emit undefined references to 'use'd symbols. Can compile and ↵	Graydon Hoare	-0/+22
	run a simple 'use std;' example now.
2011-03-28	Add expr_spawn, spawn parsing, folding, typechecking, ty_task	Brian Anderson	-0/+6

2011-03-28	rustc: Add support for calling LLVM intrinsics as native functions	Patrick Walton	-0/+1

2011-03-27	Add support for break and cont to rustc	Marijn Haverbeke	-0/+2
	Testing proper cleanup is hampered by https://github.com/graydon/rust/issues/293
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-03-25	rustc: Store cached crate metadata in the session	Patrick Walton	-4/+1

2011-03-25	Refactor ast.local to make room for initialization via recv	Brian Anderson	-1/+9

2011-03-24	rustc: Open "use"d crates; add a _vec.vec_from_buf() method along the way; ↵	Patrick Walton	-2/+1
	XFAIL use-import-export.rs in rustc
2011-03-22	Further support for floating-point. Literals with exponents work	Tim Chevalier	-0/+1
	and literals with the 'f32' or 'f64' suffixes work as well. In addition, logging things with the f32 or f64 type works. (float is still assumed to be a synonym for f64).
2011-03-21	Started adding support for floating-point type, floating-point literals, and ↵	Tim Chevalier	-0/+2
	logging of floats. Other operations on float probably don't work yet.
2011-03-20	Modify native_item_fn to handle trailing linkage names that differ from the ↵	Graydon Hoare	-2/+3
	item name (used in win32 build of std.dll)
2011-03-18	rustc: Implement "mutable?". Add a test case and XFAIL it in rustboot for now.	Patrick Walton	-0/+1

2011-03-17	rustc: Switch mutability from being a type constructor to a field annotation	Patrick Walton	-8/+6

2011-03-15	rustc: Add an annotation for the crate definition to view_item_use	Patrick Walton	-2/+2

2011-03-15	rustc: Add a stub crate reader module for "use" directives	Patrick Walton	-0/+4

2011-03-14	Merge remote branch 'brson/recursive-elseif'	Graydon Hoare	-1/+1

2011-03-14	Reorganize evaluation of expr_send/recv to put them closer to expr_assign, ↵	Brian Anderson	-2/+2
	to which they are similar
2011-03-14	Add folding and type checking for ports and chans	Brian Anderson	-2/+2

2011-03-14	Parse receive expressions	Brian Anderson	-0/+1

2011-03-14	Parse port and chan types, constructors, send statements	Brian Anderson	-0/+5

2011-03-13	Merge branch 'master' into recursive-elseif	Brian Anderson	-3/+50
	Conflicts: src/comp/middle/typeck.rs
2011-03-11	Preserve crate directives in the parsed crate.	Graydon Hoare	-1/+2

2011-03-11	reindex the block index.	Rafael Ávila de Espíndola	-0/+38

2011-03-11	Add support for indexing tags in blocks.	Rafael Ávila de Espíndola	-1/+7

2011-03-10	Handle resolving to native modules.	Rafael Ávila de Espíndola	-0/+1

2011-03-10	rustc: Build up a list of upvars inside foreach bodies	Patrick Walton	-0/+1

2011-03-08	rustc: Add a slot for explicit type parameter instantations to the ↵	Patrick Walton	-1/+1
	typechecker's AST annotation
2011-03-07	Merge branch 'master' into recursive-elseif	Brian Anderson	-13/+166
	Conflicts: src/Makefile src/comp/front/ast.rs src/comp/front/parser.rs src/comp/middle/fold.rs src/comp/middle/trans.rs
2011-03-07	Parse opacity (and drop on the floor), so std.rc parses now.	Graydon Hoare	-0/+5

2011-03-07	Add a pretty-printer	Marijn Haverbeke	-0/+36
	Adds a -pp option to the compiler which will cause it to simply pretty-print the given file.
2011-03-07	Permit view items in native modules.	Graydon Hoare	-3/+22

2011-03-04	Parse (and generally ignore) constraints and constrained types.	Graydon Hoare	-0/+9

2011-03-04	Parse meta directives in crates.	Graydon Hoare	-1/+1

2011-03-02	Parse, add to AST, and otherwise ignore 'export' view items. Need to add ↵	Graydon Hoare	-0/+6
	support to resolve.
2011-03-02	Remove unused is_ext_expr	Brian Anderson	-11/+0

2011-03-02	Make the expanded expression in expr_ext not optional	Brian Anderson	-1/+1

2011-03-02	Begin implementing #fmt in rustc	Brian Anderson	-1/+12

2011-03-01	Parse (and ignore) dtors on objs.	Graydon Hoare	-1/+2

2011-02-25	There are no native iterators (or at least they are not going to be supported	Rafael Ávila de Espíndola	-1/+1
	soon.).