aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2023-10-17RISC-V Vector Extension Supportvector-devXinlai Wan28-11/+8547
2023-10-11Rename enable-fiom to enable-writable-fiomTim Hutt11-46/+46
2023-10-11Implement menvcfgTim Hutt14-0/+104
2023-10-10Fix lem build errorAlasdair1-1/+1
2023-10-10Fix fmaxm.d definitionPaul A. Clarke1-1/+1
2023-09-26Per section 3.1.1 of the Privileged Spec (Machine ISA Register misa): F/D bot...ahadali50001-3/+3
2023-09-20Allow loading more than one ELF binaryAlex Richardson1-12/+21
2023-09-20Refactor process_args to return the argv index instead of the valueAlex Richardson1-3/+8
2023-09-20Report the faulting virtual address in tvalAlex Richardson2-6/+6
2023-09-12Remove effectsTim Hutt32-189/+189
2023-09-12Remove non-existent function from overloadAlasdair1-2/+2
2023-09-12Remove redundant type annotations on w_pte & add explicit `var`.Tim Hutt3-5/+5
2023-09-12Fix some stray tabsTim Hutt2-4/+4
2023-09-12Add z3_problems to .gitignoreTim Hutt1-0/+1
2023-09-12Remove redundant _ match caseTim Hutt1-1/+0
2023-09-12Remove duplicate xor_vecTim Hutt1-2/+0
2023-08-28If C cannot be disabled, all changes to misa must be suppressedahadali50001-15/+12
2023-08-28Avoid unnecessary empty lines when instruction tracing is onAlex Richardson1-2/+0
2023-08-28Fix --help output for options without a short flagAlex Richardson1-1/+5
2023-08-28csim: Allow redirecting trace output to a file using command line flagAlex Richardson3-29/+52
2023-08-01Rename EXTZ and EXTSAlasdair42-256/+256
2023-07-04Adjust Makefile to only use posix options for sedBrian Campbell1-4/+10
2023-06-27Add Sail documentation target to MakefileAlasdair1-0/+6
2023-06-19Add clang-format to the pre-commit hooksAlex Richardson1-0/+5
2023-06-19Update pre-commit-hooks versionAlex Richardson1-1/+2
2023-06-15Run the pre-commit checks as part of CIAlex Richardson1-4/+6
2023-06-15Run the pre-commit hook on all filesAlex Richardson28-115/+115
2023-06-15Add a basic pre-commit hook and update CONTRIBUTING.mdAlex Richardson2-0/+16
2023-06-15Add a clang-format configuration and reformat C code (#261)Alexander Richardson11-236/+413
2023-06-12CODE_STYLE: Explicitly ban strings for non-textJessica Clarke1-0/+2
2023-05-31Fix build for Coq 8.17Michael Sammler1-1/+1
2023-05-31Add opam packaging for the Coq outputBrian Campbell2-0/+46
2023-05-31Coq updates for Sail 0.15Brian Campbell2-15/+1
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich91-79/+1075
2023-05-29LICENCE: add VRULL and myself as contributorsPhilipp Tomsich1-0/+2
2023-05-29LICENSE: update copyright yearsPhilipp Tomsich1-1/+1
2023-05-29coding style: fix style issues from merge of PR #257Philipp Tomsich2-8/+10
2023-05-29Add Zfa extension support (excl. quad-precision)Philipp Tomsich9-6/+1067
2023-05-29Fix minstret off-by-one when mcountinhibit is setTim Hutt4-12/+18
2023-05-29Changed the pmp initial misconfiguration check so that if the low and high ra...Muhammad Bilal Sakhawat1-1/+1
2023-05-29Add support for the Zicond extensionPhilipp Tomsich4-2/+43
2023-05-29RVFI: only report write data if the write succeedsAlex Richardson1-13/+17
2023-04-10Check for mstatus.FS when performing half-precision loads/storesAlex Richardson1-3/+2
2023-04-04fixed an issue with the -g switch which requires an argument. missing colon i...William McSpaddden1-1/+1
2023-03-14Add a new recipe to run the Sail tests manually via GH Actions (#229)billmcspadden-riscvRafael Sene1-1/+1
2023-03-14Use not() instead of ~() for boolean negation (#210)Alexander Richardson18-51/+53
2023-03-14Move ILLEGAL/C_ILLEGAL ast declaration to riscv_insts_begin.sail (#223)Alexander Richardson2-4/+9
2023-03-07Bump CI to Ubuntu 22.04 (#228)Jessica Clarke1-3/+1
2023-03-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton16-85/+127
2023-02-23Remove duopodBrian Campbell5-244/+1
generated by cgit v1.1 at 2024-06-29 03:09:36 +0000