aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2023-06-29demonstrates terse error message. error is at model/riscv_hpmevents.sail lin...hpm_events_billmcspadden__sail_error_message_is_terseWilliam McSpaddden1-2/+2
2023-06-29intermediate commit. can be squashedWilliam McSpaddden2-0/+139
2023-06-27sail and C versions of hpmcounters now work the same. added debug statements...William McSpaddden4-19/+39
2023-06-23hpmcounters are counting the correct number of events, but they are in the w...William McSpaddden2-4/+28
2023-06-23beginning to get functionality from the Sail implementation of the HPM countersWilliam McSpaddden6-228/+75
2023-06-21replacing while loops with foreach loops. better for indexing through vectorsWilliam McSpaddden1-96/+86
2023-06-16missed a filehpm_events_billmcspaddenWilliam McSpaddden1-1/+0
2023-06-16intermediate commit for support of hpm_events.William McSpaddden5-8/+158
2023-06-12fixed instruction count. test now appears to run correctlyWilliam McSpaddden3-1/+3
2023-06-12more re-factoring. code compilesWilliam McSpaddden4-844/+35
2023-06-12re-structuring HPM event code. re-writing C code in Sail. code compiles. i...William McSpaddden8-0/+559
2023-06-12re-structuring HPM event code. re-writing C code in Sail. code compiles. i...William McSpaddden6-8/+1304
2023-04-29added hpm CSRs. compiles. but no significant functionality at this pointWilliam McSpaddden4-14/+541
2023-04-04fixed 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