aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
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
2022-01-19Add support for Zmmul (#122)Bilal Sakhawat2-2/+4
2021-12-05Support BitManip Zba, Zbb, Zbc and Zbs extensions (#116)Bilal Sakhawat6-0/+569
2021-11-22Implement support for Zfinx (#130)Jessica Clarke7-334/+422
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke7-367/+287
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh7-287/+367
2021-11-10scalar-crypto: aesks1i clarificationsBen Marshall2-16/+20
2021-11-10scalar-crypto: whitespace consistency for SHA* instructionsBen Marshall1-6/+6
2021-11-10scalar-crypto: Consistent whitespace for ==Ben Marshall1-10/+10
2021-11-05Delete riscv_iris.sailMartin Berger1-1244/+0
2021-10-22Support D extension on RV32 (#108)Jessica Clarke4-104/+88
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall8-1/+956
2021-09-09Merge pull request #103 from PeterRugg/fix-rounding-modesJessica Clarke2-177/+284
2021-08-22Fix incorrect SV48_Vaddr bitfielddylux1-1/+1
2021-08-09Fix crash when fcsr.frm is invalidPeter Rugg2-177/+284
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton76-0/+5166
2021-07-16Add an extension point to allow validation of physical memory accesses.Robert Norton3-3/+36
2021-06-29vmem_rvNN: allow shimming underneath effectivePrivilegeNathaniel Wesley Filardo2-6/+12
2021-06-29vmem_svNN: Perform PTW accesses always as SupervisorNathaniel Wesley Filardo3-8/+8
2021-06-29riscv_mem: push effectivePermission to peripheryNathaniel Wesley Filardo1-27/+67
2021-06-29vmem_svNN: mem_read(Read(Data), ...) the PTEsNathaniel Wesley Filardo3-3/+3
2021-06-29effectivePrivilege: don't consult globalsNathaniel Wesley Filardo1-2/+2
2021-06-25Fix the non-RVFI_DII buildAlex Richardson1-4/+4
2021-06-25Merge pull request #76 from arichardson/rvfi-newRobert Norton6-64/+276
2021-06-21Merge pull request #85 from ybc-alkaid/pmpRobert Norton1-1/+1
2021-05-27Fix Error_not_implemented exception on lr.rl or sc.aq.Robert Norton1-12/+12
2021-05-21Extend LR / SC / AMO execute for unused widths.Robert Norton1-9/+23
2021-05-21Fix internal error caused by invalid LR / SC / AMO widths.Robert Norton1-6/+19
2021-03-19pmp: pmp address match misses some corner casesBicheng Yang1-1/+1
2021-03-16Also set the IXL field in the RVFI traceAlex Richardson1-0/+1
2021-03-16Fix sending version2 trace optional dataAlex Richardson1-6/+16
2021-03-16Report the current privilege level via RVFIAlex Richardson1-0/+1
2021-03-16Improvements to the version 2 RVFI trace formatAlex Richardson2-65/+71
2021-03-16Fix missing rvfi_halt field when converting v2 to v1 RVFI trace formatAlex Richardson1-0/+1
2021-03-16Add a -v rvfi flag to add RVFI debug loggingAlex Richardson1-3/+3
2021-03-16Initial implementation of new RVFI_DII socket formatAlex Richardson6-54/+247
2021-02-11Remove unused register files.Prashanth Mundkur2-4/+0
2021-02-11Make N extension configurable.Prashanth Mundkur2-1/+3
generated by cgit v1.1 at 2024-11-16 17:18:10 +0000