| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-11-01 | Changes to enable analysing type errors in ASL parser | Alasdair Armstrong | |
| Also some pretty printer improvements Make all the tests use the same colours for green/red/yellow | |||
| 2018-06-21 | Merge branch 'tracing' into sail2 | Alasdair Armstrong | |
| 2018-02-07 | Setup test suite for C backend | Alasdair Armstrong | |
| 2018-02-01 | More work on C compilation | Alasdair Armstrong | |
| Can now compile things like early returns. The same approach should work for exception handling as well. Once that's in place, just need to work a bit more on getting union types to work + the library of builtins, then we should be able to compile and run some of our specs via C. Also added some documentation in comments for the general approach taken when compiling (need many more though). | |||
| 2018-02-01 | Fix a bug where local variables could shadow functions | Alasdair Armstrong | |
| Currently the fix is to disallow this shadowing entirely, because it seems to cause trouble for ocaml. | |||
| 2018-01-16 | Test the ocaml interpreter with the same tests as the ocaml compilation | Alasdair Armstrong | |
| 2018-01-16 | Improve formatting of output when running all test suites. | Alasdair Armstrong | |
| 2018-01-11 | Ocaml semantics can now run aarch64 hello world example using octapod | Alasdair Armstrong | |
| New testcase for bitfield syntax Updated to work with latest lem and linksem | |||
| 2017-11-03 | Fix ocaml test suite | Alasdair Armstrong | |
| 2017-09-18 | Added additional utility functions in ast_util | Alasdair Armstrong | |
| Also fixed basic ocaml test suite | |||
| 2017-09-01 | More test cases for ocaml backend | Alasdair Armstrong | |
| 2017-09-01 | Started work on test suite for ocaml backend | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |