v0.9.7

This is an incremental release on top of 0.9.6.1 to address a limitation in the temporal safety extension.
Otherwise, there are no functional changes -- only spelling/grammar fixes and clarifications.

Functional changes to the specification:

The temporal safety extension (draft name Svyrg) now uses a 4-bit scheme to support all states of existing revoker software (pull request #933, issue #922).

• The new scheme is near identical to the previous one, but allows encoding additional revoker states that are important to software.
• As part of this change names of the PTE bits were updated to be in line with the naming scheme used elsewhere and now use the letter Y instead C.
• The extension was renamed from Svucrg to Svyrg
• The Svucrglct extension has been dropped. This extension specifies whether loaded tags are checked, but as software always needs to assume they might not be, there is no need to give a name to this implementation choice -- software just runs faster if tags are (usually) checked by the implementation.

PTE change

• 4-bit pte scheme to support all states of existing revoker software by @tariqkurd-repo in #933

Log of minor changes:

• fix page break formatting by @tariqkurd-repo in #901
• fix mcause numbers by @tariqkurd-repo in #903
• jumps not authorised by PCC in hybrid mode by @tariqkurd-repo in #902
• fix periods by @tariqkurd-repo in #910
• fix table by @tariqkurd-repo in #912
• Fix tag clearing for YBNDRW by @James-Williams in #918
• Svucrg clarification by @tariqkurd-repo in #919
• fix typo by @tariqkurd-repo in #927
• Clarify M=1 X=0 spec by @tariqkurd-repo in #926
• Fix a typo in srliy/gchi func5 definition. by @rrcswork in #934
• Fix heading levels for priv spec integration by @tariqkurd-repo in #931
• Remove redundant Xtval RVY text by @tariqkurd-repo in #935
• Clarify what the various Xstateen0.TID bits control access to. by @awiseAtCodasip in #932
• integrity checks: clarify that this is about valid capabilities by @Flowdalic in #943
• drootcsel is WARL by @tariqkurd-repo in #945
• Clarify behaviour of prefetch instructions by @tariqkurd-repo in #900
• ymodew: remove unnecessary requirement of rs1's failing integrity check by @Flowdalic in #944
• zytopr: fix typos by @Flowdalic in #947
• Fix fault type in exception table by @tariqkurd-repo in #940
• ypermc: clarify that the fixed point is not just a set of permissions by @Flowdalic in #942
• Fix prefetch instruction descriptions in generated table by @stuartmenefy in #946
• Spelling and grammar pass 097 by @arichardson in #948
• Fix font warnings by @arichardson in #950

resources

• Bump docs-resources from d644eb9 to 8789870 by @dependabot[bot] in #904
• Bump docs-resources from 8789870 to edf32fb by @dependabot[bot] in #905
• Bump docs-resources from edf32fb to b5eaf50 by @dependabot[bot] in #909
• Bump docs-resources from b5eaf50 to be002f1 by @dependabot[bot] in #930
• Bump docs-resources from be002f1 to 7a9931f by @dependabot[bot] in #937
• Bump docs-resources from 7a9931f to 40aed03 by @dependabot[bot] in #939
• Bump docs-resources from 40aed03 to a41c354 by @dependabot[bot] in #949

New Contributors

• @rrcswork made their first contribution in #934
• @awiseAtCodasip made their first contribution in #932
• @stuartmenefy made their first contribution in #946

Full Changelog: v0.9.6.1...v0.9.7