aboutsummaryrefslogtreecommitdiff
path: root/model/prelude_mem.sail
AgeCommit message (Expand)AuthorFilesLines
2019-07-03Add a maximum memory access size to slightly improve C code geneation.Robert Norton1-3/+12
2019-06-24Starting cleaning up physical memory bits for pmp integration.Prashanth Mundkur1-34/+13
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-30/+17
2019-04-10Update Coq memory interfacesBrian Campbell1-12/+12
2019-02-19Use sizeof xlen instead of the value definitions of xlen.Prashanth Mundkur1-12/+12
2019-02-11Fix xlen variable name.Prashanth Mundkur1-12/+12
2019-02-11More refactoring for RV32Prashanth Mundkur1-0/+70