aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2024-02-05Improve PMP supportTim Hutt8-272/+220
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 Hutt5-861/+266
2024-01-31Update bitfield update syntaxAlasdair2-103/+83
2024-01-31Update bitfield syntaxAlasdair35-502/+502
2023-12-19lem: Fix use of 'class' in riscv_insts_vext_utilsAlasdair1-24/+12
2023-12-06Fix kext warningAlasdair1-13/+11
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-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 Hutt8-107/+91
2023-10-17RISC-V Vector Extension SupportXinlai Wan18-10/+8506
2023-10-11Rename enable-fiom to enable-writable-fiomTim Hutt1-2/+2
2023-10-11Implement menvcfgTim Hutt4-0/+75
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-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-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-01Rename EXTZ and EXTSAlasdair42-256/+256
2023-06-15Run the pre-commit hook on all filesAlex Richardson13-28/+25
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich85-73/+1057
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 Tomsich4-6/+882
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 Tomsich3-2/+41
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-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-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton16-85/+127
2023-02-23Remove duopodBrian Campbell2-218/+0
2023-02-14Revert "added 3 new command line switches (plus functionality): -X/--enable-...Jessica Clarke2-23/+0
2023-02-13added 3 new command line switches (plus functionality): -X/--enable-experime...Bill McSpadden2-0/+23
2023-01-25Increase flexibility of the decode hook (and simplify it) (#205)Alexander Richardson3-14/+11
2023-01-16Fix packw sign-extension (#185)Jan Henrik Weinstock1-1/+1
2023-01-16Fix xperm4 index calculation (#186)Jan Henrik Weinstock1-2/+2
2022-11-01riscv_step: Fix -i/--mtval-has-illegal-inst-bits option (#174)cookbook_brJessica Clarke1-0/+2
2022-07-13Add support for Zhinx extension (#153)Bilal Sakhawat3-155/+180
2022-01-21Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135)Bilal Sakhawat7-27/+193
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat7-13/+1150
generated by cgit v1.1 at 2024-09-10 08:42:30 +0000