Release v0.8.0-prerelease · riscv/riscv-cheri

New or removed extensions

Fix minor nits in representable region section by @PRugg-Cap in #147
Revert "Fix malformed check to avoid 65-bit top overflow" by @arichardson in #196
Fix the auipcc reachability challenge by @PeterRugg in #116
Permission transitions by @tariqkurd-repo in #175
Define a new 32-bit permissions format by @arichardson in #155
Fix malformed check to avoid 65-bit top overflow by @PRugg-Cap in #184

Remove old text: PCC is no longer a CSR by @PRugg-Cap in #157
Clarify that misaligned SC/LC except by @andresag01 in #125
fix-issue-122: Add rules around programming CRE and CME bits, and variable XLEN by @tariqkurd-repo in #126
fix C.MODESW encoding so it doesn't overlap C.SUBW by @tariqkurd-repo in #137
Remove JALR.MODE by @arichardson in #167
Change CSR/jump/branch invalid address handling by @andresag01 in #188
Document minimum resources for Sdext operation by @sorear in #88
Define AP field for Infinite on purecap and legacy exts by @andresag01 in #197
Merge XLEN and CLEN CSR address space by @arichardson in #168
change Zcmt checking to PCC bounds in legacy mode, and change JVTC reset value by @tariqkurd-repo in #178
Remove the CHERI mode enable CSR bits by @arichardson in #174

Redundant pcc unseal text by @tariqkurd-repo in #124
add ASR permission and target out of bounds exception priority by @tariqkurd-repo in #128
Update CTestSubset mnemonic by @Timmmm in #135
Invert subset/superset for CBLD by @Timmmm in #136
Mnemonic fixes by @PRugg-Cap in #146
C.SC and C.SCSP imm should be 64-bit aligned (RV32) by @James-Williams in #150
MODESW, CBO.* - Specify all bits of funct5 fields by @James-Williams in #152
Fix CSR menmonic operand order in specification by @veselypeta in #148
Indicate tag value for NULL and Infinite caps by @andresag01 in #153
Fix various Zba bugs by @PRugg-Cap in #160
Indicate that GPRs have tag cleared on reset by @andresag01 in #170
encoding fixes by @tariqkurd-repo in #177
Add table with exception priority with triggers by @andresag01 in #171
Remove XLENMAX by @sorear in #123
make SH4ADD/SH4ADD.UW RV64 only by @tariqkurd-repo in #181
Add some missed RV64 prerequisites by @PRugg-Cap in #183
Clarify that cbld cd.tag=0 if checks fail by @andresag01 in #189
Clarify non-user mode CSRs in CSR insns listing by @andresag01 in #192
Fix typo in SCADDR listings by @andresag01 in #194
Fix typos in instruction listings by @andresag01 in #195

Full Changelog: v0.7.1-prelease...v0.8.0-prerelease