aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_step.sail
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2024-02-05Rename string_of_int to dec_strTim Hutt1-2/+2
2024-01-31Update bitfield syntaxAlasdair1-1/+1
2023-08-01Rename EXTZ and EXTSAlasdair1-2/+2
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-05-29coding style: fix style issues from merge of PR #257Philipp Tomsich1-5/+8
2023-05-29Fix minstret off-by-one when mcountinhibit is setTim Hutt1-1/+7
2023-03-14Use not() instead of ~() for boolean negation (#210)Alexander Richardson1-1/+1
2023-01-25Increase flexibility of the decode hook (and simplify it) (#205)Alexander Richardson1-4/+4
2022-11-01riscv_step: Fix -i/--mtval-has-illegal-inst-bits option (#174)cookbook_brJessica Clarke1-0/+2
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2019-08-20Whitespace fixes to nuke tabs.no_castsPrashanth Mundkur1-1/+1
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-1/+1
2019-08-05Add some effects to execute function declarationand remove val specs for call...Robert Norton1-4/+2
2019-07-09Add some missed logging guards.Prashanth Mundkur1-4/+6
2019-06-28Avoid implicit casts to stringAlasdair1-2/+2
2019-06-27Predicate more tracing with get_config_print_xxx.Robert Norton1-1/+2
2019-06-26Add command line option in c_emulator for disabling tracing. Add builtins for...Robert Norton1-2/+6
2019-05-10Use an explicit enum to indicate the retire status as opposed to a boolean to...Prashanth Mundkur1-6/+12
2019-05-02rvfi: initialize registers between test runs.Prashanth Mundkur1-0/+1
2019-04-29Add a post decode hook aimed at implementing CHERI capability mode.Robert Norton1-2/+2
2019-04-29Remove unnecessary option in type of decode and decodeCompressed (never retur...Robert Norton1-32/+14
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-52/+30
2019-03-11Fixes for Sv39 TLB.Prashanth Mundkur1-0/+7
2019-01-29Add more of the 'N' standard extension.Prashanth Mundkur1-1/+1
2019-01-25Add misa checks for instructions not in the base set.Prashanth Mundkur1-2/+7
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+125