aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2023-04-04Merge pull request #244 from billmcspadden-riscv/fix-signature-granularityfix-signature-granularityPhilipp Tomsich1-1/+1
2023-03-30fixed an issue with the -g switch which requires an argument. missing colon i...William McSpaddden1-1/+1
2023-03-14Add a new recipe to run the Sail tests manually via GH Actions (#229)billmcspadden-riscvRafael Sene1-1/+1
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-07Bump CI to Ubuntu 22.04 (#228)Jessica Clarke1-3/+1
2023-03-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton16-85/+127
2023-02-23Remove duopodBrian Campbell5-244/+1
2023-02-14Revert "added 3 new command line switches (plus functionality): -X/--enable-...Jessica Clarke7-70/+1
2023-02-13added 3 new command line switches (plus functionality): -X/--enable-experime...Bill McSpadden7-1/+70
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
generated by cgit v1.1 at 2024-06-29 03:20:52 +0000