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
path:
root
/
model
Age
Commit message (
Expand
)
Author
Files
Lines
2019-06-27
Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...
Alexandre Joannou
4
-8
/
+8
2019-06-27
Predicate more tracing with get_config_print_xxx.
Robert Norton
3
-5
/
+10
2019-06-26
Merge branch 'master-cleanup' into pmp
Prashanth Mundkur
3
-13
/
+29
2019-06-26
Add command line option in c_emulator for disabling tracing. Add builtins for...
Robert Norton
2
-2
/
+18
2019-06-25
Some more pruning and commenting of riscv_mem.
Prashanth Mundkur
1
-33
/
+37
2019-06-25
Add PMP regs to the is-defined predicate.
Prashanth Mundkur
1
-1
/
+20
2019-06-24
Add PMP checks to physical memory accesses.
Prashanth Mundkur
15
-61
/
+111
2019-06-24
Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.
Prashanth Mundkur
7
-23
/
+26
2019-06-24
Starting cleaning up physical memory bits for pmp integration.
Prashanth Mundkur
6
-63
/
+37
2019-06-21
Checked locked flag on PMP reg writes, and add the special case for the pmpad...
Prashanth Mundkur
3
-62
/
+64
2019-06-20
Hook in csr reads/writes to PMP regs. Locked entries are not yet handled.
Prashanth Mundkur
3
-85
/
+129
2019-06-20
Handle pmpcfg packing and unpacking for csr accesses.
Prashanth Mundkur
1
-22
/
+76
2019-06-20
Add PMP address and entry matching, and priority logic.
Prashanth Mundkur
3
-36
/
+218
2019-06-20
Add interpreter builtin for min_nat. Should min/max be in standard library?
Robert Norton
1
-1
/
+1
2019-06-19
Factor out mstatus.mprv checks for effective privilege for reuse in PMP.
Prashanth Mundkur
3
-6
/
+7
2019-06-19
Define PMP permission checking.
Prashanth Mundkur
1
-4
/
+43
2019-06-17
Add basic PMP definitions.
Prashanth Mundkur
1
-0
/
+25
2019-06-14
Use sail's built-in ones functions for compatibility with smt backend.
Robert Norton
1
-10
/
+4
2019-06-11
Fill in a few missing Coq built-ins
Brian Campbell
1
-3
/
+3
2019-06-03
Add a suppress_warnings directive in prelude_mapping.sail. Would be nice to f...
Robert Norton
1
-0
/
+6
2019-05-24
Make xret hooks differentiate between just reading xret target values and get...
Prashanth Mundkur
2
-4
/
+14
2019-05-23
Be more careful about matching only instructions that are defined for xlen be...
Robert Norton
2
-11
/
+12
2019-05-14
Merge branch 'master' into master-cleanup
Prashanth Mundkur
1
-2
/
+2
2019-05-14
Improve the interface to access CSRs in extensions.
Prashanth Mundkur
4
-7
/
+27
2019-05-13
also convert RMEM sentinel instructions to return Retired enum
Jon French
1
-2
/
+2
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
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
4
-24
/
+23
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
4
-13
/
+13
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: 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
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
1
-2
/
+7
2019-04-29
Add a post decode hook aimed at implementing CHERI capability mode.
Robert Norton
3
-2
/
+9
2019-04-29
Remove unnecessary option in type of decode and decodeCompressed (never retur...
Robert Norton
2
-36
/
+18
2019-04-24
Add extended model from cheri-merge.
Prashanth Mundkur
36
-725
/
+984
[prev]
[next]