aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_regs.sail
AgeCommit message (Expand)AuthorFilesLines
2024-01-31Update bitfield syntaxAlasdair1-2/+2
2023-09-12Remove effectsTim Hutt1-4/+4
2023-08-01Rename EXTZ and EXTSAlasdair1-1/+1
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2021-03-16Initial implementation of new RVFI_DII socket formatAlex Richardson1-2/+3
2021-02-11Remove unused register files.Prashanth Mundkur1-2/+0
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-1/+7
2019-07-09Add some missed logging guards.Prashanth Mundkur1-2/+2
2019-07-01Merge remote-tracking branch 'origin/master' into master-cleanupRobert Norton1-1/+3
2019-06-28Avoid implicit casts to stringAlasdair1-1/+3
2019-06-27Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...Alexandre Joannou1-1/+1
2019-06-27Predicate more tracing with get_config_print_xxx.Robert Norton1-1/+2
2019-05-10Rename regbits to regidx, to clarify the type is an index and not the content...Prashanth Mundkur1-1/+1
2019-05-03Minor formatting cleanup and remove obsolete comments.Prashanth Mundkur1-3/+0
2019-05-03Fix compile due to missed effect declaration.Prashanth Mundkur1-1/+1
2019-05-03Don't assume regtype is bitvector in init_base_regs.Robert Norton1-31/+31
2019-05-03Fix a couple of warnings.Robert Norton1-2/+4
2019-05-02rvfi: fixes for RV32Prashanth Mundkur1-1/+1
2019-05-02rvfi: initialize registers between test runs.Prashanth Mundkur1-0/+35
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-0/+232