aboutsummaryrefslogtreecommitdiff
path: root/model/prelude_mem_metadata.sail
AgeCommit message (Expand)AuthorFilesLines
2024-03-24Replace atom with intTim Hutt1-2/+2
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2023-09-12Remove effectsTim Hutt1-2/+2
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-0/+13