| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-12 | Support for user-defined state and headers in new codegen | Alasdair | |
| All the code-generator options can now be controlled via a json configuration file Extra fields can be added to the sail_state struct using a codegen.extra_state key in the configuration json for the code generator If primitives want to modify the state they can be specified via codegen.state_primops To import such state, codegen.extra_headers can be used to add user-defined headers to the generated .h file | |||
| 2019-12-11 | Add github actions to build on macOS and ubuntu | Alasdair Armstrong | |
| This commit adds two github action to build Sail on macOS and ubuntu (both using the latest version of each for now). These just build and don't run any tests, as we run those on our own Jenkins server which is much faster than the github build runners. I also fixed INSTALL.md to include brew installing pkg-config on macOS as this seems to be required. From testing on a personal fork it seems quite email happy when it fails. Maybe that's what we want though. There's also a windows option but I leave that as future work... | |||
| 2019-03-11 | Improve ocamldoc comments | Alasdair Armstrong | |
| Check in a slightly nicer stylesheet for OCamldoc generated documentation in etc. Most just add a maximum width and increase the font size because the default looks absolutely terrible on high-DPI monitors. Move val_spec_ids out of initial_check and into ast_util where it probably belongs. Rename some functions in util.ml to better match the OCaml stdlib. | |||
| 2019-03-08 | Adds the DC and IC instructions to AArch64_small; | Shaked Flur | |
| Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail | |||
| 2019-03-04 | check in missing regfp2.sail | Christopher Pulte | |
| 2018-12-22 | Added RISC-V fence.tso | Shaked Flur | |
| 2018-07-10 | Tweak to anonymous copyright header. | Robert Norton | |
| 2018-07-10 | further anonymisation work. | Robert Norton | |
| 2018-07-09 | Changes for anonymisation. Ensure headers are in correct format. Remove some ↵ | Robert Norton | |
| redundant files. | |||
| 2018-05-09 | Add targets for counting lines in mips, cheri and riscv. Can use either ↵ | Robert Norton | |
| sloccount or cloc. sloccount seems to be reliable but lacks a way to tell it that sail files can be treated like ocaml without renaming the files. cloc has a nicer interface is lower quality in other regards like broken ocaml support in versions shipped with Ubuntu (e.g. treats {...} as comment, no nested comments support). For sail2 syntax this is OK because we use the C parser instead which gives the same results as sloccount. | |||
| 2018-02-22 | wip | Robert Norton | |
| 2018-02-17 | Merge master branch into sail2 for OCaml 4.06 compatibility | Thomas Bauereiss | |
| 2018-02-08 | Some perl for automating some of sail->sail2 porting. Does not even attempt ↵ | Robert Norton | |
| to get everything right but does manage some of the simpler and more tedious stuff. Health warning: may cause bleeding of eyes. | |||
| 2018-02-08 | replaced NIA_LR/CTR/register with NIA_indirect; | Shaked Flur | |
| removed IK_cond_branch, and added IK_branch | |||
| 2017-12-04 | added the Power model | Shaked Flur | |
| 2017-12-04 | renamed hgen to gen | Shaked Flur | |
| 2017-11-01 | added RISC-V "fence r,r" | Shaked Flur | |
| 2017-09-20 | add support for x86 lock prefix (also remove unused Read/Write_tag kind in ↵ | Robert Norton | |
| etc/regfp.sail. | |||
| 2017-09-15 | x86: implement regfp analysis function (no control flow yet) | Robert Norton | |
| 2017-09-03 | added RISC-V strong-acquire/release | Shaked Flur | |
| 2017-08-31 | added RISC-V AMOs | Shaked Flur | |
| 2017-08-22 | added RISC-V "fence w,w" and "fence.i"; | Shaked Flur | |
| fixed the interpreter nias analysis; | |||
| 2017-08-19 | RISC-V store-release | Shaked Flur | |
| 2017-08-17 | added RISC-V load-acquire | Shaked Flur | |
| 2017-04-18 | added transactional memory support | Shaked Flur | |
| 2017-02-03 | fix headers | Peter Sewell | |
| 2017-02-03 | licensing | Peter Sewell | |
| 2016-11-30 | add new barrier kind for MIPS (only one for now). | Robert Norton | |
| 2016-11-07 | factor out regfp analysis types into etc/regfp.sail | Christopher Pulte | |
| 2016-06-03 | added ARMv8 | Shaked Flur | |
| 2016-06-03 | Reduce fill width of header to align closing comments nicely. | Robert Norton | |
| 2016-06-02 | Add rule in Makefile that uses headache to add copyright header to ↵ | Robert Norton | |
| mips/cheri model. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |