| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-09-26 | Added while-do and repeat-until loops to sail for translating ASL | Alasdair Armstrong |
| 2017-08-15 | Added exceptions and try/catch blocks to AST and typechecker in order | Alasdair Armstrong |
| 2017-07-26 | Added syntax for existential types | Alasdair Armstrong |
| 2017-07-21 | Add a prove builtin that allows testing flow typing | Alasdair Armstrong |
| 2017-07-21 | Improvements to sail n_constraints | Alasdair Armstrong |
| 2017-07-18 | Added real number literals to sail, to better support full ASL translation | Alasdair Armstrong |
| 2017-07-17 | Added pattern guards to sail | Alasdair Armstrong |
| 2017-06-29 | Created prelude.sail for initial typing environment | Alasdair Armstrong |
| 2017-06-28 | User defined overloaded operators | Alasdair Armstrong |
| 2017-06-28 | Improvements to implicit type casting | Alasdair Armstrong |
| 2017-01-25 | wib | Peter Sewell |
| 2017-01-25 | kathy, peter: fixing sail-mode startup | Peter Sewell |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |