Skip to content

Pull requests: Certora/AutoProver

New pull request New
26 Open 210 Closed
26 Open 210 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Build and inspect a Solana crate from Python
#243 opened Sep 18, 2026 by ericeil Contributor Loading…
Prepare AutoProver reports for Solana
#241 opened Sep 16, 2026 by ericeil Contributor Loading…
buffers: guide the split with the summarization detector
#235 opened Sep 16, 2026 by jar-ben Collaborator Loading…
CloudRunner: unified early-stop infra (preprocessing watchdog + stop-on-first-violation) autosetup
#234 opened Sep 16, 2026 by jar-ben Collaborator Loading…
13
Read verdicts from every run that accounts for the published spec
#232 opened Sep 15, 2026 by shellygr Contributor Loading…
7
autosetup: curate Solady SafeTransferLib and AuthorityUtils.canCallWithDelay autosetup
#231 opened Sep 14, 2026 by jar-ben Collaborator Loading…
Let a component lose property extraction without losing the run
#228 opened Sep 12, 2026 by shellygr Contributor Loading…
5
Multi-spec buffers: parallel, per-precision CVL verification autoprover
#215 opened Sep 5, 2026 by jar-ben Collaborator Loading…
44
Bound the AutoSetup wait, and stop the task holding it from outliving the run
#208 opened Sep 4, 2026 by shellygr Contributor Loading…
5
Cancel the rest of a concurrent group when one member fails
#203 opened Sep 2, 2026 by shellygr Contributor Loading…
Fix report generation when using local Prover runs
#201 opened Sep 2, 2026 by naftali-g Contributor Loading…
summarization_detector: standalone summarization-target detector
#193 opened Aug 25, 2026 by jar-ben Collaborator Loading…
Resume a codegen thread from its checkpoint instead of re-entering it ai-composer
#192 opened Aug 25, 2026 by shellygr Contributor Loading…
Generalize findings to support non-Prover backends
#185 opened Aug 21, 2026 by ericeil Contributor Loading…
CloudRunner: stop_on_first_violation — cancel a running job on the first violated rule autosetup
#178 opened Aug 19, 2026 by jar-ben Collaborator Loading…
RIP king
#173 opened Aug 18, 2026 by jtoman Contributor • Draft
Authenticate to the Certora cloud without a browser
#166 opened Aug 14, 2026 by shellygr Contributor • Draft
Let console-codegen take several spec files
#155 opened Aug 12, 2026 by shellygr Contributor • Draft
smtool: symbolic-model tool library checkpoint (wip)
#128 opened Aug 6, 2026 by jar-ben Collaborator • Draft
PR 3/3: Crucible backend
#98 opened Jul 23, 2026 by ericeil Contributor • Draft
certora-fv-amenability: static FV-amenability scorer (phase 1)
#87 opened Jul 17, 2026 by shellygr Contributor • Draft
1
autosetup: preprocessing watchdog — cancel cloud jobs stuck in prover preprocessing
#84 opened Jul 17, 2026 by shellygr Contributor Loading…
2
Autosetup: recommend optimistic_fallback for native value transfers; filter NONDET-ineligible methods at match time autosetup
#52 opened Jul 4, 2026 by shellygr Contributor • Draft
Add curated CVL summaries for Solady SafeTransferLib, CREATE3, LibClone autosetup
#51 opened Jul 4, 2026 by shellygr Contributor Loading…
1
Auto-enable dynamic_bound/dynamic_dispatch when contract creation is detected autosetup
#48 opened Jul 4, 2026 by shellygr Contributor • Draft
3
ProTip! Filter pull requests by the default branch with base:master.