| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-21 | Create an update_field function for each field in a bitfield definition | Alasdair Armstrong | |
| 2018-02-20 | Allow overlapping bitfield field names | Alasdair Armstrong | |
| Allows bitfields to share field names by generating accessors as _get/set_name_field where name is the type name and field is the field name rather than _get/set_field. They are still accessed and set using just register.field() and register.field() = value. Fixes #1 | |||
| 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-29 | Fix a bug where structs containing unions would generate bad to_string functions | Alasdair Armstrong | |
| Added a regression test in test/ocaml/string_of_struct | |||
| 2018-01-22 | Update and fix test suite | Alasdair Armstrong | |
| 2018-01-18 | Modified ocaml backend to use ocamlfind for linksem and lem | Alasdair Armstrong | |
| Fixed test cases for ocaml backend and interpreter | |||
| 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 | |||
| 2018-01-04 | Additional tests for ocaml backend | Alasdair Armstrong | |
| 2017-12-07 | More OCaml test cases | Alasdair Armstrong | |
| Improved handling of try/catch Better handling of unprovable constraints when the environment contains false | |||
| 2017-11-27 | Added test for short-circuiting of boolean operations | Alasdair Armstrong | |
| 2017-11-15 | Additional test case for OCaml backend | Alasdair Armstrong | |
| 2017-11-15 | Simplify flow typing code in typechecker | Alasdair Armstrong | |
| 2017-11-10 | Fixed ocaml backend so it correctly compiles registers passed by name. | Alasdair Armstrong | |
| Added a test case for this behavior | |||
| 2017-11-03 | Fix ocaml test suite | Alasdair Armstrong | |
| 2017-10-09 | Improvements to menhir pretty printer and ocaml backend | Alasdair Armstrong | |
| Menhir pretty printer can now print enough sail to be useful with ASL parser Fixity declarations are now preserved in the AST Menhir parser now runs without the Pre-lexer Ocaml backend now supports variant typedefs, as the machinery to generate arbitrary instances of variant types has been added to the -undefined_gen flag | |||
| 2017-09-18 | Added additional utility functions in ast_util | Alasdair Armstrong | |
| Also fixed basic ocaml test suite | |||
| 2017-09-07 | Add ocaml run-time and updates to sail for ocaml backend | Alasdair Armstrong | |
| 2017-09-01 | Testing typedef generation for ocaml | Alasdair Armstrong | |
| 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 |