| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -317/+0 |
| | | |||||
| * | Disable effect checking in rustboot | Marijn Haverbeke | 2011-04-08 | 1 | -3/+5 |
| | | |||||
| * | 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. | ||||
| * | Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵ | Graydon Hoare | 2011-01-21 | 1 | -34/+55 |
| | | | | | in trans.rs | ||||
| * | rustboot: Say exactly which name was unbound when reporting unbound name errors | Patrick Walton | 2010-11-03 | 1 | -2/+2 |
| | | |||||
| * | Split out stratum-checking pass, implement more-strict (overly aggressive) ↵ | Graydon Hoare | 2010-11-02 | 1 | -93/+34 |
| | | | | | impure-effect checking. | ||||
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -7/+7 |
| | | |||||
| * | Add -lpath mechanism for logging only a subset of a pass (by module-path prefix) | Graydon Hoare | 2010-10-08 | 1 | -4/+3 |
| | | |||||
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵ | Graydon Hoare | 2010-09-09 | 1 | -1/+1 |
| | | | | | 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. | ||||
| * | Distill semantics of use-def maps to fewer and more-obvious words. | Graydon Hoare | 2010-07-27 | 1 | -2/+2 |
| | | | | | | | | - Remove redundant uses of 'resolve' and 'referent' in semant. - Use defn, defn_id, lval, lval_base more consistently. - Make associated query functions more consistent. - Closes #127. | ||||
| * | Improve mutability checking. Closes #118. | Graydon Hoare | 2010-07-23 | 1 | -1/+1 |
| | | |||||
| * | Widen write mutability check to cover all writing stmts. | Graydon Hoare | 2010-07-23 | 1 | -10/+22 |
| | | |||||
| * | Include all lval-writing statements in stmt_is_init calculation, not just ↵ | Graydon Hoare | 2010-07-23 | 1 | -1/+1 |
| | | | | | "copy-like". Un-XFAIL generic-tag-alt.rs | ||||
| * | Minimize pointless logging during walk. | Graydon Hoare | 2010-07-14 | 1 | -1/+2 |
| | | |||||
| * | Add detection for cyclic imports. | Graydon Hoare | 2010-07-08 | 1 | -1/+1 |
| | | |||||
| * | Use simplified_ty in effect. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| | | |||||
| * | Add logging to type and effect. | Graydon Hoare | 2010-06-30 | 1 | -0/+5 |
| | | |||||
| * | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | 2010-06-29 | 1 | -11/+16 |
| | | |||||
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 1 | -1/+3 |
| | | |||||
| * | Add test of recursive object types (ha, work by default) and fix ↵ | Graydon Hoare | 2010-06-25 | 1 | -0/+16 |
| | | | | | effect-walker bug revealed by it. | ||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+313 |