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-12-19
lem: Fix issues created by vector extension
Alasdair
8
-699
/
+149
2023-12-19
lem: Fix use of 'class' in riscv_insts_vext_utils
Alasdair
1
-24
/
+12
2023-12-12
Update CODE_STYLE.md
Alasdair Armstrong
1
-0
/
+2
2023-12-06
Fix kext warning
Alasdair
1
-13
/
+11
2023-12-06
Makefile: Set OPAMCLI to 2.0
Alasdair
1
-0
/
+3
2023-12-06
Remove effect annotations from vector extension
Alasdair
6
-79
/
+79
2023-11-29
Make consistent operand names
Paul A. Clarke
3
-6
/
+6
2023-11-29
Fix Store-Conditional assembly operand order and add parens
Paul A. Clarke
2
-4
/
+4
2023-11-29
Some simple CI housekeeping
Alasdair
2
-6
/
+6
2023-11-13
csim: Fix issue with trace_log FILE * in printf
Alasdair
1
-1
/
+1
2023-11-10
Use separators, not spaces, between operands
Paul A. Clarke
1
-40
/
+40
2023-10-25
Remove duplicate shift definitions
Tim Hutt
2
-44
/
+6
2023-10-25
Simplify softfloat interface by removing write_fflags
Tim Hutt
9
-108
/
+92
2023-10-17
RISC-V Vector Extension Support
Xinlai Wan
28
-11
/
+8547
2023-10-11
Rename enable-fiom to enable-writable-fiom
Tim Hutt
11
-46
/
+46
2023-10-11
Implement menvcfg
Tim Hutt
14
-0
/
+104
2023-10-10
Fix lem build error
Alasdair
1
-1
/
+1
2023-10-10
Fix fmaxm.d definition
Paul A. Clarke
1
-1
/
+1
2023-09-26
Per section 3.1.1 of the Privileged Spec (Machine ISA Register misa): F/D bot...
ahadali5000
1
-3
/
+3
2023-09-20
Allow loading more than one ELF binary
Alex Richardson
1
-12
/
+21
2023-09-20
Refactor process_args to return the argv index instead of the value
Alex Richardson
1
-3
/
+8
2023-09-20
Report the faulting virtual address in tval
Alex Richardson
2
-6
/
+6
2023-09-12
Remove effects
Tim Hutt
32
-189
/
+189
2023-09-12
Remove non-existent function from overload
Alasdair
1
-2
/
+2
2023-09-12
Remove redundant type annotations on w_pte & add explicit `var`.
Tim Hutt
3
-5
/
+5
2023-09-12
Fix some stray tabs
Tim Hutt
2
-4
/
+4
2023-09-12
Add z3_problems to .gitignore
Tim Hutt
1
-0
/
+1
2023-09-12
Remove redundant _ match case
Tim Hutt
1
-1
/
+0
2023-09-12
Remove duplicate xor_vec
Tim Hutt
1
-2
/
+0
2023-08-28
If C cannot be disabled, all changes to misa must be suppressed
ahadali5000
1
-15
/
+12
2023-08-28
Avoid unnecessary empty lines when instruction tracing is on
Alex Richardson
1
-2
/
+0
2023-08-28
Fix --help output for options without a short flag
Alex Richardson
1
-1
/
+5
2023-08-28
csim: Allow redirecting trace output to a file using command line flag
Alex Richardson
3
-29
/
+52
2023-08-01
Rename EXTZ and EXTS
Alasdair
42
-256
/
+256
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-06-19
Add clang-format to the pre-commit hooks
Alex Richardson
1
-0
/
+5
2023-06-19
Update pre-commit-hooks version
Alex Richardson
1
-1
/
+2
2023-06-15
Run the pre-commit checks as part of CI
Alex Richardson
1
-4
/
+6
2023-06-15
Run the pre-commit hook on all files
Alex Richardson
28
-115
/
+115
2023-06-15
Add a basic pre-commit hook and update CONTRIBUTING.md
Alex Richardson
2
-0
/
+16
2023-06-15
Add a clang-format configuration and reformat C code (#261)
Alexander Richardson
11
-236
/
+413
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
[next]