aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2024-05-21Update bitfield syntaxJordan Carlin3-6/+6
2024-05-21Merge pull request #479 from jordancarlin/remove_unused_reg_name_functionsBill McSpadden2-84/+0
2024-05-20Fix mext whitespaceJordan Carlin1-53/+53
2024-05-20Merge pull request #458 from Alasdair/interfaceBill McSpadden7-449/+192
2024-05-20Merge pull request #461 from Timmmm/user/timh/fix_pte_sizeBill McSpadden1-17/+18
2024-05-20Merge pull request #469 from Timmmm/user/timh/have_atomicsBill McSpadden1-176/+161
2024-05-18Move haveMulDiv() guard to encdec for M extensionJordan Carlin1-42/+12
2024-05-19Remove effect from vext_vsetJordan Carlin1-1/+1
2024-05-18Remove unused (f)reg_name_abi functionsJordan Carlin2-84/+0
2024-05-17Replace some bits(12)s with csregTim Hutt2-2/+2
2024-05-16Merge branch 'master' into masterBill McSpadden19-113/+178
2024-05-15Add some missing explicit var declarationsTim Hutt4-20/+20
2024-05-15Handle 34-bit PMP address overflowTim Hutt1-18/+25
2024-05-15Don't read or write 8 bytes for 4-byte PTEsTim Hutt1-17/+18
2024-05-14Move haveAtomics() guard for atomic instructions to guard clausesTim Hutt1-176/+161
2024-05-12Refactor MUL instructionAlasdair3-34/+28
2024-05-09Replace vmandnot and vmornot with vmandn and vmorn - Issue #421 (#465)Shivang Mishra2-7/+7
2024-05-07Add missing decoder guards for crypto extensionsTim Hutt2-29/+29
2024-05-07Add Svinval extension.Martin Berger1-2/+2
2024-05-07fixup! fixup! fixup! Add Svinval extension.Martin Berger2-46/+52
2024-05-07fixup! Add Svinval extension.Martin Berger1-0/+4
2024-05-07Add Svinval extension.Martin Berger1-0/+46
2024-04-30Adapt memory builtins for Sail concurrency interfaceAlasdair7-449/+192
2024-04-29split fcvtmod.w.d invalid check into 2 if statementsJordan Carlin1-1/+2
2024-04-29Correct fcvtmod.w.d flag generation logicJordan Carlin1-1/+3
2024-04-24Add missing check for RV64 on float conversion instructionsTim Hutt1-4/+4
2024-04-24Add read-only CSR MCONFIGPTRAlasdair4-0/+5
2024-04-17Merge branch 'master' into masterXinlai Wan103-8858/+2619
2024-04-15Implement Zcb extensionTim Hutt2-0/+215
2024-04-14Fix compiler warnings in vextVed Shanbhogue6-20/+25
2024-04-12Remove & rename duplicate word_width <-> bytes mappingsTim Hutt4-29/+22
2024-04-09Clean up memory checking functions slightlyTim Hutt1-65/+73
2024-04-03Fix flen=32 compilationTim Hutt3-10/+10
2024-04-01Unify VM code Rishiyur S. Nikhil11-1042/+805
2024-03-25Fix MEnvCall valueTim Hutt1-1/+1
2024-03-24Fix error in senvcfg definitionVed Shanbhogue2-11/+29
2024-03-24Fix typo in E_SAMO_Addr_Align descriptionAlasdair Armstrong1-1/+1
2024-03-24Replace atom with intTim Hutt9-53/+53
2024-03-24Add RV32 restriction for compressed shift instructionsTim Hutt1-4/+4
2024-02-27Add missing comparison operatorsTim Hutt1-3/+12
2024-02-08Add m/senvcfg to CSR name mapTim Hutt1-0/+4
2024-02-08Shorten copyright notice at the top of each fileTim Hutt96-5905/+336
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
generated by cgit v1.1 at 2024-07-23 23:20:53 +0000