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
2019-01-29
Add CSRs for the 'N' extension arch state and expose to CSR read/write.
Prashanth Mundkur
1
-1
/
+1
2019-01-29
Factor the _sys functionality into separate files for architectural state and...
Prashanth Mundkur
1
-2
/
+4
2019-01-29
Added riscv_rmem that generates the lem files for rmem (which are different f...
Shaked Flur
1
-4
/
+19
2019-01-25
Factor out each extension into separate files, do some minor cleanup.
Prashanth Mundkur
1
-3
/
+4
2019-01-22
Build HOL definitions by default
Thomas Bauereiss
1
-1
/
+1
2019-01-22
Add build Makefile targets for prover backends
Thomas Bauereiss
1
-3
/
+36
2019-01-21
Output auxiliary Isabelle theories into generated_definitions/isabelle
Thomas Bauereiss
1
-6
/
+9
2019-01-16
More reorg.
Prashanth Mundkur
1
-71
/
+71
2019-01-16
Properly locate generated latex.
Prashanth Mundkur
1
-1
/
+2
2019-01-16
Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...
Prashanth Mundkur
1
-27
/
+28
2019-01-15
Ensure generated model sub-dirs are created.
Prashanth Mundkur
1
-0
/
+12
2019-01-15
Make the names of the OCaml and C simulators more similar, with C being the d...
Prashanth Mundkur
1
-9
/
+9
2019-01-14
Reorganize directory structure.
Prashanth Mundkur
1
-95
/
+89
2019-01-02
Add termination measures to get patch-free Coq output
Brian Campbell
1
-2
/
+3
2018-12-20
Commit changes from rems-project/sail@b167a59affdb6428fa0656a092b335a3a6899d5...
Robert Norton
1
-0
/
+6
2018-12-17
Fix stray - in Makefile accidentally introduced by previous commit.
Robert Norton
1
-1
/
+1
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
[prev]
[next]