index
:
sail-riscv.git
billmcspadden-riscv
c2_emu
cheri
cheri-merge
cheri_lite
cookbook_br
csr_ext
debugmod
epc_legalization
ext_check_phys_mem
ext_check_phys_mem_alt
ext_misa
fdext
fence_issue29
fence_noops
fix-signature-granularity
fix_next_csrs
gdb
haveSmepmp_billmcspadden
hpm_events
hpm_events_billmcspadden
hpm_events_billmcspadden__sail_error_message_is_terse
initial-contributing-guide
inst_extensions
master
master-cleanup
match_warnings
mem_meta
mem_meta_merge
monads
new_test_2
new_test_3
no_boot_rom
no_casts
optimize
rmem_interpreter
rmn30
rsnikhil
rv_config
sail-coverage-linking
update-copyright-headers
vector-dev
vmem_ext
x_regs
xret_ext
zfa
zfinx
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
Files
Lines
2019-06-11
Fill in a few missing Coq built-ins
Brian Campbell
1
-3
/
+3
2019-06-06
Remove mmio in rvfi mode.
Prashanth Mundkur
1
-0
/
+3
2019-06-06
Doc updates
Prashanth Mundkur
8
-39
/
+382
2019-06-06
Add a makefile target to pre-compile the model for axiomatic concurrency tool
Alasdair
1
-0
/
+3
2019-06-05
Add RV64 Linux image that does not need a patched model.
Prashanth Mundkur
1
-0
/
+0
2019-05-31
Fix build on MacPorts/MacOS.
Prashanth Mundkur
1
-2
/
+6
2019-05-31
Merge pull request #11 from scottj97/makefile-upgrade
Prashanth Mundkur
1
-12
/
+5
2019-05-31
Merge pull request #10 from scottj97/correct-flag-descriptions
Prashanth Mundkur
0
-0
/
+0
2019-05-30
Include riscv_sim.c in C_SRCS
Scott Johnson
1
-5
/
+5
2019-05-30
Remove obsolete targets from Makefile
Scott Johnson
1
-7
/
+0
2019-05-30
Correction to flag descriptions
Scott Johnson
1
-2
/
+2
2019-05-29
Fix execution log.
Prashanth Mundkur
1
-2
/
+2
2019-05-29
Merge pull request #8 from ccasin/doc-updates
Prashanth Mundkur
1
-3
/
+14
2019-05-29
Merge pull request #9 from scottj97/fix-sigfile-printf
Prashanth Mundkur
1
-1
/
+1
2019-05-29
Display correct filename in message when using -T
Scott Johnson
1
-1
/
+1
2019-05-28
Merge branch 'master-cleanup'
Prashanth Mundkur
3
-10
/
+30
2019-05-28
Add missed commit.
Prashanth Mundkur
1
-1
/
+0
2019-05-28
Improve cli option processing; also remove '-s' from the C emulator to avoid ...
Prashanth Mundkur
1
-5
/
+16
2019-05-25
Two small README updates.
Chris Casinghino
1
-3
/
+14
2019-05-24
Make xret hooks differentiate between just reading xret target values and get...
Prashanth Mundkur
2
-4
/
+14
2019-05-24
Update opam version for release.
0.2
Robert Norton
1
-1
/
+1
2019-05-24
Attempt to fix opam build with opam2: use a .install file and don't rely on o...
Robert Norton
4
-9
/
+7
2019-05-24
Add Makefile rule to get line count.
Robert Norton
1
-0
/
+3
2019-05-23
Merge branch 'master' into master-cleanup
Prashanth Mundkur
3
-0
/
+51
2019-05-23
Be more careful about matching only instructions that are defined for xlen be...
Robert Norton
2
-11
/
+12
2019-05-20
Add descr file for opam.
0.1
Robert Norton
1
-0
/
+1
2019-05-20
Add opam file and make targets to build and install C emulator (32 and 64 bit).
Robert Norton
2
-0
/
+48
2019-05-17
Work around name clash in Isabelle
Thomas Bauereiss
1
-0
/
+2
2019-05-14
Merge branch 'master' into master-cleanup
Prashanth Mundkur
2
-3
/
+3
2019-05-14
Update docs.
Prashanth Mundkur
2
-21
/
+28
2019-05-14
Improve the interface to access CSRs in extensions.
Prashanth Mundkur
5
-7
/
+28
2019-05-13
also convert RMEM sentinel instructions to return Retired enum
Jon French
1
-2
/
+2
2019-05-13
Makefile: add -tofrominterp_mwords option
Jon French
1
-1
/
+1
2019-05-10
Update docs.
Prashanth Mundkur
2
-1
/
+25
2019-05-10
Rename regbits to regidx, to clarify the type is an index and not the content...
Prashanth Mundkur
8
-121
/
+121
2019-05-10
Use an explicit enum to indicate the retire status as opposed to a boolean to...
Prashanth Mundkur
12
-95
/
+105
2019-05-10
Merge pull request #6 from jrtc27/asm-load-store-imm
Prashanth Mundkur
1
-3
/
+3
2019-05-10
Print canonical assembly for immediate loads/stores
James Clarke
1
-3
/
+3
2019-05-08
Allow overide of utvec in identical way to mtvec/stvec in previous commit.
Robert Norton
2
-2
/
+10
2019-05-07
Allow overrides for mtvec/stvec accessors.
Prashanth Mundkur
2
-4
/
+22
2019-05-06
Factor out sync_exception to fix dependencies in cheri, and similarly split o...
Prashanth Mundkur
5
-28
/
+28
2019-05-03
Enable some asserts.
Prashanth Mundkur
1
-4
/
+4
2019-05-03
Fix a todo for c.slli on RV32.
Prashanth Mundkur
1
-3
/
+2
2019-05-03
Minor formatting cleanup and remove obsolete comments.
Prashanth Mundkur
4
-15
/
+14
2019-05-03
Fix inconsistency in accessing PC/nextPC, which also clarifies which handlers...
Prashanth Mundkur
5
-16
/
+16
2019-05-03
Fix compile due to missed effect declaration.
Prashanth Mundkur
1
-1
/
+1
2019-05-03
Don't assume regtype is bitvector in init_base_regs.
Robert Norton
1
-31
/
+31
2019-05-03
Fix a couple of warnings.
Robert Norton
1
-2
/
+4
2019-05-02
rvfi: clear memory between tests.
Prashanth Mundkur
1
-1
/
+9
2019-05-02
rvfi: fixes for RV32
Prashanth Mundkur
4
-8
/
+8
[next]