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
Age
Commit message (
Expand
)
Author
Files
Lines
2023-06-12
CODE_STYLE: Explicitly ban strings for non-text
Jessica Clarke
1
-0
/
+2
2023-05-31
Fix build for Coq 8.17
Michael Sammler
1
-1
/
+1
2023-05-31
Add opam packaging for the Coq output
Brian Campbell
2
-0
/
+46
2023-05-31
Coq updates for Sail 0.15
Brian Campbell
2
-15
/
+1
2023-05-29
apply_headers: regenerate copyright headers
update-copyright-headers
Philipp Tomsich
91
-79
/
+1075
2023-05-29
LICENCE: add VRULL and myself as contributors
Philipp Tomsich
1
-0
/
+2
2023-05-29
LICENSE: update copyright years
Philipp Tomsich
1
-1
/
+1
2023-05-29
coding style: fix style issues from merge of PR #257
Philipp Tomsich
2
-8
/
+10
2023-05-29
Add Zfa extension support (excl. quad-precision)
Philipp Tomsich
9
-6
/
+1067
2023-05-29
Fix minstret off-by-one when mcountinhibit is set
Tim Hutt
4
-12
/
+18
2023-05-29
Changed the pmp initial misconfiguration check so that if the low and high ra...
Muhammad Bilal Sakhawat
1
-1
/
+1
2023-05-29
Add support for the Zicond extension
Philipp Tomsich
4
-2
/
+43
2023-05-29
RVFI: only report write data if the write succeeds
Alex Richardson
1
-13
/
+17
2023-04-10
Check for mstatus.FS when performing half-precision loads/stores
Alex Richardson
1
-3
/
+2
2023-04-04
fixed an issue with the -g switch which requires an argument. missing colon i...
William McSpaddden
1
-1
/
+1
2023-03-14
Add a new recipe to run the Sail tests manually via GH Actions (#229)
billmcspadden-riscv
Rafael Sene
1
-1
/
+1
2023-03-14
Use not() instead of ~() for boolean negation (#210)
Alexander Richardson
18
-51
/
+53
2023-03-14
Move ILLEGAL/C_ILLEGAL ast declaration to riscv_insts_begin.sail (#223)
Alexander Richardson
2
-4
/
+9
2023-03-07
Bump CI to Ubuntu 22.04 (#228)
Jessica Clarke
1
-3
/
+1
2023-03-06
Add wildcard cases to matches to suppress Sail warnings. (#197)
Robert Norton
16
-85
/
+127
2023-02-23
Remove duopod
Brian Campbell
5
-244
/
+1
2023-02-14
Revert "added 3 new command line switches (plus functionality): -X/--enable-...
Jessica Clarke
7
-70
/
+1
2023-02-13
added 3 new command line switches (plus functionality): -X/--enable-experime...
Bill McSpadden
7
-1
/
+70
2023-01-25
Increase flexibility of the decode hook (and simplify it) (#205)
Alexander Richardson
3
-14
/
+11
2023-01-20
Add include required on FreeBSD.
Robert Norton
1
-0
/
+1
2023-01-16
Fix packw sign-extension (#185)
Jan Henrik Weinstock
1
-1
/
+1
2023-01-16
Fix xperm4 index calculation (#186)
Jan Henrik Weinstock
1
-2
/
+2
2022-11-01
riscv_step: Fix -i/--mtval-has-illegal-inst-bits option (#174)
cookbook_br
Jessica Clarke
1
-0
/
+2
2022-08-24
Revert "c emulator makefile tweak, as suggested by Thibaut"
Alex Richardson
1
-1
/
+1
2022-08-24
Allow building without -fcommon
Alex Richardson
1
-2
/
+2
2022-08-09
Minimal updates for Coq proof assistant output
Brian Campbell
2
-3
/
+5
2022-07-13
Add support for Zhinx extension (#153)
Bilal Sakhawat
3
-155
/
+180
2022-02-16
Run ISA tests in CI (#134)
Jessica Clarke
5
-28
/
+130
2022-02-03
Added notes about copyright headers in code, and a reminder that (#146)
Martin Berger
2
-0
/
+9
2022-01-31
Add initial contributing and code style guides (#131)
Jessica Clarke
2
-0
/
+110
2022-01-21
Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135)
Bilal Sakhawat
8
-27
/
+196
2022-01-19
Configurable word size for test signature file output (#136)
Bilal Sakhawat
2
-10
/
+24
2022-01-19
Add support for Zfh extension (#129)
Bilal Sakhawat
21
-13
/
+3067
2022-01-19
Add support for Zmmul (#122)
Bilal Sakhawat
2
-2
/
+4
2022-01-19
sail-riscv.install: Regenerate
Jessica Clarke
1
-1
/
+1
2022-01-19
Makefile: Sort files when generating sail-riscv.install
Jessica Clarke
1
-1
/
+1
2022-01-19
sail-riscv.install: Remove no longer present riscv_iris.sail
Jessica Clarke
1
-1
/
+1
2021-12-05
Support BitManip Zba, Zbb, Zbc and Zbs extensions (#116)
Bilal Sakhawat
7
-0
/
+574
2021-11-22
Implement support for Zfinx (#130)
Jessica Clarke
17
-334
/
+452
2021-11-21
run_tests: Remove stray */ causing "Is a directory" spew
Jessica Clarke
1
-1
/
+1
2021-11-17
Revert "Initial introduction of zfinx (#75)"
Jessica Clarke
17
-397
/
+287
2021-11-17
Initial introduction of zfinx (#75)
Ibrahim Abu Kharmeh
17
-287
/
+397
2021-11-10
scalar-crypto: aesks1i clarifications
Ben Marshall
2
-16
/
+20
2021-11-10
scalar-crypto: whitespace consistency for SHA* instructions
Ben Marshall
1
-6
/
+6
2021-11-10
scalar-crypto: Consistent whitespace for ==
Ben Marshall
1
-10
/
+10
[prev]
[next]