| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -6/+1 |
| * | Add log_err to rustboot | Marijn Haverbeke | 2011-04-19 | 1 | -1/+1 |
| * | 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 |
| * | Make ret and fail stmts have 0 out-edges, Closes #250. | Graydon Hoare | 2011-03-05 | 1 | -0/+5 |
| * | Rewrite rustboot's flow-graph wiring passes to be less awful. Add test for ne... | Graydon Hoare | 2011-03-03 | 1 | -248/+104 |
| * | Isolate while-header bug to minimal testcase, fix in rustboot, remove workaro... | Graydon Hoare | 2010-11-19 | 1 | -1/+22 |
| * | rustboot: Say exactly which name was unbound when reporting unbound name errors | Patrick Walton | 2010-11-03 | 1 | -4/+4 |
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -1/+2 |
| * | Git index wins again. | Graydon Hoare | 2010-10-12 | 1 | -5/+6 |
| * | Changes to make rustboot compile on OCaml 3.12 | Graydon Hoare | 2010-10-12 | 1 | -5/+5 |
| * | Add -lpath mechanism for logging only a subset of a pass (by module-path prefix) | Graydon Hoare | 2010-10-08 | 1 | -7/+6 |
| * | Drop slots on block exits even when blocks have no statements. Part way to fi... | Graydon Hoare | 2010-09-30 | 1 | -53/+60 |
| * | implemented break for while-loop case | Or Brostovski | 2010-09-30 | 1 | -29/+65 |
| * | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late... | Graydon Hoare | 2010-09-15 | 1 | -0/+1 |
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo... | Graydon Hoare | 2010-09-09 | 1 | -1/+1 |
| * | Make pattern-alt drop the slots it initializes when binding slot patterns. U... | Roy Frostig | 2010-08-27 | 1 | -8/+38 |
| * | Fix ghastly typestate bug breaking nested functions. | Graydon Hoare | 2010-08-25 | 1 | -8/+58 |
| * | Fix a bunch of typestate bugs in handling if and while statement wirings. | Graydon Hoare | 2010-08-19 | 1 | -19/+43 |
| * | Add names to tasks and domains. These can either be an explicit literal string | Jeffrey Yasskin | 2010-08-09 | 1 | -2/+2 |
| * | Distill semantics of use-def maps to fewer and more-obvious words. | Graydon Hoare | 2010-07-27 | 1 | -9/+57 |
| * | Fix numerous non-linearities and O(sizeof(crate)) issues in typestate system'... | Graydon Hoare | 2010-07-26 | 1 | -108/+334 |
| * | Note the typestate dataflow timing. The culprit is revealed. | Graydon Hoare | 2010-07-26 | 1 | -1/+2 |
| * | Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus f... | Graydon Hoare | 2010-07-23 | 1 | -1/+20 |
| * | Include all lval-writing statements in stmt_is_init calculation, not just "co... | Graydon Hoare | 2010-07-23 | 1 | -11/+11 |
| * | Rename STMT_init_* to STMT_new_*; former name was confusing. | Graydon Hoare | 2010-07-23 | 1 | -20/+20 |
| * | Make mutability no longer a type constructor | Patrick Walton | 2010-07-15 | 1 | -4/+4 |
| * | Minimize pointless logging during walk. | Graydon Hoare | 2010-07-14 | 1 | -3/+4 |
| * | Desugar the head stmts all the way out of STMT_for, rather than stashing them... | Graydon Hoare | 2010-07-13 | 1 | -1/+1 |
| * | Revert previous wrong-change on issue #106; was papering over wrongness in th... | Graydon Hoare | 2010-07-12 | 1 | -4/+12 |
| * | Fix post-stmt drop calculations. Closes #106. | Graydon Hoare | 2010-07-11 | 1 | -10/+30 |
| * | Add detection for cyclic imports. | Graydon Hoare | 2010-07-08 | 1 | -2/+2 |
| * | Numerous bug fixes to typestate algorithm. | Graydon Hoare | 2010-07-06 | 1 | -83/+116 |
| * | Correct flow-graph wiring for STMT_if. | Graydon Hoare | 2010-07-06 | 1 | -23/+64 |
| * | Wrap long line. | Graydon Hoare | 2010-07-06 | 1 | -1/+3 |
| * | Add init(arg) to STMT_call precondition for each arg. | Graydon Hoare | 2010-07-06 | 1 | -2/+11 |
| * | Strip outer 'mutable' off slot when deciding if pred can apply. | Graydon Hoare | 2010-07-01 | 1 | -2/+3 |
| * | Implement STMT_init_box in trans, clean up some of the semant table-accessors. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Add STMT_init_box to typestate pass. | Graydon Hoare | 2010-07-01 | 1 | -1/+8 |
| * | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | 2010-06-29 | 1 | -3/+9 |
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 1 | -1/+1 |
| * | Add fmt module, move out some common format helpers, add instruction-selectio... | Graydon Hoare | 2010-06-24 | 1 | -8/+8 |
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+1089 |