Skip to content

Pull requests: vladb-ai/asm

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

ci: add AI security review (Opus 5)
#9 opened Jul 29, 2026 by vladb-ai Owner Loading…
feat(asm-runner): docker image
#8 opened Jul 2, 2026 by vladb-ai Owner Loading…
6 of 7 tasks
ci: extract shared setup-rust and setup-sp1 composite actions
#7 opened Jul 2, 2026 by vladb-ai Owner Loading…
1 task done
refactor(workers): use typed errors
#6 opened Jul 2, 2026 by vladb-ai Owner Loading…
7 of 8 tasks
feat(dbtool): add moho state and export-entries commands
#5 opened Jul 2, 2026 by vladb-ai Owner Loading…
9 tasks done
feat(dbtool): add proof domain for proofs and remote-prover bookkeeping
#4 opened Jul 2, 2026 by vladb-ai Owner Loading…
9 tasks done
refactor(worker): remove AsmState umbrella, persist AnchorState directly
#3 opened Jul 2, 2026 by vladb-ai Owner Loading…
7 tasks done
fix(btc-verification): bind inclusion proof to the block's Merkle tree
#2 opened Jul 2, 2026 by vladb-ai Owner Loading…
6 tasks done
chore(deps): bump rust to nightly-2026-07-01
#1 opened Jul 2, 2026 by vladb-ai Owner Loading…
7 of 14 tasks
ProTip! Exclude everything labeled bug with -label:bug.