aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Add m/senvcfg to CSR name mapTim Hutt1-0/+4
2024-02-08Shorten copyright notice at the top of each fileTim Hutt97-5924/+380
2024-02-05Improve PMP supportTim Hutt17-297/+275
2024-02-05Rename string_of_int to dec_strTim Hutt9-21/+17
2024-02-01Simplify prelude.sail by including generic_equality.sail and mapping.sailTim Hutt7-863/+268
2024-01-31Update bitfield update syntaxAlasdair2-103/+83
2024-01-31Update bitfield syntaxAlasdair36-504/+506
2023-12-19lem: Fix issues created by vector extensionAlasdair8-699/+149
2023-12-19lem: Fix use of 'class' in riscv_insts_vext_utilsAlasdair1-24/+12
2023-12-12Update CODE_STYLE.mdAlasdair Armstrong1-0/+2
2023-12-06Fix kext warningAlasdair1-13/+11
2023-12-06Makefile: Set OPAMCLI to 2.0Alasdair1-0/+3
2023-12-06Remove effect annotations from vector extensionAlasdair6-79/+79
2023-11-29Make consistent operand namesPaul A. Clarke3-6/+6
2023-11-29Fix Store-Conditional assembly operand order and add parensPaul A. Clarke2-4/+4
2023-11-29Some simple CI housekeepingAlasdair2-6/+6
2023-11-28Rewrite the implementation of vsetvli and vsetvl instructions to fix #337Xinlai Wan2-81/+98
2023-11-13csim: Fix issue with trace_log FILE * in printfAlasdair1-1/+1
2023-11-10Use separators, not spaces, between operandsPaul A. Clarke1-40/+40
2023-10-25Remove duplicate shift definitionsTim Hutt2-44/+6
2023-10-25Simplify softfloat interface by removing write_fflagsTim Hutt9-108/+92
2023-10-17RISC-V Vector Extension SupportXinlai 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
generated by cgit v1.1 at 2024-07-24 05:28:28 +0000