v0.9.6

What's Changed

• Minor wording fix for mtvecc vectored check by Tom Aird (@tomaird) in #538
• Fix encoding of C.FSD instruction by Tom Aird (@tomaird) in #537
• Update contributors. by Prashanth Mundkur (@pmundkur) in #539
• Update specifications status to "Stable" by Alexander Richardson (@arichardson) in #541
• Bump docs-resources from 62576cd to 1d5bcd2 by Dependabot (@dependabot)[bot] in #543
• fix typo in rep range section by Tariq Kurd (@tariqkurd-repo) in #546
• Improve consistency of CSR descriptions by Alexander Richardson (@arichardson) in #544
• Update for ratified spec: Zilsd, Zclsd by Tariq Kurd (@tariqkurd-repo) in #545
• Clarify CHERI PTE fault priority when 2-stage translation is in use by Tariq Kurd (@tariqkurd-repo) in #547
• Revert MXLEN to XLEN in RV memory description by Andres Amaya Garcia (@andresag01) in #532
• make M-bit dependent on X for RV64 by Tariq Kurd (@tariqkurd-repo) in #550
• Add note about PTW by Tariq Kurd (@tariqkurd-repo) in #553
• making c.addi16sp/c.addi4spn more consistent with the RISC-V arch spec by Tariq Kurd (@tariqkurd-repo) in #554
• CSR cleanup by Tariq Kurd (@tariqkurd-repo) in #556
• Clarify scbndsr rounding by PeterRugg in #560
• If CRE=0, PTE bits are reserved by Tariq Kurd (@tariqkurd-repo) in #559
• do mtvecc rep check with MODE field zeroed by Tariq Kurd (@tariqkurd-repo) in #542
• small fixes by Tariq Kurd (@tariqkurd-repo) in #563
• remove PTE bits being reserved by Tariq Kurd (@tariqkurd-repo) in #564
• fix major opcode label for SH4ADD.UW by Tariq Kurd (@tariqkurd-repo) in #570
• rep range clarifications by Tariq Kurd (@tariqkurd-repo) in #567
• add note about ACPERM without Zcherilevels by Tariq Kurd (@tariqkurd-repo) in #569
• minor fix to c.scsp by Tariq Kurd (@tariqkurd-repo) in #573
• Initial integration with ISA manual by Alexander Richardson (@arichardson) in #566
• Clarify CHERI page fault dependence on PTE.U by Tim Hutt (@Timmmm) in #576
• ARC feedback on unpriv by Tariq Kurd (@tariqkurd-repo) in #584
• Attempt to create consistency regarding commas around e.g. and i.e. by Franz Fuchs (@francislaus) in #585
• clean up cap instruction page section, and some other improvements by Tariq Kurd (@tariqkurd-repo) in #586
• fix amoswap.c defn by Tariq Kurd (@tariqkurd-repo) in #598
• clean up spec of LC/SC/LR.C/SC.C by Tariq Kurd (@tariqkurd-repo) in #596
• instruction page readability improvements by Tariq Kurd (@tariqkurd-repo) in #595
• fix ifdef syntax by Tariq Kurd (@tariqkurd-repo) in #599
• reapply changes from PR 600 by Tariq Kurd (@tariqkurd-repo) in #604
• clarify implicit ACPERM behaviour by Tariq Kurd (@tariqkurd-repo) in #590
• Minor consistency improvements by Franz Fuchs (@francislaus) in #591
• Revert back to requiring whole-line bounds for CBO.INVAL by Jessica Clarke (@jrtc27) in #607
• rework unpriv CSR section by Tariq Kurd (@tariqkurd-repo) in #602
• improvements to readability by Tariq Kurd (@tariqkurd-repo) in #610
• Making zstid part of the main CHERI extension by Franz Fuchs (@francislaus) in #588
• set LVLBITS=1 and give the option of increasing it in future by Tariq Kurd (@tariqkurd-repo) in #611
• reorganize and simplify CSR accesses, and extensive unpriv proofreading by Tariq Kurd (@tariqkurd-repo) in #612
• riscv-unpriv: Fix up the description of Valid Tag by Guo Ren (@guoren83) in #619
• add hybrid boot comment by Tariq Kurd (@tariqkurd-repo) in #620
• Proofreading and restructuring some sections for a better logical flow by Tariq Kurd (@tariqkurd-repo) in #622
• attempting to separate out code and data checks by Tariq Kurd (@tariqkurd-repo) in #624
• Add comment on PCC by Tariq Kurd (@tariqkurd-repo) in #625
• Minor consistency fixes in scss and cbld instructions by Franz Fuchs (@francislaus) in #637
• fix permission check wording to be unambiguous by Tariq Kurd (@tariqkurd-repo) in #634
• Addressing ARC Priv feedback by Tariq Kurd (@tariqkurd-repo) in #632
• Improve description of EF=0 and EF=1 cases for clarity. by Jonathan Woodruff (@jonwoodruff) in #641
• insn page tidy up by Tariq Kurd (@tariqkurd-repo) in #642
• add mtvecc note by Tariq Kurd (@tariqkurd-repo) in #640
• instruction page cleanup by Tariq Kurd (@tariqkurd-repo) in #645
• New pma fault by Tariq Kurd (@tariqkurd-repo) in #646
• tidy up xrefs, and spec MXR and HLVX by Tariq Kurd (@tariqkurd-repo) in #643
• remove exception checks from branches and jumps by Tariq Kurd (@tariqkurd-repo) in #644
• Clarify ADD/CADD behaviour by Tariq Kurd (@tariqkurd-repo) in #650
• tidy up removal of branch fault, and add note about invalid address fault by Tariq Kurd (@tariqkurd-repo) in #651
• tidy up exception reporting using tables by Tariq Kurd (@tariqkurd-repo) in #652
• JALR clarification by Tariq Kurd (@tariqkurd-repo) in #656
• exception reworking by Tariq Kurd (@tariqkurd-repo) in #654
• small fixes noticed when making the ACPERM PR by Tariq Kurd (@tariqkurd-repo) in #663
• add missing integrity check into ACPERM by Tariq Kurd (@tariqkurd-repo) in #662
• make integrity checks more consistent by Tariq Kurd (@tariqkurd-repo) in #666
• make redundant branch encodings reserved by Tariq Kurd (@tariqkurd-repo) in #668
• Bump docs-resources from 1d5bcd2 to 3a40e07 by Dependabot (@dependabot)[bot] in #671
• fix two typos by Tariq Kurd (@tariqkurd-repo) in #673
• tidying up by Tariq Kurd (@tariqkurd-repo) in #678
• Address latest round of unpriv ARC feedback by Alexander Richardson (@arichardson) in #675
• ASR is always from the PCC by Tariq Kurd (@tariqkurd-repo) in #676
• Use "y" in extension names instead of "cheri" by Alexander Richardson (@arichardson) in #680
• Drop virtual memory notes from unpriv atomics description by Alexander Richardson (@arichardson) in #682
• Drop note that branches can raise exceptions by Alexander Richardson (@arichardson) in #686
• Fix typo in attribute name by Alexander Richardson (@arichardson) in #688
• Fix values for CHERI PTE faults in mcause priority table by Alexander Richardson (@arichardson) in #683
• Fix incorrect operand name in SCBNDS description by Alexander Richardson (@arichardson) in #685
• Use YLEN instead of CLEN by Alexander Richardson (@arichardson) in #679
• remove stale notes by Tariq Kurd (@tariqkurd-repo) in #691
• CBO.INVAL checks PCC.ASR in decode, prioritised above Load/store exceptions by Tariq Kurd (@tariqkurd-repo) in #677
• XRET should take an illegal instruction if PCC.ASR is missing, instead of PCC fault by Tariq Kurd (@tariqkurd-repo) in #690
• Rename load and store instructions to use Y as the data type by Alexander Richardson (@arichardson) in #689
• Avoid using separate names for the CSRs by Alexander Richardson (@arichardson) in #681
• Move to using variables for mnemonics, and rename non load/store mnemonics by Tariq Kurd (@tariqkurd-repo) in #694
• tidy up priv extensions and abbreviate main name to RVY by Tariq Kurd (@tariqkurd-repo) in #693
• Clean up C chapter by Tariq Kurd (@tariqkurd-repo) in #696
• 16-bit shift encodings are not HINTs for RVY by Tariq Kurd (@tariqkurd-repo) in #695
• Use y-prefixed general purpose register names instead of c-prefix by Alexander Richardson (@arichardson) in #687
• resinstate Zabhlrsc encodings by Tariq Kurd (@tariqkurd-repo) in #698
• Tidy up RVC variables and tables by Tariq Kurd (@tariqkurd-repo) in #711
• IFC to zylevels extensions (#628) by Nathaniel Wesley Filardo (@nwf) in #631
• Fix suggested assembly syntax for ADDIY aka CADDI aka CIncOffsetImm by Jessica Clarke (@jrtc27) in #713
• Fix column heading for Table 21. Encoding of architectural permissions for MXLEN=32 by david-henley in #712
• add misa.y by Tariq Kurd (@tariqkurd-repo) in #710
• ISA renaming by Tariq Kurd (@tariqkurd-repo) in #700
• delete Zish4add, allocate new encodings for sh123add by Tariq Kurd (@tariqkurd-repo) in #715
• Define pseudoinstructions by Tariq Kurd (@tariqkurd-repo) in #714
• fix typos by Tariq Kurd (@tariqkurd-repo) in #719
• Small typo and xref fixes by Alexander Richardson (@arichardson) in #726
• Small fixes found while refactoring by Nathaniel Wesley Filardo (@nwf) in #725
• rename PCC to pc by Tariq Kurd (@tariqkurd-repo) in #724
• Fix YBNDSIW encoding conflict by Tariq Kurd (@tariqkurd-repo) in #720
• Rename YBNDSIW to YBNDSWI by Alexander Richardson (@arichardson) in #727
• change ACPERM to bit clearing by Tariq Kurd (@tariqkurd-repo) in #721
• massive operand renaming by Tariq Kurd (@tariqkurd-repo) in #728
• Fix incorrect description for JALR by Alexander Richardson (@arichardson) in #733
• Primordial, not Infinite, capabilities by Nathaniel Wesley Filardo (@nwf) in #731
• Fix permission compression with Zylevels1 by Nathaniel Wesley Filardo (@nwf) in #729
• remove VAR-XLEN option by Tariq Kurd (@tariqkurd-repo) in #736
• priv spec review by Tariq Kurd (@tariqkurd-repo) in #735
• 730 minor cleanups by Alexander Richardson (@arichardson) in #738
• define new ISA extensions by Tariq Kurd (@tariqkurd-repo) in #730
• Simplify hybrid mode chapter by Alexander Richardson (@arichardson) in #739
• rename execution modes by Tariq Kurd (@tariqkurd-repo) in #732
• use ctag variable by Tariq Kurd (@tariqkurd-repo) in #746
• tidy up atomic pages - no spec changes by Tariq Kurd (@tariqkurd-repo) in #747
• proofreading of Zylevels chapter by Tariq Kurd (@tariqkurd-repo) in #740
• Defined root caps should be unsealed by Nathaniel Wesley Filardo (@nwf) in #748
• Clean up instruction tables appendix by Alexander Richardson (@arichardson) in #744
• Move SH*ADDY from RVY base chapter to Zba by Alexander Richardson (@arichardson) in #749
• Drop separate names for M/S/H extensions by Alexander Richardson (@arichardson) in #750
• Priv spec proofreading by Tariq Kurd (@tariqkurd-repo) in #751
• Fix remaining misa xrefs text by Alexander Richardson (@arichardson) in #752
• Rework Svucrg extension to use a 3-bit PTE implementation. by Alfredo Mazzinghi (@qwattash) in #737
• Proofreading by Alexander Richardson (@arichardson) in #753
• More proofreading by Alexander Richardson (@arichardson) in #754
• Distinguish between capability values and variables (registers) by Alexander Richardson (@arichardson) in #755
• make Svucrglct more visible in the extension list by Tariq Kurd (@tariqkurd-repo) in #756
• textual improvements to PTE chapter by Tariq Kurd (@tariqkurd-repo) in #757
• More minor changes by Alexander Richardson (@arichardson) in #758
• capability encoding version CSR by Nathaniel Wesley Filardo (@nwf) in #709
• Bump docs-resources from 3a40e07 to 48beddb by Dependabot (@dependabot)[bot] in #759
• Bump docs-resources from 48beddb to d7974ea by Dependabot (@dependabot)[bot] in #764
• Remove Svy name by Tariq Kurd (@tariqkurd-repo) in #765
• replace Smyre with Zyhybrid for Privileged Architectures by Tariq Kurd (@tariqkurd-repo) in #763
• Refactor CLRPERM rules by Nathaniel Wesley Filardo (@nwf) in #742
• speccification vs extension, and some other minor tidy-up by Tariq Kurd (@tariqkurd-repo) in #766
• More proofreading by Alexander Richardson (@arichardson) in #761
• make C and Zca equivalent for RV64Y by Tariq Kurd (@tariqkurd-repo) in #762
• remove hardcoded DDC address by Tariq Kurd (@tariqkurd-repo) in #775
• Mark the autogenerated releases as pre-releases by Alexander Richardson (@arichardson) in #776
• Fix comment in misc/rv32y_perms.hs by Nathaniel Wesley Filardo (@nwf) in #769
• Update name of default encoding, and a bit of tidy-up around that by Tariq Kurd (@tariqkurd-repo) in #771
• Use RVnY instead MXLEN=n for consistency by Tariq Kurd (@tariqkurd-repo) in #772
• Tidy up by Tariq Kurd (@tariqkurd-repo) in #774
• Bump docs-resources from d7974ea to 1fb9a74 by Dependabot (@dependabot)[bot] in #777
• Dont use caps as variables rep check by Tariq Kurd (@tariqkurd-repo) in #773
• Bump docs-resources from 1fb9a74 to c71d56b by Dependabot (@dependabot)[bot] in #779
• Bump docs-resources from c71d56b to 6124035 by Dependabot (@dependabot)[bot] in #781
• 20250912 nwf nits from reading through by Nathaniel Wesley Filardo (@nwf) in #784
• clean priv and unpriv xrefs and include files by Tariq Kurd (@tariqkurd-repo) in #787
• Bump docs-resources from 6124035 to 6ef1a1f by Dependabot (@dependabot)[bot] in #790
• Codify the AUIPC shift being a function of encoding by Nathaniel Wesley Filardo (@nwf) in #783
• Split reconstruction and superset unsealing by Nathaniel Wesley Filardo (@nwf) in #767
• Finish renaming to rvy_sentry_insn_ext by Nathaniel Wesley Filardo (@nwf) in #793
• Disentangle SENTRY and JALR (was: Zysentry) by Nathaniel Wesley Filardo (@nwf) in #768
• Minor formatting change for JALR description by Alexander Richardson (@arichardson) in #794
• Fix asciidoctor syntax error by Nathaniel Wesley Filardo (@nwf) in #796
• Allow using the isa-manual makefile to build riscv-cheri.pdf by Alexander Richardson (@arichardson) in #797
• Tidy up and clarify pointer masking spec by Tariq Kurd (@tariqkurd-repo) in #782
• Hypervisor integration and other privileged spec improvements by Tariq Kurd (@tariqkurd-repo) in #788
• Explicitly permit CT/permission entanglement within encodings by Nathaniel Wesley Filardo (@nwf) in #795
• fix JALR list by Tariq Kurd (@tariqkurd-repo) in #799
• Add mediated sealing permissions and instructions by Nathaniel Wesley Filardo (@nwf) in #780
• riscv-unpriv: fix Zyseal cross-refs by Nathaniel Wesley Filardo (@nwf) in #801
• Bump version to 0.9.6 by Alexander Richardson (@arichardson) in #798
• Xycheriot extension & cap encoding by Nathaniel Wesley Filardo (@nwf) in #743
• update vector note by Tariq Kurd (@tariqkurd-repo) in #803
• Cleanup zc by Tariq Kurd (@tariqkurd-repo) in #806
• add bit range to assignment by Tariq Kurd (@tariqkurd-repo) in #807
• use suggested formula for YBNDSWI immediate by Tariq Kurd (@tariqkurd-repo) in #809
• xycheriot: drop YBNDSWBigI by Nathaniel Wesley Filardo (@nwf) in #811
• Clarify exactly which extensions are stable and what we're ratifying for v1.0 by Tariq Kurd (@tariqkurd-repo) in #808
• Clarify that compressed capability instructions are not available in Address Mode by Florian Schmaus (@Flowdalic) in #812

New Contributors

• Prashanth Mundkur (@pmundkur) made their first contribution in #539
• Guo Ren (@guoren83) made their first contribution in #619
• Jonathan Woodruff (@jonwoodruff) made their first contribution in #641
• david-henley made their first contribution in #712
• Alfredo Mazzinghi (@qwattash) made their first contribution in #737
• Florian Schmaus (@Flowdalic) made their first contribution in #812

Full Changelog: v0.9.5...v0.9.6