aboutsummaryrefslogtreecommitdiff
path: root/handwritten_support/riscv_extras_sequential.lem
AgeCommit message (Expand)AuthorFilesLines
2024-02-05Improve PMP supportTim Hutt1-4/+0
2023-10-11Rename enable-fiom to enable-writable-fiomTim Hutt1-3/+3
2023-10-11Implement menvcfgTim Hutt1-0/+4
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2021-11-22Implement support for Zfinx (#130)Jessica Clarke1-0/+4
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke1-4/+0
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh1-0/+4
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2021-02-11Make N extension configurable.Prashanth Mundkur1-0/+4
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-0/+4
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-13Make repository have shape RMEM expectsAlasdair Armstrong1-1/+1
2019-01-16More reorg.Prashanth Mundkur1-0/+137