-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: pulseengine/synth
Pull requests list
feat(aarch64): RQ-64-MACHO — a Mach-O MH_OBJECT over the SAME ObjectPlan, linked by Apple ld and EXECUTED on macOS
#1184
opened Sep 7, 2026 by
avrabe
Contributor
Loading...
RQ-64-SCOPEGAP (#1085): unscoped artifacts get a staleness rule — S1/S2, red-first on VCR-REACH-002 + the proof-count class (23 → 0 undated)
#1182
opened Sep 7, 2026 by
avrabe
Contributor
Loading...
RQ-64-HISTOGRAM (#1159): mask hex payloads in the census collapse, assert the sum invariant, wire the self-test — arm's non-rotated-immediate gap is rank 3 at 9, not rank 5 at 4
#1181
opened Sep 7, 2026 by
avrabe
Contributor
Loading...
chore(deps): bump wast from 257.0.1 to 258.0.0
dependencies
Dependency updates
major-bump-hold
Breaking-class dep bump (major / 0.x-minor / 0.0.x) held from auto-merge — #866/#965
#1110
opened Aug 31, 2026 by
dependabot
Bot
Loading...
chore(deps): bump z3 from 0.20.2 to 0.21.0
dependencies
Dependency updates
major-bump-hold
Breaking-class dep bump (major / 0.x-minor / 0.0.x) held from auto-merge — #866/#965
#1108
opened Aug 31, 2026 by
dependabot
Bot
Loading...
chore(deps): bump pulseengine/rivet from 0.34.0 to 0.35.0
dependencies
Dependency updates
major-bump-hold
Breaking-class dep bump (major / 0.x-minor / 0.0.x) held from auto-merge — #866/#965
#1107
opened Aug 31, 2026 by
dependabot
Bot
Loading...
chore(deps): bump wit-parser from 0.257.1 to 0.258.0
dependencies
Dependency updates
major-bump-hold
Breaking-class dep bump (major / 0.x-minor / 0.0.x) held from auto-merge — #866/#965
#1106
opened Aug 31, 2026 by
dependabot
Bot
Loading...
ProTip!
Mix and match filters to narrow down what you’re looking for.