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
2020-02-12
Merge branch 'master' into gdb
gdb
Prashanth Mundkur
1
-35
/
+63
2020-02-03
Add softfloat fdext defs for rmem build.
Prashanth Mundkur
1
-1
/
+1
2020-01-30
Invoke recursive make using $(MAKE) as GNU recommends
Scott Johnson
1
-2
/
+2
2020-01-29
Fix rvfi build.
Prashanth Mundkur
1
-1
/
+1
2020-01-23
Add lem stubs for softfloat externs.
rsnikhil
Prashanth Mundkur
1
-2
/
+2
2020-01-22
Merge branch 'master' into rsnikhil
Prashanth Mundkur
1
-2
/
+2
2020-01-18
Allow extensions to provide their own exception codes/names
James Clarke
1
-2
/
+2
2020-01-08
Add softfloat to rvfi build.
Prashanth Mundkur
1
-1
/
+1
2020-01-07
Merge branch 'master' into rsnikhil.
Prashanth Mundkur
1
-26
/
+31
2020-01-07
Separate out RVFI simulators like non-RVFI
James Clarke
1
-4
/
+4
2019-12-05
Fix RVFI build
Thomas Bauereiss
1
-1
/
+1
2019-12-03
Merge remote-tracking branch 'origin/master' into mem_meta_merge
Robert Norton
1
-3
/
+10
2019-11-28
Fix check for BBV_DIR
Thomas Bauereiss
1
-1
/
+1
2019-11-26
Fix RV32 build for F/D extensions.
Prashanth Mundkur
1
-4
/
+7
2019-11-26
Add individual ocaml stubs for the softfloat functions.
Prashanth Mundkur
1
-1
/
+1
2019-11-25
Work around Isabelle problem in PTW functions
Thomas Bauereiss
1
-0
/
+1
2019-11-14
Create a RISC-V specialization for the default NaN bitpatterns in softfloat.
Prashanth Mundkur
1
-2
/
+3
2019-11-06
Separate out fdext control and update makefile.
Prashanth Mundkur
1
-11
/
+7
2019-11-05
Merge pull request #24 from rems-project/csr_ext
Prashanth Mundkur
1
-0
/
+6
2019-11-04
First cut at adding externs for softfloat.
Prashanth Mundkur
1
-5
/
+15
2019-11-01
Fix up riscv_duopod and make self contained
Alasdair Armstrong
1
-3
/
+3
2019-10-31
Add convenience targets for c emulator and rvfi.
Robert Norton
1
-0
/
+6
2019-10-23
Split 'riscv_insts_fdext.sail' into separate files for F and D, 'riscv_insts_...
rsnikhil
1
-1
/
+1
2019-10-22
gdb: initial refactor of server to be model agnostic.
Prashanth Mundkur
1
-2
/
+2
2019-10-22
Work-in-progress commit; some 'execute' clauses completed (detail below).
rsnikhil
1
-1
/
+2
2019-10-21
Interim commit while developing code for F, D extensions (detail below).
rsnikhil
1
-1
/
+13
2019-10-09
Add {read,write}_ram for Coq
Thomas Bauereiss
1
-5
/
+6
2019-10-09
Read/write memory values and metadata together atomically
Thomas Bauereiss
1
-16
/
+12
2019-10-09
Initial scaffolding for gdb remote server.
Prashanth Mundkur
1
-0
/
+2
2019-09-18
Add a hook for extensions to supress writes to misa.C if necessary.
Robert Norton
1
-1
/
+1
2019-09-17
Run Sail with -dno_cast even when it comes from opam package
Scott Johnson
1
-1
/
+3
2019-09-04
Merge remote-tracking branch 'origin/master' into vmem_ext.
vmem_ext
Robert Norton
1
-2
/
+2
2019-08-19
RISC-V spec, without implicit casts
Alasdair Armstrong
1
-1
/
+1
2019-08-13
Fix Coq duopod build by giving missing termination measure
Brian Campbell
1
-1
/
+1
2019-07-22
Make a custom exception code available for extensions, and remove the E_CHERI...
Prashanth Mundkur
1
-1
/
+3
2019-07-22
Merge branch 'master' into vmem_ext
Prashanth Mundkur
1
-4
/
+4
2019-07-19
Fixed two typos
Shaked Flur
1
-1
/
+1
2019-07-18
Make sure everything builds correctly
Alasdair Armstrong
1
-4
/
+4
2019-07-15
Allow extensions to types of memory access, and factor out PTE and PTW defini...
Prashanth Mundkur
1
-2
/
+2
2019-07-02
Crank up optimisation (sail and gcc).
Robert Norton
1
-2
/
+2
2019-06-26
Merge branch 'master-cleanup' into pmp
Prashanth Mundkur
1
-0
/
+7
2019-06-20
Add PMP address and entry matching, and priority logic.
Prashanth Mundkur
1
-1
/
+5
2019-06-17
Add basic PMP definitions.
Prashanth Mundkur
1
-1
/
+1
2019-06-11
Remove unused directory from Coq imports, removing warning
Brian Campbell
1
-1
/
+1
2019-06-06
Add a makefile target to pre-compile the model for axiomatic concurrency tool
Alasdair
1
-0
/
+3
2019-06-03
Merge remote-tracking branch 'origin/master' into master-cleanup
Robert Norton
1
-14
/
+11
2019-06-03
Install sail and C sources in share directory of opam package.
Robert Norton
1
-0
/
+7
2019-05-31
Fix build on MacPorts/MacOS.
Prashanth Mundkur
1
-2
/
+6
2019-05-30
Include riscv_sim.c in C_SRCS
Scott Johnson
1
-5
/
+5
2019-05-30
Remove obsolete targets from Makefile
Scott Johnson
1
-7
/
+0
[next]