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-09-17
Add a hook for extensions to supress writes to misa.C if necessary.
ext_misa
Robert Norton
3
-3
/
+10
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
184
-276
/
+308615
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
24
-254
/
+261
2019-08-14
Update Coq snapshots
Brian Campbell
23
-2543
/
+6122
2019-08-13
Fix Coq duopod build by giving missing termination measure
Brian Campbell
2
-1
/
+2
2019-08-13
Update barriers in Coq.
Brian Campbell
1
-11
/
+11
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-26
Fix HOL4 snapshot for recent versions of HOL4
Thomas Bauereiss
2
-4
/
+2
2019-07-25
Update directory map in readme.
Prashanth Mundkur
1
-0
/
+2
2019-07-25
Add snapshots of theorem prover definitions
Thomas Bauereiss
148
-0
/
+304756
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
15
-242
/
+320
2019-07-22
Merge branch 'master' into vmem_ext
Prashanth Mundkur
13
-61
/
+518
2019-07-19
Remove cheri-specific comment.
Prashanth Mundkur
1
-1
/
+0
2019-07-19
Merge branch 'master-cleanup'
Prashanth Mundkur
9
-11
/
+215
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-19
Fixed two typos
Shaked Flur
1
-1
/
+1
2019-07-18
More tweaks to reading guide and diagram.
Prashanth Mundkur
3
-31
/
+36
2019-07-18
Minor tweaks.
Prashanth Mundkur
1
-4
/
+7
2019-07-18
Add info about the C emulator to the reading guide.
Prashanth Mundkur
4
-6
/
+186
2019-07-18
Make sure everything builds correctly
Alasdair Armstrong
5
-49
/
+303
2019-07-18
Revert "Support DMB/DSB domains"
Alasdair Armstrong
4
-44
/
+44
2019-07-18
Support DMB/DSB domains
Shaked Flur
4
-44
/
+44
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
15
-168
/
+178
2019-07-11
Merge branch 'master-cleanup'
Prashanth Mundkur
17
-355
/
+419
2019-07-11
Tweak fig.
Prashanth Mundkur
2
-10
/
+12
2019-07-11
Undo get_config workarounds.
Prashanth Mundkur
3
-28
/
+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 pull request #15 from heshamelmatary/master
Prashanth Mundkur
1
-0
/
+0
2019-07-09
Merge branch 'master-cleanup' of github.com:rems-project/sail-riscv into mast...
Prashanth Mundkur
4
-0
/
+11
2019-07-09
Minor tweak to fig.
Prashanth Mundkur
2
-231
/
+235
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
3
-7
/
+24
2019-07-09
Fix shadowing of the -v option in C emulator.
Prashanth Mundkur
1
-6
/
+6
2019-07-09
Add ext_rvfi_init to allow model to be initialised differently for rvfi.
Robert Norton
4
-0
/
+11
2019-07-03
Add a maximum memory access size to slightly improve C code geneation.
Robert Norton
3
-23
/
+32
2019-07-03
os-boot: Update Hafnium image
Hesham Almatary
1
-0
/
+0
2019-07-02
Default terminal output to stdout instead of in 'term.log'.
Robert Norton
1
-2
/
+1
2019-07-02
Add an instruction limit option to C emulator. Also print kips every 2**20 (~...
Robert Norton
1
-2
/
+22
2019-07-02
Crank up optimisation (sail and gcc).
Robert Norton
1
-2
/
+2
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
[next]