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
/
Makefile
Age
Commit message (
Expand
)
Author
Files
Lines
2018-12-17
Add build time COVERAGE option to build with gcc coverage. Attempt to choose ...
Robert Norton
1
-6
/
+17
2018-11-30
Update default make targets and README.
Prashanth Mundkur
1
-3
/
+9
2018-11-30
Disable line-of-code counting which is broken if SAIL_DIR is not set.
Robert Norton
1
-2
/
+2
2018-11-30
Split out riscv from sail repo using git-filter-branch.
Robert Norton
1
-14
/
+27
2018-11-29
RISC-V: more tidying up of the Spike interface.
Prashanth Mundkur
1
-12
/
+12
2018-11-12
Add RVFI DII version of the RISC-V simulator for TestRIG
Brian Campbell
1
-0
/
+9
2018-10-23
RISC-V: separate jalr execute clause for seq model and rmem.
Prashanth Mundkur
1
-3
/
+12
2018-10-23
RISC-V: Initial splitting of instructions across multiple files.
Prashanth Mundkur
1
-1
/
+3
2018-10-23
RISC-V: Allow Spike linkage to be conditionally enabled.
Prashanth Mundkur
1
-5
/
+13
2018-10-23
RISC-V: An initial C Sail model linked against Spike for testing.
Prashanth Mundkur
1
-0
/
+12
2018-10-23
RISC-V: Refactor c platform bits.
Prashanth Mundkur
1
-2
/
+3
2018-09-04
C: Tweaks to RISC-V to get compiling to C
Alasdair Armstrong
1
-1
/
+2
2018-08-31
Some C stubs for platform bits for RISC-V.
Prashanth Mundkur
1
-3
/
+5
2018-08-30
Annotate the RISC-V prelude for C builtins.
Prashanth Mundkur
1
-4
/
+4
2018-08-30
Add a C header containing declarations needed by RISC-V.
Prashanth Mundkur
1
-3
/
+3
2018-08-29
C: Fix some issues with tuples as arguments to polymorphic constructors
Alasdair Armstrong
1
-2
/
+6
2018-08-28
Adapt theory imports for Isabelle 2018
Thomas Bauereiss
1
-2
/
+2
2018-08-13
Add constraints to RISC-V duopod, makefile rules
Brian Campbell
1
-0
/
+4
2018-08-13
Basic Coq support for RISC-V
Brian Campbell
1
-0
/
+9
2018-07-27
Add a riscv latex target.
Prashanth Mundkur
1
-0
/
+3
2018-07-10
Start adding c-backend bits for riscv.
Prashanth Mundkur
1
-0
/
+3
2018-07-10
Make HOL build properly again for all of the models
Brian Campbell
1
-1
/
+2
2018-07-09
add riscv_analysis.sail to SAIL_SRCS
Jon French
1
-1
/
+1
2018-07-08
Add a riscv coverage target using bisect-ppx.
Prashanth Mundkur
1
-1
/
+13
2018-06-22
Add a simple trace log comparison tool for riscv vs. a patched spike.
Prashanth Mundkur
1
-0
/
+3
2018-06-11
Merge branch 'sail2' into mappings
Jon French
1
-4
/
+28
2018-05-23
Fix riscv build for older versions of ocamlbuild (e.g. 4.02.3) by copying pla...
Robert Norton
1
-5
/
+7
2018-05-22
Re-enable the RISC-V lem build, and switch the test-suite to use the platform...
Prashanth Mundkur
1
-1
/
+2
2018-05-21
Add in the platform files and update the ocaml build. Disable the isabelle b...
Prashanth Mundkur
1
-4
/
+11
2018-05-21
Move mem-op-result to _sys to be usable from _platform.
Prashanth Mundkur
1
-1
/
+1
2018-05-17
Tidy up HOL4 riscv a little
Brian Campbell
1
-0
/
+5
2018-05-17
Use an intermediate base_monad type alias in Lem,
Brian Campbell
1
-4
/
+4
2018-05-11
Merge branch 'sail2' into cheri-mono
Thomas Bauereiss
1
-0
/
+4
2018-05-10
RISC-V in HOL4
Brian Campbell
1
-0
/
+9
2018-05-10
Merge branch 'sail2' into mappings
Jon French
1
-1
/
+5
2018-05-10
riscv/Makefile: add SAIL variable for easier debugging
Jon French
1
-5
/
+6
2018-05-09
remove redundant cloc targets.
Robert Norton
1
-3
/
+0
2018-05-09
Add targets for counting lines in mips, cheri and riscv. Can use either slocc...
Robert Norton
1
-0
/
+7
2018-05-09
add SAIL_FLAGS env var to riscv makefile
Jon French
1
-5
/
+5
2018-05-03
Implement fetch to properly handle RVC and address translation, and add a ste...
Prashanth Mundkur
1
-1
/
+1
2018-04-23
Make riscv build depend on Makefile updates.
Prashanth Mundkur
1
-7
/
+7
2018-04-13
Move riscv memory definitions into a separate file.
Prashanth Mundkur
1
-1
/
+1
2018-03-21
Patch AST datatypes in generated Isabelle theories
Thomas Bauereiss
1
-0
/
+1
2018-02-15
Rebase state monad onto prompt monad
Thomas Bauereiss
1
-18
/
+18
2018-02-01
Clean up riscv_duopod sail and add make targets for ocaml and Isabelle.
Robert Norton
1
-0
/
+14
2018-01-29
riscv: fix warnings about incomplete patterns. Add a check target in Makefile...
Robert Norton
1
-0
/
+3
2018-01-29
Added ecall/mret and exception support.
Prashanth Mundkur
1
-1
/
+1
2018-01-27
Add Makefile for RISC-V
Thomas Bauereiss
1
-0
/
+24
[prev]