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	-1/+5
	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-06	More work on typestate. Sketched out code for computing and checking ↵	Tim Chevalier	-0/+2
	prestates and poststates. Still a long ways away.
2011-04-01	Re-enable typestate_check in build, was lost during merge. Sorry.	Graydon Hoare	-0/+1

2011-04-01	rustc: Get tag variants from the crate metadata	Patrick Walton	-0/+1

2011-04-01	Started adding support for typestate checking.	Tim Chevalier	-0/+3
	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: Write out an index of definition info in crate metadata	Patrick Walton	-0/+2

2011-03-31	Tweak build command on rustc.	Graydon Hoare	-1/+1

2011-03-29	Teach trans to emit undefined references to 'use'd symbols. Can compile and ↵	Graydon Hoare	-0/+1
	run a simple 'use std;' example now.
2011-03-28	Move all allocas to dedicated basic block at top of function, to keep frames ↵	Graydon Hoare	-0/+2
	finite. Un-comment next size in nbody.rs.
2011-03-28	rustc: Parse types in external metadata	Patrick Walton	-0/+2

2011-03-25	rustc: Look up names in "use"d crates	Patrick Walton	-0/+1

2011-03-24	rustc: Open "use"d crates; add a _vec.vec_from_buf() method along the way; ↵	Patrick Walton	-0/+1
	XFAIL use-import-export.rs in rustc
2011-03-23	rustc: Switch over to using rustllvm.dll exclusively, ending the ↵	Patrick Walton	-12/+6
	"Franken-LLVM" problem
2011-03-16	Revert 6fdb81fa17b3c7147a69edc5217c9f93ff485410, it is causing failures in	Rafael Ávila de Espíndola	-1/+0
	the bots.
2011-03-15	rustc: Open "use"d crates with the LLVM object file reader	Patrick Walton	-0/+1

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

2011-03-15	Append 'svn' to version in dll name, hopefully to bring win32 up again.	Graydon Hoare	-1/+1

2011-03-15	rustc: Add Rust bindings to the LLVM object file library	Patrick Walton	-3/+9

2011-03-14	Bump LLVM version strings to 3.0svn, we're effectively tied to it now anyways.	Graydon Hoare	-3/+3

2011-03-11	rustc: Add some stub metadata to each crate	Patrick Walton	-0/+2

2011-03-09	Have the pretty-printer take a writer stream as argument	Marijn Haverbeke	-0/+1
	It now uses a string writer to also fill in for middle.ty.ast_ty_to_str
2011-03-07	Remove old pretty-printer from rustc	Brian Anderson	-1/+0

2011-03-07	Add a pretty-printer	Marijn Haverbeke	-0/+5
	Adds a -pp option to the compiler which will cause it to simply pretty-print the given file.
2011-03-02	Begin an AST pretty-printer	Brian Anderson	-0/+1

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

2011-02-24	Factor crate expr evaluator out of parser, expand to simple scalars and ops, ↵	Graydon Hoare	-1/+1
	if, alt.
2011-01-21	Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵	Graydon Hoare	-0/+2
	in trans.rs
2010-12-21	rustc: Move type logic out of typeck so trans doesn't look like it's calling ↵	Patrick Walton	-0/+1
	into typeck
2010-11-19	rustc: First stab at a typechecker	Patrick Walton	-0/+1

2010-11-05	Switch rustc to llvm 2.8 rather than 2.8svn on windows.	Graydon Hoare	-1/+1

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

2010-10-21	line length police; moved comp.util.bits to std.bitv	Dave Herman	-1/+0

2010-10-20	created a first draft of the bit-set library needed for typestate	Dave Herman	-0/+1

2010-10-06	Add the beginnings of an ast folder plus an empty module for resolve.	Graydon Hoare	-0/+2

2010-09-24	More work on trans, almost getting to the point of emitting an upcall.	Graydon Hoare	-0/+1

2010-09-23	Translate a bunch of the material (lltrans, llasm, abi) from rustboot to ↵	Graydon Hoare	-3/+8
	rustc, and move files around.
2010-09-22	Move llvm-using code in rustc to trans module.	Graydon Hoare	-1/+6

2010-09-01	Add session, span tracking, error reporting, beginning of a function to ↵	Graydon Hoare	-0/+1
	parse an item to rustc.
2010-08-18	Simplify lexer/parser structure to use stdio_reader.	Graydon Hoare	-1/+2

2010-08-18	Add mod token to rustc.	Graydon Hoare	-0/+1

2010-08-18	Add mod common to rustc.	Graydon Hoare	-0/+4

2010-08-18	Change indent on rustc.rc.	Graydon Hoare	-16/+17

2010-08-18	Fix symbol names on LLVM C library binding and library-name for LLVM.	Graydon Hoare	-3/+5

2010-08-16	Absent any deep overhauls to syntax or constant-handling, hack in the ↵	Graydon Hoare	-1/+17
	ability to project a cexp var binding to a token in the parser. Use it in comp/rustc.rc and comp/lib/llvm.rs.
2010-08-12	Add mostly-empty AST module to rustc.	Graydon Hoare	-0/+1

2010-07-12	Start bringing in LLVM bindings.	Graydon Hoare	-0/+4

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