aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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
2019-05-07Allow overrides for mtvec/stvec accessors.Prashanth Mundkur2-4/+22
2019-05-06Factor out sync_exception to fix dependencies in cheri, and similarly split o...Prashanth Mundkur5-28/+28
2019-05-03Enable some asserts.Prashanth Mundkur1-4/+4
2019-05-03Fix a todo for c.slli on RV32.Prashanth Mundkur1-3/+2
2019-05-03Minor formatting cleanup and remove obsolete comments.Prashanth Mundkur4-15/+14
2019-05-03Fix inconsistency in accessing PC/nextPC, which also clarifies which handlers...Prashanth Mundkur5-16/+16
2019-05-03Fix compile due to missed effect declaration.Prashanth Mundkur1-1/+1
2019-05-03Don't assume regtype is bitvector in init_base_regs.Robert Norton1-31/+31
2019-05-03Fix a couple of warnings.Robert Norton1-2/+4
2019-05-02rvfi: clear memory between tests.Prashanth Mundkur1-1/+9
2019-05-02rvfi: fixes for RV32Prashanth Mundkur4-8/+8
generated by cgit v1.1 at 2024-08-16 16:32:58 +0000