| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Un-revert "Use different syntax for checks that matter to typestate", fixing ... | Patrick Walton | 2011-05-02 | 1 | -3/+3 |
| * | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | 2011-05-02 | 1 | -3/+3 |
| * | Use different syntax for checks that matter to typestate | Tim Chevalier | 2011-05-02 | 1 | -3/+3 |
| * | Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate... | Graydon Hoare | 2010-09-20 | 1 | -2/+2 |
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo... | Graydon Hoare | 2010-09-09 | 1 | -1/+3 |
| * | Get slots in trans_tag using Semant tables. Closes #133. | Roy Frostig | 2010-07-28 | 1 | -0/+23 |