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-11-05
Add extension point for checking CSR access.
csr_ext
Robert Norton
2
-0
/
+17
2019-11-05
Add a hook to allow extensions to veto xret. This will be used by CHERI exten...
xret_ext
Robert Norton
3
-11
/
+21
2019-09-18
Add a hook for extensions to supress writes to misa.C if necessary.
Robert Norton
2
-2
/
+9
2019-09-18
Squashed commit of various patches from @scottj97:
Prashanth Mundkur
2
-64
/
+64
2019-09-10
Refactor CSR code to use scattered functions / mappings for ease of extension.
Robert Norton
4
-240
/
+151
2019-09-10
Call ext_fetch_check_pc for rvfi fetch as for normal fetch.
Robert Norton
1
-19
/
+31
2019-09-10
Changes from Peter Rugg to make misa.C only writable if enabled at boot by sy...
Robert Norton
1
-3
/
+5
2019-09-06
Fix rvfi build for cast free prelude.
Robert Norton
1
-2
/
+2
2019-09-04
Merge remote-tracking branch 'origin/master' into vmem_ext.
vmem_ext
Robert Norton
27
-263
/
+267
2019-08-20
Whitespace fixes to nuke tabs.
no_casts
Prashanth Mundkur
7
-15
/
+15
2019-08-19
RISC-V spec, without implicit casts
Alasdair Armstrong
23
-253
/
+260
2019-08-13
Fix Coq duopod build by giving missing termination measure
Brian Campbell
1
-0
/
+1
2019-08-09
Allow accumulation of information during page-table-walk for extensions.
Prashanth Mundkur
13
-138
/
+150
2019-08-05
Add some effects to execute function declarationand remove val specs for call...
Robert Norton
3
-8
/
+4
2019-07-23
Fix compile error in cheri mode.
Prashanth Mundkur
1
-1
/
+1
2019-07-22
Make a custom exception code available for extensions, and remove the E_CHERI...
Prashanth Mundkur
14
-241
/
+317
2019-07-22
Merge branch 'master' into vmem_ext
Prashanth Mundkur
6
-5
/
+240
2019-07-19
Remove cheri-specific comment.
Prashanth Mundkur
1
-1
/
+0
2019-07-19
Merge branch 'master-cleanup'
Prashanth Mundkur
5
-4
/
+20
2019-07-19
Add a new pc access function to get the architectural PC: on CHERI this is no...
master-cleanup
Robert Norton
4
-3
/
+12
2019-07-18
Make sure everything builds correctly
Alasdair Armstrong
2
-0
/
+220
2019-07-18
Revert "Support DMB/DSB domains"
Alasdair Armstrong
2
-22
/
+22
2019-07-18
Support DMB/DSB domains
Shaked Flur
2
-22
/
+22
2019-07-17
Disable mmio devices (clint and htif interfaces) when using RVFI to prevent d...
Robert Norton
1
-1
/
+8
2019-07-16
Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...
Prashanth Mundkur
7
-32
/
+49
2019-07-15
Allow extensions to types of memory access, and factor out PTE and PTW defini...
Prashanth Mundkur
14
-166
/
+176
2019-07-11
Undo get_config workarounds.
Prashanth Mundkur
1
-4
/
+10
2019-07-11
Fix an issue where zeros function defined in sail conflicted with lem builtin...
Robert Norton
1
-24
/
+7
2019-07-09
Merge branch 'master-cleanup' of github.com:rems-project/sail-riscv into mast...
Prashanth Mundkur
2
-0
/
+9
2019-07-09
Add some missed logging guards.
Prashanth Mundkur
6
-47
/
+83
2019-07-09
Move the get_config_ print defaults to the backend preludes, since it seems t...
Prashanth Mundkur
1
-7
/
+0
2019-07-09
Add ext_rvfi_init to allow model to be initialised differently for rvfi.
Robert Norton
2
-0
/
+9
2019-07-03
Add a maximum memory access size to slightly improve C code geneation.
Robert Norton
3
-23
/
+32
2019-07-01
Predicate another bit of tracing.
Robert Norton
1
-1
/
+2
2019-07-01
Merge remote-tracking branch 'origin/master' into master-cleanup
Robert Norton
11
-21
/
+37
2019-06-28
Rename zeros and ones implicit functions to something that sail monomorphisat...
Robert Norton
1
-7
/
+4
2019-06-28
add interpreter extern for string_of_int
Jon French
1
-1
/
+1
2019-06-28
Avoid implicit casts to string
Alasdair
11
-20
/
+36
2019-06-27
Merge pull request #14 from gameboo/aj443-fixes
Prashanth Mundkur
4
-8
/
+8
2019-06-27
Merge branch 'master-cleanup' into pmp
Prashanth Mundkur
3
-4
/
+8
2019-06-27
Fix the lem target.
Prashanth Mundkur
2
-84
/
+68
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
[next]