chore(release): v0.11.31 — gale codegen pass (#257/#258/#259)#265
Merged
Conversation
Workspace pin sweep 0.11.30 → 0.11.31 (workspace + path-dep pins + MODULE.bazel), Cargo.lock regenerated, CHANGELOG [0.11.31]: load/store imm12 bounds (#259, correctness) + cmp/cmn immediate folding (#258) + mul+add→mla fusion (#257, measured flat_flight 1891→1819 B). All differentials result-identical. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Contributor
Automated review for PR #265pulseengine/synth: Verdict: 💬 Comment Summary: The pull request is approved as it contains only minor changes to the CHANGELOG.md file, which updates the version number and adds new entries for the gale codegen passes. The changes are well-documented and do not introduce any new bugs or regressions. Findings: 0 mechanical (rivet) · 1 from local AI model. Findings (1):
Generated by a local AI model and post-validated against a strict JSON contract. Each finding includes the verbatim line being criticised — verify by reading the file at the cited location. Reviewed at |
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.
Release prep for v0.11.31 — three gale-reported codegen items, all behavior-frozen (differentials result-identical):
imm12offset bounds check (correctness — closes the load/store sibling of the fix(encoder): ADD/SUB large immediates use ADDW/SUBW — fixes large-frame miscompile (VCR-RA-001) #253/encoder: CMP/ADDS/SUBS immediates miss ThumbExpandImm — same silent-miscompile class as #251/#253 #255 silent-miscompile class)cmp/cmnimmediate folding (flat_flight lever research: Add comprehensive Sail/ARM ASL/CakeML analysis and recommendations #3)mul+add→mlafusion (lever Analyze codebase and plan next steps #2; measuredflat_flight1891 → 1819 B)Pin sweep 0.11.30 → 0.11.31 (25 pins + MODULE.bazel), Cargo.lock regenerated, CHANGELOG with falsification statement.
🤖 Generated with Claude Code