| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-03-15 | rename "manual.tex" to "type_system.tex" | Peter Sewell | |
| fix Makefile clean | |||
| 2017-01-30 | Restore manual.tex, accidentally deleted | Kathy Gray | |
| Minor updates to README, still in progress | |||
| 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 ↵ | Kathy Gray | |
| well as items of kind Type. Syntax for the feature is: def Nat id = nexp Note: some useful nexps may not parse properly. All typedef forms can also be used as def Type ... if desired, but this is not required. | |||
| 2016-02-25 | A bit better readme | Kathy Gray | |
| A few more tips Trying to fix up and bring up to date the built-in types and library | |||
| 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 | |
| (list not complete) | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |