Skip to content

chore(release): v0.22.0 — RV32 cmp→select + spill re-choice spike (flag-off) + gimli 0.34#571

Merged
avrabe merged 1 commit into
mainfrom
chore/release-v0.22.0
Jul 2, 2026
Merged

chore(release): v0.22.0 — RV32 cmp→select + spill re-choice spike (flag-off) + gimli 0.34#571
avrabe merged 1 commit into
mainfrom
chore/release-v0.22.0

Conversation

@avrabe

@avrabe avrabe commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

Release v0.22.0 — the accumulated increment since v0.21.0 (3 PRs):

Internal (VCR #242, flag-off)

Changed

Traceability honesty

VCR-RA-001 stays implemented — the spike verified its increment, not the full allocator claim; re-scoped to v0.23.0 (never strengthen an artifact status to cut a release).

Pin sweep + lock + CHANGELOG; frozen anchors unchanged (all content flag-off/dep-only). Tag v0.22.0 on merge.

🤖 Generated with Claude Code

…ag-off) + gimli 0.34

Cuts the accumulated increment: the last RV32 lever port (#568), the
VCR-RA-001 spill spike with the CI-locked flat_flight Belady target (#569),
and the gimli 0.34 bump (#535). VCR-RA-001 stays `implemented` (NOT
strengthened to verified — the spike verified its increment, not the full
allocator claim) and is re-scoped to v0.23.0. Pin sweep + lock + CHANGELOG.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@codecov

codecov Bot commented Jul 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@avrabe avrabe merged commit c766c2a into main Jul 2, 2026
23 of 24 checks passed
@avrabe avrabe deleted the chore/release-v0.22.0 branch July 2, 2026 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant