| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-01-12 | Add specialised support for numeric singleton types (i.e. what used to be ran... | Kathy Gray |
| 2014-12-09 | Some of the type rules for expressions | Kathy Gray |
| 2014-12-04 | ott rules for type checking pattern match | Kathy Gray |
| 2014-12-03 | Type rules unto coercion now represented in ott | Kathy Gray |
| 2014-07-14 | Initial support for aliases and exit through the type system and the interpre... | Kathy Gray |
| 2014-06-12 | Interpret when an unknown is inserted into the program by interp_exhaustive | Kathy Gray |
| 2014-05-29 | Check constraints in power.sail; this required using big_int instead of int t... | Kathy Gray |
| 2014-04-02 | Solve more constraints; fix up test suite bugs uncovered by solving more cons... | Kathy Gray |
| 2014-03-11 | Change treatment of type abbreviations so that name and full type are availab... | Kathy Gray |
| 2014-02-21 | Add type annotations to lem grammar, including printing out the annotated ast... | Kathy Gray |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |