aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2023-01-25Increase flexibility of the decode hook (and simplify it) (#205)Alexander Richardson3-14/+11
2023-01-20Add include required on FreeBSD.Robert Norton1-0/+1
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-08-24Revert "c emulator makefile tweak, as suggested by Thibaut"Alex Richardson1-1/+1
2022-08-24Allow building without -fcommonAlex Richardson1-2/+2
2022-08-09Minimal updates for Coq proof assistant outputBrian Campbell2-3/+5
2022-07-13Add support for Zhinx extension (#153)Bilal Sakhawat3-155/+180
2022-02-16Run ISA tests in CI (#134)Jessica Clarke5-28/+130
2022-02-03Added notes about copyright headers in code, and a reminder that (#146)Martin Berger2-0/+9
2022-01-31Add initial contributing and code style guides (#131)Jessica Clarke2-0/+110
2022-01-21Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135)Bilal Sakhawat8-27/+196
2022-01-19Configurable word size for test signature file output (#136)Bilal Sakhawat2-10/+24
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat21-13/+3067
2022-01-19Add support for Zmmul (#122)Bilal Sakhawat2-2/+4
2022-01-19sail-riscv.install: RegenerateJessica Clarke1-1/+1
2022-01-19Makefile: Sort files when generating sail-riscv.installJessica Clarke1-1/+1
2022-01-19sail-riscv.install: Remove no longer present riscv_iris.sailJessica Clarke1-1/+1
2021-12-05Support BitManip Zba, Zbb, Zbc and Zbs extensions (#116)Bilal Sakhawat7-0/+574
2021-11-22Implement support for Zfinx (#130)Jessica Clarke17-334/+452
2021-11-21run_tests: Remove stray */ causing "Is a directory" spewJessica Clarke1-1/+1
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke17-397/+287
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh17-287/+397
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-26Makefile: Remove stale commentJessica Clarke1-1/+0
2021-10-22Recent rustc requires -lm for linking against the Sail coverage library (#118)Brian Campbell1-1/+1
2021-10-22Support D extension on RV32 (#108)Jessica Clarke7-118/+94
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall16-2/+997
2021-09-09Merge pull request #103 from PeterRugg/fix-rounding-modesJessica Clarke2-177/+284
2021-09-09Merge pull request #105 from dylux/masterJessica Clarke1-1/+1
2021-08-25Update README.mdPeter Sewell1-21/+21
2021-08-22Fix incorrect SV48_Vaddr bitfielddylux1-1/+1
2021-08-09Fix crash when fcsr.frm is invalidPeter Rugg2-177/+284
2021-08-03Clarify the build instructions.Robert Norton1-3/+4
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton84-0/+5585
2021-07-29update LICENCE and README with other UCam and MS authors (headers need update...pes202-3/+13
2021-07-29update LICENCE and README with Nikhil and Scott (headers need update to match)pes202-3/+4
2021-07-27Add licenses to Lem and Sail library snapshotsThomas Bauereiss7-5/+285
2021-07-26Update HOL4 snapshotBrian Campbell26-28649/+70764
2021-07-26Update versions in Coq snapshot readmeBrian Campbell1-3/+3
2021-07-26Update Coq snapshotBrian Campbell18-33664/+37188
2021-07-26Update Isabelle snapshotsThomas Bauereiss51-49997/+90692
2021-07-16Add an extension point to allow validation of physical memory accesses.Robert Norton3-3/+36
2021-06-29Guard arguments to getopt_long with appropriate ifdefsPeter Rugg1-0/+4
2021-06-29Add option to specify SAILCOV output filePeter Rugg1-0/+18
2021-06-29vmem_rvNN: allow shimming underneath effectivePrivilegeNathaniel Wesley Filardo2-6/+12
generated by cgit v1.1 at 2024-08-16 15:48:17 +0000