v0.9.2 minor fixes since 0.9.1
Pre-release
Pre-release
tariqkurd-repo
released this
12 Dec 18:03
·
15 commits
to main
since this release
What's Changed
spec change
- add more exception types to distinguish CHERI page fault types by @tariqkurd-repo in #480
clarifications
- Add legal permissions invariant for tagged capabilities by @mayyamal in #450
- improvements to Zcheripte text by @tariqkurd-repo in #451
- El perm sealed by @tariqkurd-repo in #460
- invalid address csr updates by @tariqkurd-repo in #456
- should data-trace record load data before or after ACPERM updates? by @tariqkurd-repo in #463
- Clarify mtval wording by @tomaird in #468
- Second attempt at fixing CRE by @tariqkurd-repo in #474
- Clarifications to PTE specification by @Timmmm in #469
spelling, formatting, minor text fixes
- fix descriptions by @tariqkurd-repo in #473
- Capitalised MODE everywhere in the csv by @francislaus in #475
- Made spelling of pseudoinstruction and pseudocode consistent by @francislaus in #479
- Converging British English spellings to American English spellings by @francislaus in #454
- fix line break by @tariqkurd-repo in #461
- Deleted incorrect statement about ASR needed for all M and S mode CSRs by @francislaus in #462
- Added missing description of changes to the hedeleg register by @francislaus in #466
version, bot and bot-generated PRs
- Update extension stability table by @arichardson in #471
- version 0.9.2 by @tariqkurd-repo in #481
- add dependabot to create PR to update the submodules to latest by @kbroch-rivosinc in #467
- Bump docs-resources from
51d3e82
toa76dd1d
by @dependabot in #477
New Contributors
- @kbroch-rivosinc made their first contribution in #467
- @dependabot made their first contribution in #477
Full Changelog: v0.9.1-prelease...v0.9.2-prerelease