aboutsummaryrefslogtreecommitdiff
path: root/handwritten_support/riscv_extras.lem
AgeCommit message (Expand)AuthorFilesLines
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-0/+4
2019-04-25riscv_extras.lem: update read/write_mem calls with (dummy) addrsize argumentJon French1-18/+18
2019-04-03Tweak print_* bindings for LemThomas Bauereiss1-0/+3
2019-04-01Add missed lem definitions for sys misa/rvcflags.Prashanth Mundkur1-0/+8
2019-02-26Restore riscv_extras damaged by merge.Prashanth Mundkur1-9/+13
2019-02-13Make repository have shape RMEM expectsAlasdair Armstrong1-1/+1
2019-01-16More reorg.Prashanth Mundkur1-0/+137