-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: pulseengine/synth
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(lowering): return Err on stack underflow instead of panic — fuzz #113
#117
opened May 15, 2026 by
avrabe
Contributor
Loading…
3 tasks
feat(riscv): WasmOp::Call lowering — leaf-call subset
#116
opened May 15, 2026 by
avrabe
Contributor
Loading…
3 tasks
feat(safety): Phase 1 — --safety-bounds umbrella + RV32 software bounds + RV32 div trap + safety-manifest.json
#115
opened May 15, 2026 by
avrabe
Contributor
Loading…
chore: backfill CHANGELOG sections for v0.1.1, v0.2.0, v0.2.1, v0.3.0
#114
opened May 15, 2026 by
avrabe
Contributor
Loading…
feat(verify): validator pattern prototype — CertifiedSelection + Z3 for I32Add (#76)
#113
opened May 15, 2026 by
avrabe
Contributor
Loading…
[temper] Configuration update
automation
Automation updates
dependencies
Dependency updates
#84
opened Apr 27, 2026 by
temper-pulseengine
Bot
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.