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-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-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-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-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
2019-07-01
Improve argument parsing of C emulator. Make trace / no-trace argument optional.
Robert Norton
1
-11
/
+14
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
Update the os-boot patch.
Prashanth Mundkur
1
-32
/
+39
2019-06-27
Update docs and diagram.
Prashanth Mundkur
3
-240
/
+275
2019-06-27
Merge branch 'master' into pmp
Prashanth Mundkur
3
-0
/
+57
2019-06-27
Merge branch 'master-cleanup' into pmp
Prashanth Mundkur
4
-6
/
+10
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
Fixes for get_perf.py script: fix name of tests directory and cope with uc-p ...
Robert Norton
1
-2
/
+2
[next]