aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2020-02-12Merge branch 'master' into gdbgdbPrashanth Mundkur670-221/+107959
2020-02-06Update mstatus.SD bit as well when dirtying the floating-point status.Prashanth Mundkur1-5/+9
2020-02-06Handle locked TOR entries when writing PMP addresses.Prashanth Mundkur3-22/+28
2020-02-06Initialize fdregs for rvfi.Prashanth Mundkur1-0/+1
2020-02-06Improve handling of fcsr by making it a bitfield.Prashanth Mundkur4-55/+75
2020-02-04Add a very minimal spec derived from full spec for experimental use with Iris.Robert Norton1-0/+1176
2020-02-03Add softfloat fdext defs for rmem build.Prashanth Mundkur1-1/+1
2020-01-31Merge pull request #37 from scottj97/recursive-makeRobert Norton1-2/+2
2020-01-30Invoke recursive make using $(MAKE) as GNU recommendsScott Johnson1-2/+2
2020-01-30Add missing effect from ext_rvfi_init.Robert Norton1-1/+1
2020-01-29Fix rvfi build.Prashanth Mundkur2-2/+4
2020-01-23Add lem stubs for softfloat externs.rsnikhilPrashanth Mundkur4-32/+250
2020-01-22Some fixes for lem build.Prashanth Mundkur2-0/+8
2020-01-22Fix coq build.Prashanth Mundkur1-0/+1
2020-01-22Merge branch 'master' into rsnikhilPrashanth Mundkur11-61/+84
2020-01-21Fix effects on encdec.Prashanth Mundkur2-2/+2
2020-01-20Merge pull request #33 from jrtc27/ext-exc-typeRobert Norton4-7/+18
2020-01-20Add reporting of >64-bit RVFI mem accessesPeter Rugg1-1/+5
2020-01-18Allow extensions to provide their own exception codes/namesJames Clarke4-7/+18
2020-01-17Update handwritten Coq to use boolean predicatesBrian Campbell2-11/+13
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-08Add softfloat to rvfi build.Prashanth Mundkur1-1/+1
2020-01-07Merge branch 'master' into rsnikhil.Prashanth Mundkur25-145/+267
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-27Fix whitespace.Prashanth Mundkur1-1/+1
2019-11-27Add RV32 non-double FP tests to the FP test script.Prashanth Mundkur1-0/+17
2019-11-27Fix semantics of fmv.x.w: it should not interpret the bit pattern in the sour...Prashanth Mundkur1-4/+2
2019-11-27Fix bit indices when writing frm in fcsr.Prashanth Mundkur1-1/+1
2019-11-26Update .gitignore to ignore softfloat build.Prashanth Mundkur1-0/+1
2019-11-26Add some missed f/d tests.Prashanth Mundkur14-0/+0
2019-11-26For now, skip F/D tests on OCaml, and D tests on C-32.Prashanth Mundkur1-4/+20
2019-11-26Skip tests for FP doubles on RV32 for now.Prashanth Mundkur1-0/+8
2019-11-26Fix RV32 build for F/D extensions.Prashanth Mundkur4-36/+72
generated by cgit v1.1 at 2024-07-17 03:56:09 +0000