aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_analysis.sail
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2023-10-25Remove duplicate shift definitionsTim Hutt1-2/+2
2023-08-01Rename EXTZ and EXTSAlasdair1-6/+6
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-03-14Use not() instead of ~() for boolean negation (#210)Alexander Richardson1-2/+2
2023-03-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton1-12/+12
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-75/+76
2019-07-18Make sure everything builds correctlyAlasdair Armstrong1-0/+176
2019-07-18Revert "Support DMB/DSB domains"Alasdair Armstrong1-11/+11
2019-07-18Support DMB/DSB domainsShaked Flur1-11/+11
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+182