aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2020-06-30Merge pull request #64 from nwf:pte-check-split with minor edits.Prashanth Mundkur6-19/+46
2020-06-30Split ext_ptw into pieces and add documentationNathaniel Wesley Filardo6-19/+43
2020-06-30SV32: allow external specification of PTE extension bitsNathaniel Wesley Filardo2-1/+12
2020-06-27A kinder, gentler splitting of ext_access_type's ReadWriteNathaniel Wesley Filardo6-31/+37
2020-06-22Add some comments and docs.Prashanth Mundkur1-0/+4
2020-06-20Allow extensions to override page fault causesJessica Clarke4-5/+8
2020-06-09Properly handle invalid virtual addresses in address translation.Prashanth Mundkur2-6/+28
2020-06-05Avoid relying on ext_access_type values in PMP, to be compatible with extensi...Prashanth Mundkur1-8/+8
2020-05-28Remove effects on assembly introduced in 1bb74ef9, fix effects on encdec_comp...Prashanth Mundkur4-18/+18
2020-05-27Fix bug: mtval (and [su]tval) should get vaddr, not paddrScott Johnson1-2/+2
2020-05-27Rename var to distinguish vaddr from paddrScott Johnson1-16/+16
2020-05-27Rename param to distinguish vaddr from paddrScott Johnson1-2/+2
2020-05-26Fix FMIN/FMAX when QNaN+SNaN (#53)Scott Johnson2-40/+33
2020-05-22Add compressed F,D instructions.Prashanth Mundkur3-2/+164
2020-05-22Prevent access to N-mode registers and mstatus/mip/mie bits when N-mode is di...Prashanth Mundkur2-12/+16
2020-04-27Clear mstatus.mprv on mret and sret, and hardwire it to 0 when user-mode is n...Prashanth Mundkur2-2/+6
2020-04-27Add the mcountinhibit register.Prashanth Mundkur3-1/+19
2020-04-27Handle writes to misa.{F,D}.Prashanth Mundkur1-3/+8
2020-04-21Fix mstatus.MPRV fetches (#48)Scott Johnson4-14/+11
2020-04-07Switch floating-point comparisons to using softfloat to avoid missed corner-c...Prashanth Mundkur3-55/+65
2020-04-06Fix fcsr exception accrual for non-softfloat paths.Prashanth Mundkur3-103/+92
2020-04-02Fix a bug in the softfloat interface that caused exception flags not to get a...Prashanth Mundkur3-12/+14
2020-04-01Set mtval to 0 on ebreak. Fixes #44.Prashanth Mundkur2-1/+8
2020-04-01Add a clarifying comment.Prashanth Mundkur1-1/+2
2020-04-01Add clarifying comment.Prashanth Mundkur1-1/+1
2020-03-29Mask pmpXcfg bits as required by specScott Johnson1-1/+1
2020-03-29Read pmpcfg* value back out when reporting its valueScott Johnson1-4/+4
2020-03-29Fix typos that made pmp8cfg and pmp9cfg unwritableScott Johnson1-4/+4
2020-03-03Add bit negation to preludeThomas Bauereiss1-1/+5
2020-02-28Make types of min/max more preciseThomas Bauereiss1-8/+6
2020-02-25Change operand order for csr instructions assembly to match spec. Fixes #34.Robert Norton1-2/+2
2020-02-25Re-instate csr names in assembly with an alternative workaround for sail bug ...Robert Norton2-1/+6
2020-02-25Revert "Further workaround for Sail mapping bug."Robert Norton1-2/+2
2020-02-13Report correct value in trace for CSR writes to frm and fflagsScott Johnson2-5/+4
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-01-30Add missing effect from ext_rvfi_init.Robert Norton1-1/+1
2020-01-29Fix rvfi build.Prashanth Mundkur1-1/+3
2020-01-23Add lem stubs for softfloat externs.rsnikhilPrashanth Mundkur1-30/+30
2020-01-22Merge branch 'master' into rsnikhilPrashanth Mundkur8-48/+69
2020-01-21Fix effects on encdec.Prashanth Mundkur2-2/+2
2020-01-20Merge pull request #33 from jrtc27/ext-exc-typeRobert Norton3-5/+16
2020-01-20Add reporting of >64-bit RVFI mem accessesPeter Rugg1-1/+5
2020-01-18Allow extensions to provide their own exception codes/namesJames Clarke3-5/+16
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
generated by cgit v1.1 at 2024-10-19 08:14:03 +0000