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
2023-10-17
RISC-V Vector Extension Support
vector-dev
Xinlai Wan
1
-1
/
+13
2023-07-04
Adjust Makefile to only use posix options for sed
Brian Campbell
1
-4
/
+10
2023-06-27
Add Sail documentation target to Makefile
Alasdair
1
-0
/
+6
2023-05-31
Add opam packaging for the Coq output
Brian Campbell
1
-0
/
+11
2023-05-29
Add Zfa extension support (excl. quad-precision)
Philipp Tomsich
1
-0
/
+3
2023-05-29
Add support for the Zicond extension
Philipp Tomsich
1
-0
/
+2
2023-02-23
Remove duopod
Brian Campbell
1
-20
/
+0
2022-08-24
Revert "c emulator makefile tweak, as suggested by Thibaut"
Alex Richardson
1
-1
/
+1
2022-08-09
Minimal updates for Coq proof assistant output
Brian Campbell
1
-1
/
+1
2022-01-21
Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135)
Bilal Sakhawat
1
-0
/
+3
2022-01-19
Add support for Zfh extension (#129)
Bilal Sakhawat
1
-0
/
+3
2022-01-19
Makefile: Sort files when generating sail-riscv.install
Jessica Clarke
1
-1
/
+1
2021-12-05
Support BitManip Zba, Zbb, Zbc and Zbs extensions (#116)
Bilal Sakhawat
1
-0
/
+5
2021-10-26
Makefile: Remove stale comment
Jessica Clarke
1
-1
/
+0
2021-10-22
Recent rustc requires -lm for linking against the Sail coverage library (#118)
Brian Campbell
1
-1
/
+1
2021-10-22
Support D extension on RV32 (#108)
Jessica Clarke
1
-4
/
+2
2021-10-18
scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)
Ben Marshall
1
-1
/
+4
2021-07-29
Use headache to apply copyright header at request of Peter Sewell.
Robert Norton
1
-0
/
+4
2021-07-26
Update Coq snapshot
Brian Campbell
1
-2
/
+2
2021-06-25
Fix RVFI build by adding two more functions to c_preserve (#95)
Alexander Richardson
1
-0
/
+2
2021-06-25
Add comment explaining libgmp pkg-config workaround.
Robert Norton
1
-0
/
+1
2021-06-25
Merge pull request #88 from jrtc27/pkg-config
Robert Norton
1
-6
/
+7
2021-06-25
Update Makefile
Robert Norton
1
-1
/
+1
2021-05-04
Makefile: Generalise build to fix Arm-based Macs
Jessica Clarke
1
-6
/
+7
2021-03-16
Update Makefile for the new trace format
Alex Richardson
1
-1
/
+15
2020-09-04
Handle hints explicitly in order to not trap on them.
Prashanth Mundkur
1
-1
/
+1
2020-06-18
Make duopod build in coq again, and fix location
Brian Campbell
1
-5
/
+5
2020-06-16
Use an output file for generated branch information in the coverage build.
Prashanth Mundkur
1
-2
/
+3
2020-06-15
Update Coq part of the Makefile to use opam packages by default
Brian Campbell
1
-5
/
+28
2020-06-15
c emulator makefile tweak, as suggested by Thibaut
Christopher Pulte
1
-1
/
+1
2020-06-10
Enable sailcov support in c_emulator if SAILCOV is set in the environment.
Prashanth Mundkur
1
-1
/
+7
2020-06-04
- upgrade to opam 2 package
Christopher Pulte
1
-1
/
+4
2020-05-22
Add compressed F,D instructions.
Prashanth Mundkur
1
-2
/
+2
2020-05-22
Add a Makefile target for new Sail->C backend
Alasdair
1
-0
/
+4
2020-04-02
Fix a bug in the softfloat interface that caused exception flags not to get a...
Prashanth Mundkur
1
-2
/
+2
2020-02-26
Add convenience 'osim' target for ocaml emulator.
Robert Norton
1
-0
/
+2
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
[next]