Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / riscv/riscv-cheri issues and pull requests

#455 - Should CSR invalid address handling also apply to HW updates of CSRs?

Issue - State: closed - Opened by tomaird 2 months ago - 1 comment
Labels: bug, documentation

#454 - Converging British English spellings to American English spellings

Pull Request - State: closed - Opened by francislaus 2 months ago - 1 comment

#453 - Mixture of British and American English spellings

Issue - State: closed - Opened by francislaus 2 months ago - 3 comments

#452 - CSBNDSRDown in addition to CSBNDSR?

Issue - State: open - Opened by nwf 3 months ago

#451 - improvements to Zcheripte text

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago - 2 comments

#450 - Add legal permissions invariant for tagged capabilities

Pull Request - State: closed - Opened by mayyamal 3 months ago

#449 - bump version number

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago

#448 - ZCheripte requires assumes it is always active.

Issue - State: closed - Opened by buxtonpaul 3 months ago

#447 - vm requires pte scheme

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago - 1 comment

#446 - Clarify behaviour of vstid/vstidc registers.

Pull Request - State: closed - Opened by buxtonpaul 3 months ago

#445 - reinstate mstatus.CRG with justification

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago

#444 - replace incorrect constants with variables for pcc.M

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago

#443 - Xstatus.CRG clarification

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago - 3 comments

#441 - Ambiguous wording for sstatus.CRG

Issue - State: closed - Opened by tomaird 3 months ago

#440 - Fix RV32 Zcherilevels ACPERM

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago - 1 comment

#439 - Clarify interaction of levels with sealed capabilities

Pull Request - State: closed - Opened by arichardson 3 months ago - 4 comments

#438 - removed redundant word "possible" in the text

Pull Request - State: closed - Opened by IIITM-Jay 3 months ago - 4 comments

#437 - add CL rules for CBLD and SCSS

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago

#436 - local/global clarification

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago - 3 comments

#435 - add missing words

Pull Request - State: closed - Opened by tariqkurd-repo 3 months ago

#434 - Should Capability Level be part of the CBLD check?

Issue - State: closed - Opened by jamie-melling 3 months ago - 1 comment

#433 - Fix minor typo in PTE section

Pull Request - State: closed - Opened by Timmmm 4 months ago - 1 comment

#432 - EL permission rules clarification

Issue - State: closed - Opened by tomaird 4 months ago - 2 comments

#431 - Add SL description to all store cap instructions

Pull Request - State: closed - Opened by tomaird 4 months ago

#430 - Add CL to null cap table

Pull Request - State: closed - Opened by tomaird 4 months ago

#429 - Fix typo in ACPERM rules

Pull Request - State: closed - Opened by tomaird 4 months ago

#428 - Zcherilevels RV32 stripping EL clarification

Issue - State: closed - Opened by jamie-melling 4 months ago - 2 comments

#427 - apply ACPERM rules in order

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago - 5 comments

#426 - ACPERM RV32 order of rules inconsistency

Issue - State: closed - Opened by jamie-melling 4 months ago - 2 comments

#425 - Adding comma to list

Pull Request - State: closed - Opened by ricki-code 4 months ago

#424 - Possible need for CRelocate (CREL? CRLC? CRELOC?)

Issue - State: open - Opened by jrtc27 4 months ago
Labels: enhancement

#423 - level-ext: fix permission encoding table

Pull Request - State: closed - Opened by martin-kaiser 4 months ago

#422 - sort out extensions xrefs

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#421 - clarify ACPERM rules

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago - 1 comment

#420 - improve dinfc wording

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#419 - Xtval2 clarification

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#418 - Reserve redundant SCBNDSI encodings

Pull Request - State: closed - Opened by arichardson 4 months ago

#417 - clarify writes to dinfc

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago - 1 comment

#416 - dfinc updating not very clear

Issue - State: closed - Opened by tariqkurd-repo 4 months ago - 2 comments
Labels: bug, documentation

#415 - Unclear wording of ACPERM rule

Issue - State: closed - Opened by tomaird 4 months ago - 3 comments
Labels: bug, documentation

#414 - fix LC encoding diagram

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#413 - Minor fixes

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#412 - Makefile: fix the version number

Pull Request - State: closed - Opened by martin-kaiser 4 months ago

#411 - zcherilevels issues

Issue - State: closed - Opened by chrehrhardt 4 months ago - 3 comments
Labels: question

#410 - "Zstid" CSR inconsistency

Issue - State: closed - Opened by stefano-codasip 4 months ago - 2 comments

#409 - typos and minor fixes

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#408 - Bump version to 0.9.0

Pull Request - State: closed - Opened by andresag01 4 months ago

#407 - MODESW shoudl be split into two

Issue - State: closed - Opened by tariqkurd-repo 4 months ago - 1 comment
Labels: bug, documentation, For next release

#406 - split MODESW into MODESW.CAP and MODESW.INT

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago - 1 comment

#405 - Remove outdated 'leg' specifier

Pull Request - State: closed - Opened by tomaird 4 months ago

#404 - Add a quick-start guide

Pull Request - State: closed - Opened by PeterRugg 4 months ago - 2 comments

#403 - Mark c0-authorized loads and stores as extensible

Pull Request - State: closed - Opened by nwf 4 months ago - 10 comments

#402 - SCBNDSI redundancy?

Issue - State: open - Opened by nwf 4 months ago - 7 comments
Labels: future enhancement

#401 - attempt at listing some system rules with examples

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#400 - Add GCTOP instruction?

Issue - State: open - Opened by nwf 4 months ago - 2 comments
Labels: enhancement

#399 - Remove redundant c.addi4spn link

Pull Request - State: closed - Opened by tomaird 4 months ago

#398 - Make FP reg operand notation consistent

Pull Request - State: closed - Opened by andresag01 4 months ago - 1 comment

#397 - Changing c.mv mnemonic font to be red monospace

Pull Request - State: closed - Opened by ricki-code 4 months ago

#396 - Add table and notes about CRE

Pull Request - State: closed - Opened by andresag01 4 months ago - 1 comment

#395 - Floating point loads inconsistent mnemonic

Issue - State: closed - Opened by ricki-code 4 months ago - 1 comment

#394 - Organize tables into appendix

Pull Request - State: closed - Opened by andresag01 4 months ago

#393 - Specialized getter-with-offset instruction for Zstid?

Issue - State: closed - Opened by nwf 4 months ago - 1 comment

#392 - "infinite bounds" definition and xrefs disagree

Issue - State: open - Opened by nwf 4 months ago
Labels: documentation, enhancement

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

Issue - State: open - Opened by nwf 4 months ago - 3 comments

#390 - add auipc note

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago - 1 comment

#389 - Alternative semantics for AUIPC in Capability Mode

Issue - State: closed - Opened by andresag01 4 months ago - 3 comments

#388 - Align authors and contributor lists

Pull Request - State: closed - Opened by andresag01 4 months ago

#387 - optionally simplify lm_perm

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#386 - remove false comments from RV32 permission encoding table

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago

#385 - unify 32-bit encodings for load/store/amo to use RV64 versions

Pull Request - State: closed - Opened by tariqkurd-repo 4 months ago - 1 comment

#384 - Corner cases for SCMODE

Issue - State: closed - Opened by andresag01 4 months ago - 2 comments
Labels: question

#383 - Miscellaneous fixes for gctype and scss

Pull Request - State: closed - Opened by andresag01 5 months ago

#382 - Clarify rs2 values for scmode

Pull Request - State: closed - Opened by andresag01 5 months ago - 1 comment

#381 - add note about choosing when to check the tag on a load

Pull Request - State: closed - Opened by tariqkurd-repo 5 months ago - 1 comment

#372 - Compatibility with Zilsd

Issue - State: closed - Opened by arichardson 5 months ago - 3 comments
Labels: bug, For next release

#362 - Include SAIL snippets into the specification

Issue - State: open - Opened by andresag01 5 months ago - 5 comments
Labels: documentation, enhancement

#362 - Include SAIL snippets into the specification

Issue - State: open - Opened by andresag01 5 months ago - 9 comments
Labels: documentation, enhancement

#360 - Add section on pointer masking

Issue - State: closed - Opened by tariqkurd-repo 5 months ago
Labels: documentation, For next release

#355 - Introduce capability levels

Pull Request - State: closed - Opened by arichardson 5 months ago - 10 comments

#340 - For discussion: MSR's CHERI+MTE composition

Issue - State: open - Opened by nwf-msr 6 months ago - 1 comment
Labels: future enhancement

#339 - add cheri "quick start" guide

Issue - State: closed - Opened by tariqkurd-repo 6 months ago - 2 comments
Labels: documentation, For next release

#334 - Rename CHERI Register Enable (CRE)

Issue - State: closed - Opened by Timmmm 7 months ago - 3 comments
Labels: documentation, enhancement

#317 - Explicit separation between privileged and unprivileged ISAs

Issue - State: closed - Opened by jasonyu1996 7 months ago - 13 comments
Labels: question

#306 - T8, TE & TB Clarifications

Issue - State: closed - Opened by tony-cole 7 months ago - 2 comments
Labels: documentation

#294 - Proposal: Remove 32-bit support from the v1 Zcheri standards

Issue - State: closed - Opened by davidchisnall 8 months ago - 3 comments

#258 - consider splitting Xenvcfg.CRE into two bits

Issue - State: closed - Opened by tariqkurd-repo 9 months ago - 1 comment
Labels: question

#193 - Consider MODE-SWITCH for one instruction, then switch back

Issue - State: closed - Opened by tariqkurd-repo 10 months ago - 4 comments
Labels: future enhancement

#143 - load/store/atomic opcode collisions

Issue - State: closed - Opened by sorear 11 months ago - 6 comments
Labels: enhancement

#142 - Misaligned tweaks

Pull Request - State: closed - Opened by sorear 11 months ago - 1 comment

#141 - Corner cases for narrow XLENs

Pull Request - State: closed - Opened by sorear 11 months ago - 1 comment

#140 - Initial proposal for Zcheri SBI

Pull Request - State: closed - Opened by sorear 11 months ago - 2 comments

#133 - Zcheri_mode "loose" redefinition

Pull Request - State: closed - Opened by sorear 12 months ago - 3 comments

#132 - Use resumereq instead of DRET

Pull Request - State: closed - Opened by sorear 12 months ago - 5 comments

#130 - descope and simplification of Zcheri_legacy

Pull Request - State: closed - Opened by sorear 12 months ago - 13 comments

#106 - Renaming ASR permission

Issue - State: closed - Opened by arichardson almost 1 year ago - 6 comments
Labels: documentation, enhancement, question

#100 - bug in assembly format on SC.C instruction

Issue - State: closed - Opened by AnnieHsieh8379 almost 1 year ago - 1 comment
Labels: bug, documentation

#99 - Reset values to fix issue 50

Pull Request - State: closed - Opened by tariqkurd-repo almost 1 year ago

#98 - Document that DDC/DDDC are address pointers and can be compressed

Pull Request - State: closed - Opened by andresag01 about 1 year ago - 1 comment