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

#97 - Clarify difference in IE between current spec and CHERI v9

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

#96 - CSEALENTRY changes

Pull Request - State: closed - Opened by francislaus about 1 year ago - 2 comments

#95 - rename CSHxADD opcodes to SHxADD

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

#94 - Canonical tag clearing pseudo

Issue - State: closed - Opened by arichardson about 1 year ago - 4 comments
Labels: bug, documentation, enhancement

#93 - Accessing CSRs without ASR permission

Issue - State: closed - Opened by francislaus about 1 year ago - 7 comments
Labels: documentation, question

#92 - No way to achieve `CSRR` on a capability

Issue - State: closed - Opened by PeterRugg about 1 year ago - 20 comments
Labels: bug

#91 - Disabling zcheri_legacy features is ambiguous

Issue - State: closed - Opened by veselypeta about 1 year ago - 3 comments
Labels: bug, documentation

#90 - prefer AUIPC over CSRR for debug pcc access

Issue - State: closed - Opened by sorear about 1 year ago - 7 comments
Labels: bug, documentation

#89 - Deploy GitHub pages on every commit to main

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

#88 - Document minimum resources for Sdext operation

Pull Request - State: closed - Opened by sorear about 1 year ago - 2 comments

#87 - remove C prefix from capability mode load/store/atomics

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

#86 - Alignment requirements of CLC and CSC instructions

Issue - State: closed - Opened by francislaus about 1 year ago - 11 comments
Labels: enhancement, question

#85 - Checking whether PCC is sealed

Issue - State: closed - Opened by francislaus about 1 year ago - 3 comments
Labels: bug, documentation, enhancement

#84 - Tag memory PMA would be useful

Issue - State: closed - Opened by tariqkurd-repo about 1 year ago - 4 comments
Labels: bug

#83 - CSeal does not clear tag if the capability is already sealed

Issue - State: closed - Opened by francislaus about 1 year ago - 7 comments
Labels: bug

#82 - Cbuildcap and ctestsubset do not use DDC

Pull Request - State: closed - Opened by francislaus about 1 year ago - 5 comments

#81 - capability mode enables and register access controls for Zcheri_legacy

Pull Request - State: closed - Opened by sorear about 1 year ago - 8 comments

#80 - Remove duplicate mnemonics

Issue - State: closed - Opened by tariqkurd-repo about 1 year ago - 14 comments
Labels: bug, documentation, RISC-V integration changes

#79 - Merge from templates repo

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

#78 - Add a link to the latest spec to the README

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

#77 - github workflow: update action

Pull Request - State: closed - Opened by axel-h about 1 year ago - 6 comments

#76 - clarify PCC bounds after zcmt instruction

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

#75 - Add newline between includes to fix chapter headers

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

#74 - Should the main branch be deployed to GitHub pages on each push?

Issue - State: closed - Opened by arichardson about 1 year ago - 3 comments
Labels: question

#73 - Don't override VERSION and REVMARK for default actions builds

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

#72 - Version in GitHub actions generated PDF wrong

Issue - State: closed - Opened by arichardson about 1 year ago

#71 - Forward compatibility of acperm

Issue - State: closed - Opened by sorear about 1 year ago - 6 comments
Labels: question

#70 - Require X permission for CSEAL

Issue - State: open - Opened by sorear about 1 year ago - 3 comments
Labels: question

#69 - Define capability endianness

Issue - State: closed - Opened by sorear about 1 year ago - 4 comments
Labels: documentation

#68 - Sync with template repository to add pre-commit checks and CI

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

#67 - Remove XLENMAX

Issue - State: closed - Opened by sorear about 1 year ago - 4 comments
Labels: documentation, enhancement, priv-spec-1.13

#66 - Misaligned LC/SC is a fatal error

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

#65 - Save encoding space by putting ASR (and other mode switches) in type

Issue - State: closed - Opened by LawrenceEsswood about 1 year ago - 5 comments
Labels: capability format change

#64 - Increase type space by splitting on X permission

Issue - State: open - Opened by LawrenceEsswood about 1 year ago - 4 comments
Labels: capability format change, future enhancement

#63 - Save encoding space by using address LSB as mode bit

Issue - State: closed - Opened by LawrenceEsswood about 1 year ago - 6 comments
Labels: capability format change

#62 - Section with Special Capabilities

Pull Request - State: closed - Opened by axel-h about 1 year ago

#61 - improve wording about about tag

Pull Request - State: closed - Opened by axel-h about 1 year ago

#60 - Use software-check exception?

Issue - State: open - Opened by sorear about 1 year ago - 8 comments
Labels: RISC-V integration changes, future enhancement, priv-spec-1.13

#59 - Exception policy for misaligned LC/SC is odd

Issue - State: closed - Opened by sorear about 1 year ago - 3 comments
Labels: RISC-V integration changes

#58 - pcc metadata after cm.j(al)t

Issue - State: closed - Opened by sorear about 1 year ago - 8 comments
Labels: question

#57 - M/S-mode ambient authority other than "system registers"

Issue - State: open - Opened by sorear about 1 year ago - 2 comments
Labels: question

#56 - the auipcc representability challenge

Issue - State: closed - Opened by sorear about 1 year ago - 14 comments
Labels: bug, documentation, For next release

#55 - Use named citations

Issue - State: closed - Opened by sorear about 1 year ago - 10 comments
Labels: documentation

#54 - Minor fixes

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

#53 - Specify behaviour for reserved permission encoding

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

#52 - LC with rd=0

Issue - State: closed - Opened by sorear about 1 year ago - 2 comments
Labels: bug

#51 - constructing capabilities in debug mode

Issue - State: closed - Opened by sorear about 1 year ago - 2 comments
Labels: question

#49 - Fix issue 42

Pull Request - State: closed - Opened by tariqkurd-repo about 1 year ago - 2 comments

#48 - Start on a programmer's model for capabilities

Pull Request - State: closed - Opened by sorear about 1 year ago - 4 comments

#47 - Define behaviour for reserved RV32 permission encoding

Issue - State: closed - Opened by Timmmm about 1 year ago - 4 comments
Labels: bug

#46 - Fix issue 42

Pull Request - State: closed - Opened by tariqkurd-repo about 1 year ago - 2 comments

#45 - fixed prerequisite rules for 16-bit fp dp load/store

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

#44 - Debug GPR access

Issue - State: closed - Opened by sorear about 1 year ago - 11 comments
Labels: enhancement, new extension

#43 - Reset values of capability CSRs

Issue - State: closed - Opened by sorear about 1 year ago - 21 comments
Labels: bug

#42 - XLEN-bit results of CSR instructions must be sign extended to XLENMAX

Issue - State: closed - Opened by sorear about 1 year ago - 3 comments
Labels: bug

#41 - Simplifying WARL address CSR writes

Issue - State: closed - Opened by sorear about 1 year ago - 7 comments
Labels: question

#40 - Corner cases in bounds checking

Issue - State: open - Opened by sorear about 1 year ago - 3 comments
Labels: documentation

#39 - Proposal to simplify (and fix) Zcheri_legacy

Issue - State: closed - Opened by sorear about 1 year ago - 4 comments
Labels: question

#38 - Remove sole reference to embedded exponent

Pull Request - State: closed - Opened by Timmmm about 1 year ago - 3 comments

#37 - Behaviour of CRAM not specified for malformed caps

Issue - State: closed - Opened by Timmmm about 1 year ago - 2 comments

#36 - Make permission bit order consistent

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

#35 - correct prerequisite rules

Pull Request - State: closed - Opened by tariqkurd-repo about 1 year ago - 4 comments

#34 - M bit sense should be inverted

Issue - State: closed - Opened by sorear about 1 year ago - 5 comments
Labels: question

#33 - correct shift and add operands

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

#31 - CSETMODE is probably dispensible

Issue - State: closed - Opened by sorear about 1 year ago - 9 comments
Labels: enhancement

#30 - CSETMODE encoding is incorrect

Issue - State: closed - Opened by tariqkurd-repo about 1 year ago - 1 comment
Labels: bug

#29 - Document conflicts over floating point encodings

Issue - State: closed - Opened by sorear about 1 year ago - 2 comments
Labels: bug, documentation

#28 - Wrong operand order of Zba instructions

Issue - State: closed - Opened by sorear about 1 year ago - 2 comments
Labels: bug

#27 - [RISCV-CHERI] Fix description of CSetMode

Pull Request - State: closed - Opened by veselypeta about 1 year ago - 2 comments

#26 - Added exceptions to compressed jump instructions

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

#25 - Permission encoding order mismatch

Issue - State: closed - Opened by Timmmm about 1 year ago - 3 comments
Labels: bug

#24 - improve wording

Pull Request - State: closed - Opened by axel-h about 1 year ago

#23 - reorder capability chapter to show cap layout first

Pull Request - State: closed - Opened by axel-h about 1 year ago - 12 comments

#21 - Deploy to Github pages on release

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

#20 - Makefile VERSION does not match Git tag

Issue - State: closed - Opened by andresag01 about 1 year ago - 2 comments

#19 - Specify value of mode bit in null/infinite caps

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

#18 - Cbuildcap and ctestsubset and the use of DDC

Issue - State: closed - Opened by francislaus about 1 year ago - 8 comments
Labels: bug

#17 - Zcheri_pte lacks support for load-side revocation

Issue - State: closed - Opened by jrtc27 about 1 year ago - 4 comments
Labels: enhancement

#16 - Tag bits not shown in CSR bitfields

Issue - State: closed - Opened by jrtc27 about 1 year ago - 3 comments
Labels: documentation

#15 - Extension names are all invalid

Issue - State: closed - Opened by jrtc27 about 1 year ago - 5 comments
Labels: documentation, enhancement

#14 - SC mnemonic does not conflict as stated

Issue - State: closed - Opened by jrtc27 about 1 year ago - 2 comments
Labels: bug, documentation

#13 - Mode flag value for infinite cap isn't specified

Issue - State: closed - Opened by Timmmm about 1 year ago - 1 comment
Labels: documentation, enhancement

#12 - Support building HTML output

Pull Request - State: closed - Opened by Timmmm about 1 year ago - 2 comments

#11 - Minor fixes and formatting changes

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

#10 - Clarify CJALR operation order

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

#9 - Order of checks for CJALR & invalid address handling not specified

Issue - State: closed - Opened by Timmmm about 1 year ago - 2 comments

#8 - Build HTML and publish to Github pages

Issue - State: closed - Opened by Timmmm about 1 year ago - 4 comments
Labels: documentation, enhancement

#7 - Removed that prefetch instructions can throw exceptions

Pull Request - State: closed - Opened by francislaus about 1 year ago - 12 comments

#5 - Rename `Zcheri_pte` to `Zcheri_pte_traditional`, and introduce `Zcheri_pte_single_address_space`

Issue - State: open - Opened by vmurali about 1 year ago - 16 comments
Labels: enhancement

#4 - Splitting `Zcheri_purecap` into 2 different extensions: `Zcheri_purecap` and `Zcheri_protection_rings`

Issue - State: open - Opened by vmurali about 1 year ago - 9 comments
Labels: enhancement

#3 - Exponent decode using XOR instead of SUB?

Issue - State: closed - Opened by arichardson about 1 year ago - 7 comments
Labels: documentation, enhancement

#2 - Add draft specification proposal from Codasip

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

#1 - Update contributors with provisional list

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