aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_types.sail
AgeCommit message (Expand)AuthorFilesLines
2019-06-28Avoid implicit casts to stringAlasdair1-3/+9
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-9/+0
2019-05-10Rename regbits to regidx, to clarify the type is an index and not the content...Prashanth Mundkur1-10/+10
2019-05-10Use an explicit enum to indicate the retire status as opposed to a boolean to...Prashanth Mundkur1-0/+4
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-256/+45
2019-02-20Add ELF architecture checks to the loaders in the OCaml and C emulators.Prashanth Mundkur1-0/+5
2019-02-19Use sizeof xlen instead of the value definitions of xlen.Prashanth Mundkur1-3/+3
2019-02-13Add Sv32 and Sv48 by essentially copying Sv39.Prashanth Mundkur1-1/+2
2019-02-12Start extracting bits of vmem that should be common to RV32, and add some def...Prashanth Mundkur1-1/+1
2019-02-11Fix xlen variable name.Prashanth Mundkur1-3/+3
2019-02-11More refactoring for RV32Prashanth Mundkur1-3/+1
2019-02-08Start parameterizing definitions by xlen, which is currently still 64.Prashanth Mundkur1-5/+4
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+550