| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | rustc: Write nil types into the node type table wherever plain_ann() is usedHEADmaster | Patrick Walton | 2011-05-13 | 1 | -5/+0 |
| * | Downcase std modules again, move to :: for module dereferencing | Marijn Haverbeke | 2011-05-12 | 2 | -114/+114 |
| * | Ensure ann tags are actually kept around during typechecking | Marijn Haverbeke | 2011-05-12 | 1 | -3/+3 |
| * | rustc: Number everything with an annotation | Patrick Walton | 2011-05-10 | 1 | -1/+1 |
| * | Alias-ify fold and its users, remove another 85kb. | Graydon Hoare | 2011-05-09 | 1 | -3/+3 |
| * | Rename std modules to be camelcased | Marijn Haverbeke | 2011-05-06 | 2 | -55/+55 |
| * | Consolidating expr_to_str functions. | Lindsey Kuper | 2011-05-05 | 1 | -4/+4 |
| * | Un-revert "Use different syntax for checks that matter to typestate", fixing ... | Patrick Walton | 2011-05-02 | 1 | -2/+2 |
| * | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | 2011-05-02 | 1 | -2/+2 |
| * | Use different syntax for checks that matter to typestate | Tim Chevalier | 2011-05-02 | 1 | -2/+2 |
| * | Fixed bug in typeck that wasn't filling in anns for stmts | Tim Chevalier | 2011-04-28 | 1 | -0/+20 |
| * | Support all expression forms in typestate | Tim Chevalier | 2011-04-28 | 1 | -0/+32 |
| * | Further work on typestate_check | Tim Chevalier | 2011-04-28 | 2 | -12/+83 |
| * | rustc: Pass a "type context" around instead of directly passing the type stor... | Patrick Walton | 2011-04-25 | 1 | -2/+2 |
| * | rustc: Switch @ty.t to ty.t so that we can change it to a uint | Patrick Walton | 2011-04-22 | 1 | -1/+1 |
| * | rustc: Pass a type store around, which does nothing yet | Patrick Walton | 2011-04-21 | 1 | -2/+2 |
| * | rustc: Remove all uses of plain_ty() and friends from outside of ty.rs | Patrick Walton | 2011-04-20 | 1 | -1/+1 |
| * | Handle nested items correctly in typestate_check | Tim Chevalier | 2011-04-19 | 2 | -0/+45 |
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -10/+10 |
| * | Make expr_while work in typestate_check | Tim Chevalier | 2011-04-13 | 1 | -2/+2 |
| * | typestate_check can now handle expr_block, expr_if, and expr_binary | Tim Chevalier | 2011-04-12 | 1 | -0/+4 |
| * | Further work on typestate. Handles expr_rec and expr_assign now. | Tim Chevalier | 2011-04-12 | 2 | -12/+73 |
| * | rustc: Add a uint hash function | Patrick Walton | 2011-04-11 | 1 | -0/+8 |
| * | Move to single-uint file-position representation. | Marijn Haverbeke | 2011-04-09 | 1 | -2/+1 |
| * | Implemented computing prestates and poststates for a few expression forms. | Tim Chevalier | 2011-04-08 | 2 | -1/+25 |
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -4/+47 |
| * | More work on typestate. Sketched out code for computing and checking prestate... | Tim Chevalier | 2011-04-06 | 1 | -5/+24 |
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -0/+61 |
| * | rustc: Mix the bits more when hashing def ids | Patrick Walton | 2011-03-31 | 1 | -9/+8 |
| * | Another go at changing compile-command, this time using RBUILD env var. | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | Revert "Bulk-edit compile commands in emacs chatter to point to assumed build... | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of... | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | rustc: Create a crate metadata cache | Patrick Walton | 2011-03-25 | 1 | -0/+8 |
| * | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tw... | Graydon Hoare | 2011-03-16 | 1 | -9/+0 |
| * | rustc: Expose common.def_eq(). | Patrick Walton | 2011-03-08 | 1 | -5/+5 |
| * | Add a type for crate directives, to support intermixing with exprs in crate f... | Graydon Hoare | 2011-02-23 | 1 | -1/+3 |
| * | Make append take a mutable &. Not even checked at present, tsk tsk. | Graydon Hoare | 2010-10-22 | 1 | -1/+1 |
| * | line length police; moved comp.util.bits to std.bitv | Dave Herman | 2010-10-21 | 1 | -463/+0 |
| * | tests and bugfixes: fns take aliases, fixed binary arithmetic in create, elim... | Dave Herman | 2010-10-21 | 1 | -29/+318 |
| * | simpler computation of uint_bits(), plus whitespace police | Dave Herman | 2010-10-20 | 1 | -13/+2 |
| * | created a first draft of the bit-set library needed for typestate | Dave Herman | 2010-10-20 | 1 | -0/+185 |
| * | Teach trans to allocate, initialize and load from local variables. | Graydon Hoare | 2010-10-19 | 1 | -0/+19 |
| * | Store items and decls in vecs to preserve input order, index externally. Impl... | Graydon Hoare | 2010-10-18 | 1 | -0/+9 |
| * | Encode and decode tag types in dwarf properly. Add list module to std. Shift ... | Graydon Hoare | 2010-10-15 | 1 | -8/+0 |
| * | Add input coordinate tracking to all major rustc ast nodes. | Graydon Hoare | 2010-10-05 | 1 | -0/+1 |
| * | Teach rustc about phi nodes, block relationships. Translate if- and block-exp... | Graydon Hoare | 2010-10-04 | 1 | -0/+8 |
| * | Declare the global and upcall glues as ValueRefs in rustc's trans. | Graydon Hoare | 2010-09-23 | 1 | -0/+5 |
| * | Begin teaching rustc to parse literals, atoms, stmts, blocks, items, modules,... | Graydon Hoare | 2010-09-21 | 1 | -0/+6 |
| * | Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate... | Graydon Hoare | 2010-09-20 | 1 | -24/+24 |
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo... | Graydon Hoare | 2010-09-09 | 1 | -3/+14 |