| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 ↵ | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| | | | | | | | build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c. | ||||
| * | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵ | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| | | | | | off src root. | ||||
| * | Git index wins again. | Graydon Hoare | 2010-10-12 | 1 | -1/+1 |
| | | |||||
| * | Changes to make rustboot compile on OCaml 3.12 | Graydon Hoare | 2010-10-12 | 1 | -1/+1 |
| | | |||||
| * | implemented break for while-loop case | Or Brostovski | 2010-09-30 | 1 | -2/+1 |
| | | | | | | | | | | | | | | | ast.ml - added break and cont statements item.ml - added break and cont statements lexer.mll - added break and cont statements token.ml - added break and cont statements trans.ml - implemented the break statement for the while-loop case - replaced hash table accesses with get_stmt_depth where needed type.ml = added break and cont statements typestate.ml - implemented the break statement for the while-loop case - added shorthand filter_live_block_slots walk.ml - added break and cont statements while-with-break.rs - code for testing while loops | ||||
| * | Use name_base in plval base. | Graydon Hoare | 2010-09-20 | 1 | -2/+2 |
| | | |||||
| * | Teach walk about plvals and pexps. | Graydon Hoare | 2010-09-15 | 1 | -8/+106 |
| | | |||||
| * | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵ | Graydon Hoare | 2010-09-15 | 1 | -0/+1 |
| | | | | | later stages. Fixes to pexp pretty printer. | ||||
| * | Teach front-end about simple, first-cut version of const items. | Graydon Hoare | 2010-09-14 | 1 | -0/+3 |
| | | |||||
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵ | Graydon Hoare | 2010-09-09 | 1 | -8/+3 |
| | | | | | work, possibly a little bumpy. Changes a lot. | ||||
| * | Add names to tasks and domains. These can either be an explicit literal string | Jeffrey Yasskin | 2010-08-09 | 1 | -1/+1 |
| | | | | | | after the "spawn" keyword, or implicitly the call expression used to start the spawn. | ||||
| * | Rename STMT_init_* to STMT_new_*; former name was confusing. | Graydon Hoare | 2010-07-23 | 1 | -7/+7 |
| | | |||||
| * | Re-classify some err / bug cases as unimpl. Ideally rustboot should never ↵ | Graydon Hoare | 2010-07-22 | 1 | -1/+1 |
| | | | | | produce a backtrace. | ||||
| * | 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 | -63/+0 |
| | | |||||
| * | Desugar the head stmts all the way out of STMT_for, rather than stashing ↵ | Graydon Hoare | 2010-07-13 | 1 | -2/+1 |
| | | | | | them in the node. That's only necessary for STMT_while. | ||||
| * | Parse effect-qualified type definitions. | Graydon Hoare | 2010-07-02 | 1 | -1/+1 |
| | | |||||
| * | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵ | Graydon Hoare | 2010-06-30 | 1 | -2/+2 |
| | | | | | keep MEM_interior for describing interior-parts-of-allocations) | ||||
| * | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | 2010-06-29 | 1 | -6/+12 |
| | | |||||
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 1 | -6/+8 |
| | | |||||
| * | Resolve and typecheck patterns in pattern alt redux. This time featuring ↵ | Roy Frostig | 2010-06-25 | 1 | -6/+8 |
| | | | | | way more correctness. | ||||
| * | Add fmt module, move out some common format helpers, add ↵ | Graydon Hoare | 2010-06-24 | 1 | -1/+1 |
| | | | | | instruction-selection tracing and make selection use queues rather than list refs. | ||||
| * | Resolve and typecheck patterns in pattern alt. | Roy Frostig | 2010-06-24 | 1 | -2/+2 |
| | | |||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+687 |