aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_jalr_seq.sail
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2023-08-01Rename EXTZ and EXTSAlasdair1-1/+1
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-03-14Use not() instead of ~() for boolean negation (#210)Alexander Richardson1-1/+1
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton1-3/+2
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-3/+2
2019-07-22Make a custom exception code available for extensions, and remove the E_CHERI...Prashanth Mundkur1-1/+1
2019-05-10Use an explicit enum to indicate the retire status as opposed to a boolean to...Prashanth Mundkur1-3/+3
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-13/+24
2019-02-19Use sizeof xlen instead of the value definitions of xlen.Prashanth Mundkur1-1/+1
2019-02-11Fix xlen variable name.Prashanth Mundkur1-1/+1
2019-02-08Start parameterizing definitions by xlen, which is currently still 64.Prashanth Mundkur1-1/+1
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+19