| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |