aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2019-06-03Bump opam version for release with installed model code.0.3Robert Norton1-1/+1
2019-06-03Merge remote-tracking branch 'origin/master' into master-cleanupRobert Norton3-20/+28
2019-06-03Add a suppress_warnings directive in prelude_mapping.sail. Would be nice to ↵Robert Norton1-0/+6
fix the warnings properly but I don't understand mappings will enough to know how.
2019-06-03Install sail and C sources in share directory of opam package.Robert Norton2-1/+9
2019-05-31Fix build on MacPorts/MacOS.Prashanth Mundkur1-2/+6
2019-05-31Merge pull request #11 from scottj97/makefile-upgradePrashanth Mundkur1-12/+5
Makefile upgrade
2019-05-31Merge pull request #10 from scottj97/correct-flag-descriptionsPrashanth Mundkur0-0/+0
Correction to flag descriptions
2019-05-31Merge branch 'master' into master-cleanupRobert Norton4-10/+11
2019-05-30Include riscv_sim.c in C_SRCSScott Johnson1-5/+5
Since it was being explicitly included everywhere C_SRCS was being used.
2019-05-30Remove obsolete targets from MakefileScott Johnson1-7/+0
Per email from Prashanth
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
Two small README updates.
2019-05-29Merge pull request #9 from scottj97/fix-sigfile-printfPrashanth Mundkur1-1/+1
Display correct filename in message when using -T
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
Spike dependency message.
2019-05-25Two small README updates.Chris Casinghino1-3/+14
2019-05-24Make xret hooks differentiate between just reading xret target values and ↵Prashanth Mundkur2-4/+14
getting the value when transferring control to the xret target.
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 ↵Robert Norton4-9/+7
opam being in path to get SAIL_DIR (which seems to be unreliable).
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 ↵Robert Norton2-11/+12
being built.
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
Until properly fixed in Lem
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 ↵Prashanth Mundkur8-121/+121
contents of a register.
2019-05-10Use an explicit enum to indicate the retire status as opposed to a boolean ↵Prashanth Mundkur12-95/+105
to improve clarity.
2019-05-10Merge pull request #6 from jrtc27/asm-load-store-immPrashanth Mundkur1-3/+3
Print canonical assembly for immediate loads/stores
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 ↵Prashanth Mundkur5-28/+28
out pc access.
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 ↵Prashanth Mundkur5-16/+16
handlers return nextPC values as opposed to setting them.
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-09-18 07:55:24 +0000