| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-11-23 | Add new type checking file. Small changes to type inference, temporary change... | Kathy Gray |
| 2016-09-25 | Catch formal type system up to reality, in progress | Kathy Gray |
| 2016-03-03 | Fix typo in manual which had true instead of false on assert documentation | Kathy Gray |
| 2016-03-02 | Add new language feature to permit definitions of items of kind Nat, etc as w... | Kathy Gray |
| 2016-02-25 | A bit better readme | Kathy Gray |
| 2016-02-25 | Expand what advice and information is in the manual slightly | Kathy Gray |
| 2016-02-25 | Add the manual, such as it is, for others to be able to use and have without ... | Kathy Gray |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |