| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-02-05 | Merge branch 'master' of bitbucket.org:Peter_Sewell/sail | Peter Sewell |
| 2017-02-05 | wib | Peter Sewell |
| 2017-01-31 | Kathy, Peter: pp of initial type environment | Peter Sewell |
| 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 |