aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur24-61/+135
2019-06-24Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.Prashanth Mundkur7-23/+26
2019-06-24Starting cleaning up physical memory bits for pmp integration.Prashanth Mundkur6-63/+37
2019-06-21Checked locked flag on PMP reg writes, and add the special case for the pmpad...Prashanth Mundkur3-62/+64
2019-06-20Hook in csr reads/writes to PMP regs. Locked entries are not yet handled.Prashanth Mundkur3-85/+129
2019-06-20Handle pmpcfg packing and unpacking for csr accesses.Prashanth Mundkur1-22/+76
2019-06-20Add PMP address and entry matching, and priority logic.Prashanth Mundkur4-37/+223
2019-06-19Factor out mstatus.mprv checks for effective privilege for reuse in PMP.Prashanth Mundkur3-6/+7
2019-06-19Define PMP permission checking.Prashanth Mundkur1-4/+43
2019-06-17Add basic PMP definitions.Prashanth Mundkur2-1/+26
2019-06-11Remove unused directory from Coq imports, removing warningBrian Campbell1-1/+1
2019-06-11Fill in a few missing Coq built-insBrian Campbell1-3/+3
2019-06-06Remove mmio in rvfi mode.Prashanth Mundkur1-0/+3
2019-06-06Doc updatesPrashanth Mundkur8-39/+382
2019-06-06Add a makefile target to pre-compile the model for axiomatic concurrency toolAlasdair1-0/+3
2019-06-05Add RV64 Linux image that does not need a patched model.Prashanth Mundkur1-0/+0
2019-05-31Fix build on MacPorts/MacOS.Prashanth Mundkur1-2/+6
2019-05-31Merge pull request #11 from scottj97/makefile-upgradePrashanth Mundkur1-12/+5
2019-05-31Merge pull request #10 from scottj97/correct-flag-descriptionsPrashanth Mundkur0-0/+0
2019-05-30Include riscv_sim.c in C_SRCSScott Johnson1-5/+5
2019-05-30Remove obsolete targets from MakefileScott Johnson1-7/+0
2019-05-30Correction to flag descriptionsScott Johnson1-2/+2
2019-05-29Fix execution log.Prashanth Mundkur1-2/+2
2019-05-29Merge pull request #8 from ccasin/doc-updatesPrashanth Mundkur1-3/+14
2019-05-29Merge pull request #9 from scottj97/fix-sigfile-printfPrashanth Mundkur1-1/+1
2019-05-29Display correct filename in message when using -TScott Johnson1-1/+1
2019-05-28Merge branch 'master-cleanup'Prashanth Mundkur3-10/+30
2019-05-28Add missed commit.Prashanth Mundkur1-1/+0
2019-05-28Improve cli option processing; also remove '-s' from the C emulator to avoid ...Prashanth Mundkur1-5/+16
2019-05-25Two small README updates.Chris Casinghino1-3/+14
2019-05-24Make xret hooks differentiate between just reading xret target values and get...Prashanth Mundkur2-4/+14
2019-05-24Update opam version for release.0.2Robert Norton1-1/+1
2019-05-24Attempt to fix opam build with opam2: use a .install file and don't rely on o...Robert Norton4-9/+7
2019-05-24Add Makefile rule to get line count.Robert Norton1-0/+3
2019-05-23Merge branch 'master' into master-cleanupPrashanth Mundkur3-0/+51
2019-05-23Be more careful about matching only instructions that are defined for xlen be...Robert Norton2-11/+12
2019-05-20Add descr file for opam.0.1Robert Norton1-0/+1
2019-05-20Add opam file and make targets to build and install C emulator (32 and 64 bit).Robert Norton2-0/+48
2019-05-17Work around name clash in IsabelleThomas Bauereiss1-0/+2
2019-05-14Merge branch 'master' into master-cleanupPrashanth Mundkur2-3/+3
2019-05-14Update docs.Prashanth Mundkur2-21/+28
2019-05-14Improve the interface to access CSRs in extensions.Prashanth Mundkur5-7/+28
2019-05-13also convert RMEM sentinel instructions to return Retired enumJon French1-2/+2
2019-05-13Makefile: add -tofrominterp_mwords optionJon French1-1/+1
2019-05-10Update docs.Prashanth Mundkur2-1/+25
2019-05-10Rename regbits to regidx, to clarify the type is an index and not the content...Prashanth Mundkur8-121/+121
2019-05-10Use an explicit enum to indicate the retire status as opposed to a boolean to...Prashanth Mundkur12-95/+105
2019-05-10Merge pull request #6 from jrtc27/asm-load-store-immPrashanth Mundkur1-3/+3
2019-05-10Print canonical assembly for immediate loads/storesJames Clarke1-3/+3
2019-05-08Allow overide of utvec in identical way to mtvec/stvec in previous commit.Robert Norton2-2/+10
generated by cgit v1.1 at 2024-10-20 09:31:51 +0000