| Age | Commit message (Expand) | Author | Lines |
|---|
| 2011-05-20 | Make controlflow part of a function type | Tim Chevalier | -0/+5 |
| 2011-05-20 | rustc: Move the interner to a new module intended to be used for general data... | Patrick Walton | -42/+44 |
| 2011-05-19 | remove now-unused ts field from ann | Tim Chevalier | -13/+2 |
| 2011-05-19 | add a bunch more logging things | Tim Chevalier | -0/+35 |
| 2011-05-17 | rustc: Don't rebuild the AST when typechecking expressions | Patrick Walton | -5/+11 |
| 2011-05-17 | rustc: Flatten annotations | Patrick Walton | -11/+0 |
| 2011-05-17 | Finally rename std::_xxx to std::xxx | Marijn Haverbeke | -11/+11 |
| 2011-05-16 | Merge remote branch 'origin/master' into HEAD | Graydon Hoare | -189/+23 |
| 2011-05-16 | Rewrite everything to use [] instead of vec() in value position. | Graydon Hoare | -2/+2 |
| 2011-05-16 | Started adding support for return checking and non-returning function annotat... | Tim Chevalier | -189/+23 |
| 2011-05-16 | rustc: Factor out the code that interns types into an "interner" data structure | Patrick Walton | -0/+42 |
| 2011-05-13 | rustc: Write nil types into the node type table wherever plain_ann() is used | Patrick Walton | -5/+0 |
| 2011-05-12 | Downcase std modules again, move to :: for module dereferencing | Marijn Haverbeke | -114/+114 |
| 2011-05-12 | Ensure ann tags are actually kept around during typechecking | Marijn Haverbeke | -3/+3 |
| 2011-05-10 | rustc: Number everything with an annotation | Patrick Walton | -1/+1 |
| 2011-05-09 | Alias-ify fold and its users, remove another 85kb. | Graydon Hoare | -3/+3 |
| 2011-05-06 | Rename std modules to be camelcased | Marijn Haverbeke | -55/+55 |
| 2011-05-05 | Consolidating expr_to_str functions. | Lindsey Kuper | -4/+4 |
| 2011-05-02 | Un-revert "Use different syntax for checks that matter to typestate", fixing ... | Patrick Walton | -2/+2 |
| 2011-05-02 | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | -2/+2 |
| 2011-05-02 | Use different syntax for checks that matter to typestate | Tim Chevalier | -2/+2 |
| 2011-04-28 | Fixed bug in typeck that wasn't filling in anns for stmts | Tim Chevalier | -0/+20 |
| 2011-04-28 | Support all expression forms in typestate | Tim Chevalier | -0/+32 |
| 2011-04-28 | Further work on typestate_check | Tim Chevalier | -12/+83 |
| 2011-04-25 | rustc: Pass a "type context" around instead of directly passing the type stor... | Patrick Walton | -2/+2 |
| 2011-04-22 | rustc: Switch @ty.t to ty.t so that we can change it to a uint | Patrick Walton | -1/+1 |
| 2011-04-21 | rustc: Pass a type store around, which does nothing yet | Patrick Walton | -2/+2 |
| 2011-04-20 | rustc: Remove all uses of plain_ty() and friends from outside of ty.rs | Patrick Walton | -1/+1 |
| 2011-04-19 | Handle nested items correctly in typestate_check | Tim Chevalier | -0/+45 |
| 2011-04-19 | Remove effect system from src. | Graydon Hoare | -10/+10 |
| 2011-04-13 | Make expr_while work in typestate_check | Tim Chevalier | -2/+2 |
| 2011-04-12 | typestate_check can now handle expr_block, expr_if, and expr_binary | Tim Chevalier | -0/+4 |
| 2011-04-12 | Further work on typestate. Handles expr_rec and expr_assign now. | Tim Chevalier | -12/+73 |
| 2011-04-11 | rustc: Add a uint hash function | Patrick Walton | -0/+8 |
| 2011-04-09 | Move to single-uint file-position representation. | Marijn Haverbeke | -2/+1 |
| 2011-04-08 | Implemented computing prestates and poststates for a few expression forms. | Tim Chevalier | -1/+25 |
| 2011-04-06 | Continued sketching out code for checking states against preconditions. | Tim Chevalier | -4/+47 |
| 2011-04-06 | More work on typestate. Sketched out code for computing and checking prestate... | Tim Chevalier | -5/+24 |
| 2011-04-01 | Started adding support for typestate checking. | Tim Chevalier | -0/+61 |
| 2011-03-31 | rustc: Mix the bits more when hashing def ids | Patrick Walton | -9/+8 |
| 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 build... | Graydon Hoare | -1/+1 |
| 2011-03-25 | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of... | Graydon Hoare | -1/+1 |
| 2011-03-25 | rustc: Create a crate metadata cache | Patrick Walton | -0/+8 |
| 2011-03-16 | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tw... | Graydon Hoare | -9/+0 |
| 2011-03-08 | rustc: Expose common.def_eq(). | Patrick Walton | -5/+5 |
| 2011-02-23 | Add a type for crate directives, to support intermixing with exprs in crate f... | Graydon Hoare | -1/+3 |
| 2010-10-22 | Make append take a mutable &. Not even checked at present, tsk tsk. | Graydon Hoare | -1/+1 |
| 2010-10-21 | line length police; moved comp.util.bits to std.bitv | Dave Herman | -463/+0 |
| 2010-10-21 | tests and bugfixes: fns take aliases, fixed binary arithmetic in create, elim... | Dave Herman | -29/+318 |
