| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-03-15 | rename "manual.tex" to "type_system.tex" | Peter Sewell |
| 2017-01-30 | Restore manual.tex, accidentally deleted | Kathy Gray |
| 2016-09-25 | Catch formal type system up to reality, in progress | 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 | Restore manual.tex mysteriously deleted by peter in May 2015. | Robert Norton |
| 2015-05-09 | use less confusing Ott binary | Peter Sewell |
| 2014-12-03 | Type rules unto coercion now represented in ott | Kathy Gray |
| 2014-11-27 | Start having a manual of sorts. At least specify the built in functions | Kathy Gray |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |