aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2020-01-18Allow extensions to provide their own exception codes/namesJames Clarke4-7/+18
2020-01-14Remove code duplication in mem_readmem_meta_mergeThomas Bauereiss1-27/+17
2020-01-13Fix 32-bit AMO min/max operations on RV64. Closes #27.Prashanth Mundkur1-10/+23
2020-01-13Further workaround for Sail mapping bug.Robert Norton1-2/+2
2020-01-10Re-instate the catch-all csr_name_map clause and workaround the Sail bug that...Robert Norton2-3/+6
2020-01-07Merge pull request #32 from jrtc27/getopt-longPrashanth Mundkur2-7/+7
2020-01-07Fix parsing long options in the C emulator for RVFI-DIIJames Clarke1-3/+3
2020-01-07Separate out RVFI simulators like non-RVFIJames Clarke1-4/+4
2020-01-07Merge pull request #22 from rems-project/rvfi_fixRobert Norton1-35/+29
2020-01-06Merge pull request #30 from jrtc27/amo-faultPrashanth Mundkur3-14/+30
2020-01-02improve pppes201-1/+1
2020-01-01add location and type info to pp-rawpes201-1/+1
2020-01-01pp tinkering - update snapshotpes201-1/+1
2019-12-31snapshot of experimental Ott-generated Sail internal ASTpes201-0/+1
2019-12-23Remove hard-coded E_Fetch_Access_Fault now mem_read checks the typeJames Clarke1-2/+2
2019-12-23Generate correct cause for AMO faultsJames Clarke2-12/+28
2019-12-05Fix RVFI buildThomas Bauereiss1-1/+1
2019-12-03Merge branch 'mem_meta_merge'Robert Norton14-72/+148
2019-12-03Merge remote-tracking branch 'origin/master' into mem_meta_mergeRobert Norton9-17/+60
2019-11-28Fix check for BBV_DIRThomas Bauereiss1-1/+1
2019-11-26Fix RV32 Coq buildThomas Bauereiss2-5/+5
2019-11-26Tweak base case of PTW functionsThomas Bauereiss3-12/+12
2019-11-25Work around Isabelle problem in PTW functionsThomas Bauereiss1-0/+1
2019-11-25Fix RV32 Lem buildThomas Bauereiss4-7/+7
2019-11-21Bump opam version.0.4Robert Norton1-1/+1
2019-11-13Fix amo assembly mapping, fixes #26.Prashanth Mundkur1-1/+1
2019-11-05Merge pull request #24 from rems-project/csr_extPrashanth Mundkur6-11/+44
2019-11-05Add extension point for checking CSR access.csr_extRobert Norton2-0/+17
2019-11-05Add a hook to allow extensions to veto xret. This will be used by CHERI exten...xret_extRobert Norton3-11/+21
2019-11-01Fix up riscv_duopod and make self containedAlasdair Armstrong2-5/+7
2019-10-31Add convenience targets for c emulator and rvfi.Robert Norton1-0/+6
2019-10-29Attempt to fix RVFI for instruction fetch exceptions. Not sure what 'need_ins...Robert Norton1-35/+29
2019-10-13paste in pointers to the Sail-enabled versions of the RISC-V specpes201-0/+7
2019-10-09Add {read,write}_ram for CoqThomas Bauereiss3-7/+19
2019-10-09Read/write memory values and metadata together atomicallyThomas Bauereiss10-52/+114
2019-09-18Update docs on extension support for disabling RVC.Prashanth Mundkur1-0/+6
2019-09-18Add a hook for extensions to supress writes to misa.C if necessary.Robert Norton3-3/+10
2019-09-18Squashed commit of various patches from @scottj97:Prashanth Mundkur2-64/+64
2019-09-18Merge pull request #19 from scottj97/upstream-2Robert Norton1-1/+3
2019-09-18Merge pull request #18 from scottj97/upstream-1Robert Norton1-1/+19
2019-09-17Run Sail with -dno_cast even when it comes from opam packageScott Johnson1-1/+3
2019-09-17Expand getopt_long option string to multiple linesScott Johnson1-1/+19
2019-09-12tweak READMEPeter Sewell1-38/+26
2019-09-12tweak Status pagePeter Sewell1-7/+6
2019-09-12update funding ackPeter Sewell235-1285/+311246
2019-09-11Update the svg figs.Prashanth Mundkur2-55/+63
2019-09-11Update the docs for the virtual memory and exception-code extensions.Prashanth Mundkur3-14/+28
2019-09-11Add a brief status doc page.Prashanth Mundkur2-1/+61
2019-09-10Refactor CSR code to use scattered functions / mappings for ease of extension.Robert Norton4-240/+151
2019-09-10Call ext_fetch_check_pc for rvfi fetch as for normal fetch.Robert Norton1-19/+31
generated by cgit v1.1 at 2024-10-19 09:28:59 +0000