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-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
2019-05-02
rvfi: fix mask encoding
Prashanth Mundkur
2
-2
/
+7
2019-05-02
rvfi: avoid setting write fields if the write traps.
Prashanth Mundkur
1
-15
/
+15
2019-05-02
rvfi: fix mem data and mask fields for reads.
Prashanth Mundkur
1
-7
/
+5
2019-05-02
rvfi: initialize registers between test runs.
Prashanth Mundkur
3
-0
/
+37
2019-05-02
Remove duplicate val spec for post_decode_hook.
Robert Norton
1
-5
/
+0
2019-05-02
Merge pull request #5 from rems-project/rmn30
Robert Norton
3
-17
/
+27
2019-05-02
Push address calculation inside the data_check_addr hook and rename it to dat...
rmn30
Robert Norton
3
-17
/
+27
2019-05-01
Add base address register as extra argument to ext_data_check_addr hook to as...
Robert Norton
3
-6
/
+6
2019-04-29
Update docs for previous commits.
Prashanth Mundkur
3
-7
/
+19
2019-04-29
Add a post decode hook aimed at implementing CHERI capability mode.
Robert Norton
4
-4
/
+11
2019-04-29
Remove unnecessary option in type of decode and decodeCompressed (never retur...
Robert Norton
2
-36
/
+18
2019-04-26
Pull in missed rvfi fix.
Prashanth Mundkur
1
-2
/
+2
2019-04-25
Fix coq build.
Prashanth Mundkur
1
-19
/
+19
2019-04-25
Add missed test files.
Prashanth Mundkur
5
-0
/
+258
2019-04-25
Merge branch 'master' into master-merge
Prashanth Mundkur
0
-0
/
+0
2019-04-25
riscv_extras.lem: update read/write_mem calls with (dummy) addrsize argument
Jon French
1
-18
/
+18
2019-04-25
riscv_extras.lem: update read/write_mem calls with (dummy) addrsize argument
Jon French
1
-18
/
+18
2019-04-24
Add extended model from cheri-merge.
Prashanth Mundkur
40
-747
/
+1068
2019-04-18
It turns out that the problem I was encountering with ARCH=32 was that I was ...
Robert Norton
1
-3
/
+2
2019-04-18
Fix make code so that ARCH=32,64 actually works as expected (use := for immed...
Robert Norton
1
-7
/
+8
2019-04-18
Parameterise memory read/write primitives by address length
Jon French
2
-20
/
+20
2019-04-17
Fix a 64-bitism.
Prashanth Mundkur
1
-1
/
+1
2019-04-12
Merge branch 'master' into rmem_interpreter
rmem_interpreter
Jon French
17
-79
/
+154
2019-04-12
ocaml emulator: add ocaml impls for new standard Sail memory functions
Jon French
1
-0
/
+12
2019-04-10
Update Coq memory interfaces
Brian Campbell
2
-32
/
+39
2019-04-09
Add a script to build rv32/rv64 ocaml and c emulators.
Prashanth Mundkur
1
-0
/
+8
2019-04-09
Fix c.addiw to expand to a non-rvc instruction as per spec.
Prashanth Mundkur
1
-7
/
+2
2019-04-04
Add `sys_enable_writable_misa` and `sys_enable_rvc` to Coq extras file
Brian Campbell
1
-0
/
+3
2019-04-03
Tweak print_* bindings for Lem
Thomas Bauereiss
3
-4
/
+10
2019-04-01
Add missed lem definitions for sys misa/rvcflags.
Prashanth Mundkur
2
-0
/
+16
2019-03-29
Add a note about 32-bit OS boots.
Prashanth Mundkur
1
-0
/
+3
2019-03-29
Generalize the previous commit to handle hardwired misa.c.
Prashanth Mundkur
9
-33
/
+69
2019-03-29
Tweak legalize_xepc according to spec: xepc[1] should always be writeable.
Robert Norton
1
-4
/
+5
2019-03-25
Fix prelude for new names of div and mod functions.
Robert Norton
1
-3
/
+3
2019-03-14
Merge branch 'master' into rmem_interpreter
Jon French
594
-4948
/
+102598
2019-03-14
Use Bytes.get instead of square bracket notation. I think this is an ocaml ve...
Robert Norton
1
-4
/
+4
2019-03-13
Add workaround for records with len parameters
Brian Campbell
1
-0
/
+1
2019-03-12
Fix missed tlb updates.
Prashanth Mundkur
2
-4
/
+4
2019-03-12
refactor memory access to use new sail intrinsics
Jon French
3
-139
/
+49
2019-03-12
riscv_platform.sail: use externs for platform values even in interpreter
Jon French
3
-26
/
+16
2019-03-12
fix missing separator in shift instruction disassemblies
Jon French
1
-2
/
+2
2019-03-12
prelude.sail: fix print_foo externs in interpreter
Jon French
1
-4
/
+4
2019-03-12
Makefile: generate toFromInterp and marshalled defs for RMEM
Jon French
1
-8
/
+16
[next]