| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-10-01 | Add ast_defs to libsail | Alasdair | |
| 2020-09-29 | Refactor: Change AST type from a union to a struct | Alasdair | |
| 2020-06-24 | Add slice.ml to libsail | Thomas Bauereiss | |
| 2020-06-09 | Add splice.ml to libsail | Thomas Bauereiss | |
| 2020-01-28 | Use external PPrint | Thomas Bauereiss | |
| 2019-11-11 | Update libsail slightly with recent changes | Alasdair Armstrong | |
| Also don't include the toplevel files in the library, and move load_files and descatter into process_file where they can be called | |||
| 2019-06-06 | Update aarch64_small hgen files | Alasdair Armstrong | |
| 2019-05-31 | Add SMT related things to libsail file | Alasdair Armstrong | |
| 2019-05-13 | Changes to toFromInterp backend to support aarch64_small | Jon French | |
| * Includes adding support for bitlist-Lem * Adds new command-line option -Ofast_undefined | |||
| 2019-04-17 | Build libsail again (removed Bytcode and Share_directory) | Shaked Flur | |
| 2019-04-12 | update libsail.mllib with more jib modules | Jon French | |
| 2019-03-14 | Merge branch 'sail2' into rmem_interpreter | Jon French | |
| 2019-03-13 | package and install Sail as an ocamlfind library | Jon French | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |