riscv/riscv-cheri

Issues

• Priority of CHERI page faults

  #484 opened 23 days ago by Timmmm
  3

• Include SAIL snippets into the specification

  #362 opened 4 months ago by andresag01
  3

• CHERI PTE exceptions might need their own cause code

  #470 opened 23 days ago by PeterRugg
  3

• Use of htval(2) for CHERI faults is odd

  #482 opened 23 days ago by jrtc27
  1

• Mixture of British and American English spellings

  #453 opened 23 days ago by francislaus
  3

• Missing description of the hedeleg register

  #465 opened 24 days ago by francislaus
  0

• Description of operation of instructions mostly missing

  #478 opened 24 days ago by francislaus
  0

• Data trace and mutating loads

  #458 opened 24 days ago by tariqkurd-repo
  2

• Tag clearing vs trapping for store capability violations: resolve TODO?

  #476 opened 25 days ago by rmn30
  1

• Make Zcheripurecap depend on Zstid

  #472 opened 25 days ago by francislaus
  3

• Open questions for architecture review

  #457 opened a month ago by arichardson
  0

• Should CSR invalid address handling also apply to HW updates of CSRs?

  #455 opened a month ago by tomaird
  1

• Stripping EL permission does require the cap to be unsealed

  #459 opened a month ago by tariqkurd-repo
  0

• CSBNDSRDown in addition to CSBNDSR?

  #452 opened a month ago by nwf
  0

• ZCheripte requires assumes it is always active.

  #448 opened 2 months ago by buxtonpaul
  0

• Ambiguous wording for sstatus.CRG

  #441 opened 2 months ago by tomaird
  0

• zcherilevels issues

  #411 opened 2 months ago by chrehrhardt
  3

• ACPERM RV32 order of rules inconsistency

  #426 opened 2 months ago by jamie-melling
  2

• Zcherilevels RV32 stripping EL clarification

  #428 opened 2 months ago by jamie-melling
  2

• EL permission rules clarification

  #432 opened 2 months ago by tomaird
  2

• Should Capability Level be part of the CBLD check?

  #434 opened 2 months ago by jamie-melling
  1

• Add GCTOP instruction?

  #400 opened 3 months ago by nwf
  2

• Possible need for CRelocate (CREL? CRLC? CRELOC?)

  #424 opened 3 months ago by jrtc27
  0

• Unclear wording of ACPERM rule

  #415 opened 3 months ago by tomaird
  3

• Multi-root capability systems vs. The Infinite Cap and CSR initialization

  #391 opened 3 months ago by nwf
  3

• SCBNDSI redundancy?

  #402 opened 3 months ago by nwf
  7

• dfinc updating not very clear

  #416 opened 3 months ago by tariqkurd-repo
  2

• "Zstid" CSR inconsistency

  #410 opened 3 months ago by stefano-codasip
  2

• MODESW shoudl be split into two

  #407 opened 3 months ago by tariqkurd-repo
  1

• Alternative semantics for AUIPC in Capability Mode

  #389 opened 3 months ago by andresag01
  3

• Floating point loads inconsistent mnemonic

  #395 opened 3 months ago by ricki-code
  1

• Specialized getter-with-offset instruction for Zstid?

  #393 opened 3 months ago by nwf
  1

• "infinite bounds" definition and xrefs disagree

  #392 opened 3 months ago by nwf
  0

• Corner cases for SCMODE

  #384 opened 3 months ago by andresag01
  2

• Compatibility with Zilsd

  #372 opened 3 months ago by arichardson
  3

• Add section on pointer masking

  #360 opened 3 months ago by tariqkurd-repo
  0

• xtval cannot reasonably be read-only zero for CHERI exceptions

  #375 opened 3 months ago by jrtc27
  2

• CHERI instruction access fault should be CHERI instruction fetch fault

  #374 opened 3 months ago by jrtc27
  2

• Review spec and remove stale comments

  #363 opened 3 months ago by andresag01
  0

• gcmode does not specify what to return when the mode is invalid

  #376 opened 4 months ago by tomaird
  0

• Add section on vector support

  #359 opened 4 months ago by tariqkurd-repo
  0

• Rename length violation to bounds violation

  #366 opened 4 months ago by jrtc27
  1

• Disable CHERIv9 annotations from being included in spec by default

  #361 opened 4 months ago by andresag01
  0

• Allow reserved capability bits not to be stored in the register file

  #353 opened 4 months ago by tariqkurd-repo
  2

• Clarify writing non-extended CLEN CSRs in integer pointer mode

  #352 opened 4 months ago by tomaird
  4

• Checks on DPCC when entering debug mode

  #356 opened 4 months ago by tomaird
  1

• consider documenting how to detect capability memory tramples

  #349 opened 4 months ago by tariqkurd-repo
  0

• Does the mepcc alignment legalisation use scaddr?

  #344 opened 4 months ago by tomaird
  11

• Should DPCC follow the same rules as MEPCC?

  #343 opened 5 months ago by tomaird
  1

• ACPERM description has inverted M-bit text

  #342 opened 5 months ago by tomaird
  5