aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_sys_regs.sail
AgeCommit message (Expand)AuthorFilesLines
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+2
2023-05-29coding style: fix style issues from merge of PR #257Philipp Tomsich1-3/+2
2023-05-29Add Zfa extension support (excl. quad-precision)Philipp Tomsich1-0/+3
2023-05-29Fix minstret off-by-one when mcountinhibit is setTim Hutt1-8/+8
2023-05-29Add support for the Zicond extensionPhilipp Tomsich1-1/+5
2023-04-10Check for mstatus.FS when performing half-precision loads/storesAlex Richardson1-3/+2
2023-03-14Use not() instead of ~() for boolean negation (#210)Alexander Richardson1-4/+4
2023-03-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton1-1/+1
2023-02-14Revert "added 3 new command line switches (plus functionality): -X/--enable-...Jessica Clarke1-6/+0
2023-02-13added 3 new command line switches (plus functionality): -X/--enable-experime...Bill McSpadden1-0/+6
2022-07-13Add support for Zhinx extension (#153)Bilal Sakhawat1-1/+2
2022-01-21Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135)Bilal Sakhawat1-1/+6
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-0/+3
2022-01-19Add support for Zmmul (#122)Bilal Sakhawat1-0/+2
2021-12-05Support BitManip Zba, Zbb, Zbc and Zbs extensions (#116)Bilal Sakhawat1-0/+6
2021-11-22Implement support for Zfinx (#130)Jessica Clarke1-3/+11
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke1-6/+3
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh1-3/+6
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall1-0/+63
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2021-06-29effectivePrivilege: don't consult globalsNathaniel Wesley Filardo1-2/+2
2021-02-11Make N extension configurable.Prashanth Mundkur1-0/+2
2021-01-26Prevent CSRW to sstatus from modifying uie & upie if N-ext not presentScott Johnson1-1/+1
2020-11-30Ignore undefined bits in mstatus on writeAlex Richardson1-1/+6
2020-11-17Bug fix: when writing CSR sip, ignore attempt to change undelegated SSIPScott Johnson1-1/+1
2020-09-03Add the mstatush CSR for RV32, and hardwire the MBE and SBE fields to 0.Prashanth Mundkur1-0/+17
2020-08-25Implement mcountinhibit IR bit to squash minstret incrementScott Johnson1-1/+2
2020-05-22Prevent access to N-mode registers and mstatus/mip/mie bits when N-mode is di...Prashanth Mundkur1-4/+8
2020-04-27Clear mstatus.mprv on mret and sret, and hardwire it to 0 when user-mode is n...Prashanth Mundkur1-1/+2
2020-04-27Add the mcountinhibit register.Prashanth Mundkur1-0/+13
2020-04-27Handle writes to misa.{F,D}.Prashanth Mundkur1-3/+8
2020-04-21Fix mstatus.MPRV fetches (#48)Scott Johnson1-2/+2
2019-11-25Fix enabled check for F/D extensions to also include mstatus.FS.Prashanth Mundkur1-3/+5
2019-11-06Add hooks for misa.{F,D} for C and OCaml, and fix 64-bit OCaml build.Prashanth Mundkur1-0/+2
2019-10-21Merge remote-tracking branch 'upstream/master'rsnikhil1-2/+7
2019-09-18Add a hook for extensions to supress writes to misa.C if necessary.Robert Norton1-2/+7
2019-09-13First commit with code for F and D extensions (detail follows)rsnikhil1-0/+2
2019-09-10Changes from Peter Rugg to make misa.C only writable if enabled at boot by sy...Robert Norton1-3/+5
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton1-35/+35
2019-08-20Whitespace fixes to nuke tabs.no_castsPrashanth Mundkur1-1/+1
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-35/+35
2019-08-09Allow accumulation of information during page-table-walk for extensions.Prashanth Mundkur1-3/+5
2019-06-20Add PMP address and entry matching, and priority logic.Prashanth Mundkur1-5/+0
2019-06-19Factor out mstatus.mprv checks for effective privilege for reuse in PMP.Prashanth Mundkur1-0/+5
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-1/+4
2019-03-29Generalize the previous commit to handle hardwired misa.c.Prashanth Mundkur1-11/+19
2019-03-29Tweak legalize_xepc according to spec: xepc[1] should always be writeable.Robert Norton1-4/+5
2019-02-19Use sizeof xlen instead of the value definitions of xlen.Prashanth Mundkur1-5/+5
2019-02-13Fix a bug introduced in changing sxl/uxl handling; fix comment.Prashanth Mundkur1-2/+2
2019-02-12Start extracting bits of vmem that should be common to RV32, and add some def...Prashanth Mundkur1-12/+25