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
/
handwritten_support
Age
Commit message (
Expand
)
Author
Files
Lines
2020-06-15
Remove obsolete Coq axiom
Brian Campbell
1
-2
/
+0
2020-06-15
Update handwritten Coq support files to match current Sail.
Brian Campbell
2
-10
/
+4
2020-04-07
Switch floating-point comparisons to using softfloat to avoid missed corner-c...
Prashanth Mundkur
2
-0
/
+32
2020-01-23
Add lem stubs for softfloat externs.
rsnikhil
Prashanth Mundkur
2
-0
/
+218
2020-01-22
Some fixes for lem build.
Prashanth Mundkur
2
-0
/
+8
2020-01-22
Fix coq build.
Prashanth Mundkur
1
-0
/
+1
2020-01-17
Update handwritten Coq to use boolean predicates
Brian Campbell
2
-11
/
+13
2019-11-26
Fix RV32 Coq build
Thomas Bauereiss
1
-4
/
+4
2019-11-25
Fix RV32 Lem build
Thomas Bauereiss
2
-4
/
+4
2019-10-09
Add {read,write}_ram for Coq
Thomas Bauereiss
1
-0
/
+11
2019-10-09
Read/write memory values and metadata together atomically
Thomas Bauereiss
2
-0
/
+32
2019-08-13
Update barriers in Coq.
Brian Campbell
1
-11
/
+11
2019-07-18
Make sure everything builds correctly
Alasdair Armstrong
2
-45
/
+79
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-06-24
Add PMP checks to physical memory accesses.
Prashanth Mundkur
2
-0
/
+8
2019-04-25
Fix coq build.
Prashanth Mundkur
1
-19
/
+19
2019-04-25
riscv_extras.lem: update read/write_mem calls with (dummy) addrsize argument
Jon French
1
-18
/
+18
2019-04-10
Update Coq memory interfaces
Brian Campbell
1
-20
/
+27
2019-04-04
Add `sys_enable_writable_misa` and `sys_enable_rvc` to Coq extras file
Brian Campbell
1
-0
/
+3
2019-04-03
Tweak print_* bindings for Lem
Thomas Bauereiss
2
-0
/
+6
2019-04-01
Add missed lem definitions for sys misa/rvcflags.
Prashanth Mundkur
2
-0
/
+16
2019-02-26
Restore riscv_extras damaged by merge.
Prashanth Mundkur
1
-9
/
+13
2019-02-13
Make repository have shape RMEM expects
Alasdair Armstrong
4
-3
/
+140
2019-02-13
Switch version of riscv_extras.lem depending on Sail version
Alasdair Armstrong
1
-0
/
+137
2019-01-22
Add build Makefile targets for prover backends
Thomas Bauereiss
1
-4
/
+6
2019-01-21
Output auxiliary Isabelle theories into generated_definitions/isabelle
Thomas Bauereiss
1
-2
/
+2
2019-01-19
Moved gen/ to handwritten_support/hgen
Shaked Flur
19
-0
/
+1367
2019-01-16
More reorg.
Prashanth Mundkur
5
-0
/
+439