| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Merge branch 'exterior_and_mutable_types' of [email protected]:graydon/rust into... | Graydon Hoare | 2010-07-02 | 2 | -31/+9 |
| |\ |
|
| | * | Allow formatting individual decl_params | Patrick Walton | 2010-07-02 | 1 | -5/+9 |
| | * | Gut the box[m][o] family from util. | Roy Frostig | 2010-07-02 | 1 | -26/+0 |
| * | | Parse effect-qualified type definitions. | Graydon Hoare | 2010-07-02 | 6 | -30/+42 |
| |/ |
|
| * | Correct drop-ty path; many tests now run. | Graydon Hoare | 2010-07-02 | 1 | -11/+5 |
| * | Improve drop-path logging and simplify box_rc_cell. | Graydon Hoare | 2010-07-02 | 1 | -5/+14 |
| * | Actually link GC allocations onto the gc_alloc_chain, der. | Graydon Hoare | 2010-07-02 | 1 | -0/+1 |
| * | Improve logging on upcall_malloc. | Graydon Hoare | 2010-07-02 | 1 | -2/+7 |
| * | Handle DW_FORM_blcok4 in runtime dwarf reader, which we started emitting a wh... | Graydon Hoare | 2010-07-02 | 1 | -0/+6 |
| * | Trap missing attr forms during dwarf-scan and shut down dwarf reader, don't c... | Graydon Hoare | 2010-07-02 | 1 | -4/+10 |
| * | Indent/outdent when logging dwarf at runtime. | Graydon Hoare | 2010-07-02 | 1 | -12/+15 |
| * | Wrap long lines. | Graydon Hoare | 2010-07-01 | 1 | -2/+6 |
| * | Box arguments that are supposed to be boxed. | Graydon Hoare | 2010-07-01 | 3 | -3/+3 |
| * | Yeah. Not even a semantic mix-up: just a damn typo. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Teach clone_ty to tolerate cloning a mutable (though not state) type. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Improve mangling. | Graydon Hoare | 2010-07-01 | 1 | -2/+2 |
| * | Teach the associative_binary_op_ty_fold about box, mutable and tys. | Graydon Hoare | 2010-07-01 | 1 | -0/+3 |
| * | Strip outer 'mutable' off slot when deciding if pred can apply. | Graydon Hoare | 2010-07-01 | 1 | -2/+3 |
| * | Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same log... | Graydon Hoare | 2010-07-01 | 1 | -71/+60 |
| * | Reinstate disgusting, filthy workarounds for deriving missing type informatio... | Graydon Hoare | 2010-07-01 | 1 | -14/+19 |
| * | Remove similar over-application of auto-deref from type. | Graydon Hoare | 2010-07-01 | 1 | -7/+7 |
| * | Remove too-optimistic (and not harmless) over application of auto-deref in tr... | Graydon Hoare | 2010-07-01 | 1 | -8/+4 |
| * | Split out and improve trans_init_box. | Graydon Hoare | 2010-07-01 | 1 | -8/+18 |
| * | Add logging to trans_init_slot_from_atom. | Graydon Hoare | 2010-07-01 | 1 | -3/+15 |
| * | Catch ast pretty-printer up with init-tup syntax. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Fox the clauses that actually satisfy box and mutable constraints; in all the... | Graydon Hoare | 2010-07-01 | 1 | -14/+10 |
| * | Of course, the LHS constraint on an init-box statement is mutable @. | Graydon Hoare | 2010-07-01 | 1 | -2/+2 |
| * | Clarify in type logging when we have a constraint vs. a resolved type. | Graydon Hoare | 2010-07-01 | 1 | -4/+10 |
| * | Add compile-check target for just attempting to compile, not run, the tests. | Graydon Hoare | 2010-07-01 | 1 | -0/+3 |
| * | Correct existing reliance on auto-box / unbox behavior in tests. | Graydon Hoare | 2010-07-01 | 2 | -5/+5 |
| * | Box the integer passed to the handle in obj-drop.rs. No more implicit arg-box... | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Establish the box constraint on the dst in STMT_init_box before propagating i... | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ba... | Graydon Hoare | 2010-07-01 | 1 | -53/+5 |
| * | Check the simplified type used in check-expr in trans. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Extract pattern-slot variables in lval typecheck context (mutable ok). | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Relax alias-analysis pass to permit literal-aliasing. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Remove the catch-all in type.ml, add cases for every stmt (a couple more hand... | Graydon Hoare | 2010-07-01 | 1 | -8/+55 |
| * | Convey auto-deref judgments made in typechecker to trans layer; control the d... | Graydon Hoare | 2010-07-01 | 3 | -3/+35 |
| * | Correct overzealous bulk-edit to LLVM code. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Some work on teaching trans to differentiate between auto-deref and explicit-... | Graydon Hoare | 2010-07-01 | 3 | -37/+88 |
| * | Add more logging to copy/init paths. | Graydon Hoare | 2010-07-01 | 1 | -12/+27 |
| * | Remove redundant indirection-function. | Graydon Hoare | 2010-07-01 | 1 | -4/+2 |
| * | Implement STMT_init_box in trans, clean up some of the semant table-accessors. | Graydon Hoare | 2010-07-01 | 6 | -51/+39 |
| * | Add STMT_init_box to typestate pass. | Graydon Hoare | 2010-07-01 | 1 | -1/+8 |
| * | Simplify types before analyzing call structure; 2 more tests compile. | Graydon Hoare | 2010-07-01 | 2 | -4/+6 |
| * | Add machine-dependent 'float' type. | Graydon Hoare | 2010-07-01 | 2 | -0/+3 |
| * | Fix lexer's definition of numeric literals. | Graydon Hoare | 2010-07-01 | 1 | -4/+5 |
| * | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke... | Graydon Hoare | 2010-06-30 | 17 | -200/+198 |
| * | No more "transplant" behavior in "let @x = y", gotta box explicitly. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Auto-deref on lval-ext terms (x.y == x->y, if you like) | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |