docs(changelog): cut v0.3.1 section#127
Merged
Merged
Conversation
Promotes the [Unreleased] placeholder to [0.3.1] — 11 PRs (#113-#126): RV32 Call + i64 Phase 1, binary-safety Phase 1, the validator-pattern prototype, the slot_stack codegen fix (Gale silicon bug #121), the f32 optimized-path fix (#120), the pre-flight stack-underflow guard, the `synth verify` exit-code fix (#124), and the automated release pipeline. v0.3.1 is the first release cut by the release pipeline (#123) — binaries + SHA256SUMS + SLSA provenance + cosign signatures. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Codecov Report✅ All modified and coverable lines are covered by tests. 📢 Thoughts on this report? Let us know! |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Promotes the CHANGELOG
[Unreleased]placeholder to a[0.3.1]section ahead of tagging v0.3.1.Covers the 11 PRs merged for this release (#113–#126): RV32
Call+ i64 Phase 1, binary-safety Phase 1, the validator-pattern prototype, theslot_stackcodegen fix (Gale silicon bug #121), the f32 optimized-path fix (#120), the pre-flight stack-underflow guard (#117), thesynth verifyexit-code fix (#124), the automated release pipeline (#123), and the fuzz/CHANGELOG housekeeping (#114, #118).Release process
v0.3.1 will be the first release cut by the automated pipeline (
release.yml, added in #123): cross-platform binaries,SHA256SUMS.txt, SLSA build provenance, and cosign keyless signatures.Once this merges, the
v0.3.1tag is pushed against the merge commit, which triggers the pipeline.Note on versioning
[workspace.package] versioninCargo.tomlis left at0.1.0— consistent with how v0.1.1–v0.3.0 were all released (tag + CHANGELOG, no Cargo bump; the crates aren't published to crates.io and the release pipeline derives the version from the git tag). If the project wants the Cargo version tracked going forward, that's a separate decision best made consistently (e.g. as part of the Phase 4 crates.io work).🤖 Generated with Claude Code