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-05-20
Add opam file and make targets to build and install C emulator (32 and 64 bit).
Robert Norton
1
-0
/
+15
2019-05-17
Work around name clash in Isabelle
Thomas Bauereiss
1
-0
/
+2
2019-05-13
Makefile: add -tofrominterp_mwords option
Jon French
1
-1
/
+1
2019-05-06
Factor out sync_exception to fix dependencies in cheri, and similarly split o...
Prashanth Mundkur
1
-4
/
+5
2019-05-03
Fix inconsistency in accessing PC/nextPC, which also clarifies which handlers...
Prashanth Mundkur
1
-3
/
+3
2019-04-29
Add a post decode hook aimed at implementing CHERI capability mode.
Robert Norton
1
-2
/
+2
2019-04-24
Add extended model from cheri-merge.
Prashanth Mundkur
1
-14
/
+29
2019-04-18
It turns out that the problem I was encountering with ARCH=32 was that I was ...
Robert Norton
1
-3
/
+2
2019-04-18
Fix make code so that ARCH=32,64 actually works as expected (use := for immed...
Robert Norton
1
-7
/
+8
2019-03-14
Merge branch 'master' into rmem_interpreter
Jon French
1
-72
/
+114
2019-03-13
Add workaround for records with len parameters
Brian Campbell
1
-0
/
+1
2019-03-12
Makefile: generate toFromInterp and marshalled defs for RMEM
Jon French
1
-8
/
+16
2019-03-11
Fix typo in Makefile.
Prashanth Mundkur
1
-1
/
+1
2019-03-05
Some fixes to readme and makefile.
Prashanth Mundkur
1
-5
/
+5
2019-03-04
Merge branch 'master' into rv32
Prashanth Mundkur
1
-4
/
+3
2019-03-04
Makefile: build toFromInterp file for RMEM
Jon French
1
-0
/
+4
2019-03-03
rmem does not need the -lem_sequential anymore
Shaked Flur
1
-4
/
+2
2019-03-01
Make clean remove coq extras build files
Brian Campbell
1
-0
/
+1
2019-02-27
Initial attempt to separate generated files by ARCH. Some backends/rvfi/rmem...
Prashanth Mundkur
1
-56
/
+55
2019-02-26
Merge branch 'master' into rv32
Prashanth Mundkur
1
-6
/
+16
2019-02-20
Add ELF architecture checks to the loaders in the OCaml and C emulators.
Prashanth Mundkur
1
-1
/
+1
2019-02-19
Adjust Makefile to use an ARCH argument. Undo xlen guards in riscv_analysis,...
Prashanth Mundkur
1
-10
/
+47
2019-02-13
Add Sv32 and Sv48 by essentially copying Sv39.
Prashanth Mundkur
1
-1
/
+3
2019-02-13
Pull out the Sv39 and its TLB into separate files.
Prashanth Mundkur
1
-1
/
+1
2019-02-13
Make repository have shape RMEM expects
Alasdair Armstrong
1
-2
/
+2
2019-02-13
Switch version of riscv_extras.lem depending on Sail version
Alasdair Armstrong
1
-12
/
+13
2019-02-12
Start extracting bits of vmem that should be common to RV32, and add some def...
Prashanth Mundkur
1
-2
/
+4
2019-02-12
Minor makefile cleanup h/t @fshaked.
Prashanth Mundkur
1
-4
/
+3
2019-02-12
Compatability fixes from Sail 0.7.1 to Sail 0.8
Alasdair Armstrong
1
-1
/
+11
2019-02-11
Fix xlen variable name.
Prashanth Mundkur
1
-1
/
+1
2019-02-11
More refactoring for RV32
Prashanth Mundkur
1
-2
/
+2
2019-02-08
Start parameterizing definitions by xlen, which is currently still 64.
Prashanth Mundkur
1
-2
/
+2
2019-02-08
Split out the mapping prelude into its own file.
Prashanth Mundkur
1
-5
/
+7
2019-01-31
Fix riscv_isa_build Makefile target
Thomas Bauereiss
1
-1
/
+2
2019-01-29
Update Makefile.
Prashanth Mundkur
1
-1
/
+1
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
[next]