| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-02-05 | Merge branch 'master' of bitbucket.org:Peter_Sewell/sail | Peter Sewell | |
| Conflicts: language/manual.pdf | |||
| 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 ↵ | Kathy Gray | |
| change to printing | |||
| 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 | |
| Fix bug in local register access | |||
| 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 | Add the manual, such as it is, for others to be able to use and have without ↵ | Kathy Gray | |
| needing ott | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |