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
/
riscv_insts_base.sail
Age
Commit message (
Expand
)
Author
Files
Lines
2024-05-11
Change immediates to be signed in assembly
KotorinMinami
1
-8
/
+8
2024-05-07
fixup! fixup! fixup! Add Svinval extension.
Martin Berger
1
-46
/
+0
2024-05-07
Add Svinval extension.
Martin Berger
1
-0
/
+46
2024-04-12
Remove & rename duplicate word_width <-> bytes mappings
Tim Hutt
1
-4
/
+4
2024-02-08
Shorten copyright notice at the top of each file
Tim Hutt
1
-65
/
+3
2024-01-31
Update bitfield syntax
Alasdair
1
-3
/
+3
2023-11-29
Fix Store-Conditional assembly operand order and add parens
Paul A. Clarke
1
-2
/
+2
2023-10-25
Remove duplicate shift definitions
Tim Hutt
1
-42
/
+4
2023-10-11
Implement menvcfg
Tim Hutt
1
-0
/
+17
2023-09-12
Remove effects
Tim Hutt
1
-1
/
+1
2023-08-01
Rename EXTZ and EXTS
Alasdair
1
-16
/
+16
2023-06-15
Run the pre-commit hook on all files
Alex Richardson
1
-1
/
+0
2023-05-29
apply_headers: regenerate copyright headers
update-copyright-headers
Philipp Tomsich
1
-1
/
+3
2023-03-14
Use not() instead of ~() for boolean negation (#210)
Alexander Richardson
1
-8
/
+8
2023-03-06
Add wildcard cases to matches to suppress Sail warnings. (#197)
Robert Norton
1
-16
/
+19
2021-07-29
Use headache to apply copyright header at request of Peter Sewell.
Robert Norton
1
-0
/
+68
2021-02-02
Reformat excessively-long lines
Scott Johnson
1
-2
/
+8
2021-01-27
MRET and SRET should increment minstret when successful
Scott Johnson
1
-8
/
+6
2020-10-15
Store PC in mtval on EBREAK to match a spec update.
Prashanth Mundkur
1
-1
/
+1
2020-09-22
Handle empty predecessor or successor RW sets in FENCE as no-ops, as IO concu...
Prashanth Mundkur
1
-2
/
+4
2020-05-27
Fix bug: mtval (and [su]tval) should get vaddr, not paddr
Scott Johnson
1
-2
/
+2
2020-05-27
Rename var to distinguish vaddr from paddr
Scott Johnson
1
-16
/
+16
2020-05-27
Rename param to distinguish vaddr from paddr
Scott Johnson
1
-2
/
+2
2020-04-01
Set mtval to 0 on ebreak. Fixes #44.
Prashanth Mundkur
1
-1
/
+1
2019-11-05
Add a hook to allow extensions to veto xret. This will be used by CHERI exten...
xret_ext
Robert Norton
1
-11
/
+14
2019-09-04
Merge remote-tracking branch 'origin/master' into vmem_ext.
vmem_ext
Robert Norton
1
-18
/
+18
2019-08-20
Whitespace fixes to nuke tabs.
no_casts
Prashanth Mundkur
1
-6
/
+6
2019-08-19
RISC-V spec, without implicit casts
Alasdair Armstrong
1
-18
/
+18
2019-08-09
Allow accumulation of information during page-table-walk for extensions.
Prashanth Mundkur
1
-4
/
+4
2019-07-22
Make a custom exception code available for extensions, and remove the E_CHERI...
Prashanth Mundkur
1
-8
/
+8
2019-07-22
Merge branch 'master' into vmem_ext
Prashanth Mundkur
1
-1
/
+45
2019-07-19
Merge branch 'master-cleanup'
Prashanth Mundkur
1
-1
/
+1
2019-07-19
Add a new pc access function to get the architectural PC: on CHERI this is no...
master-cleanup
Robert Norton
1
-1
/
+1
2019-07-18
Make sure everything builds correctly
Alasdair Armstrong
1
-0
/
+44
2019-07-18
Revert "Support DMB/DSB domains"
Alasdair Armstrong
1
-11
/
+11
2019-07-18
Support DMB/DSB domains
Shaked Flur
1
-11
/
+11
2019-07-15
Allow extensions to types of memory access, and factor out PTE and PTW defini...
Prashanth Mundkur
1
-8
/
+8
2019-06-24
Add PMP checks to physical memory accesses.
Prashanth Mundkur
1
-9
/
+9
2019-06-24
Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.
Prashanth Mundkur
1
-4
/
+4
2019-05-23
Be more careful about matching only instructions that are defined for xlen be...
Robert Norton
1
-5
/
+6
2019-05-10
Rename regbits to regidx, to clarify the type is an index and not the content...
Prashanth Mundkur
1
-15
/
+15
2019-05-10
Use an explicit enum to indicate the retire status as opposed to a boolean to...
Prashanth Mundkur
1
-42
/
+42
2019-05-10
Print canonical assembly for immediate loads/stores
James Clarke
1
-3
/
+3
2019-05-03
Minor formatting cleanup and remove obsolete comments.
Prashanth Mundkur
1
-2
/
+0
2019-05-03
Fix inconsistency in accessing PC/nextPC, which also clarifies which handlers...
Prashanth Mundkur
1
-4
/
+4
2019-05-02
Push address calculation inside the data_check_addr hook and rename it to dat...
rmn30
Robert Norton
1
-6
/
+8
2019-05-01
Add base address register as extra argument to ext_data_check_addr hook to as...
Robert Norton
1
-2
/
+2
2019-04-24
Add extended model from cheri-merge.
Prashanth Mundkur
1
-58
/
+88
2019-03-14
Merge branch 'master' into rmem_interpreter
Jon French
1
-49
/
+103
2019-03-12
refactor memory access to use new sail intrinsics
Jon French
1
-11
/
+11
[next]