Skip to content

Pull requests: Certora/AutoProver

New pull request New
32 Open 178 Closed
32 Open 178 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

llm: retry Anthropic mid-stream connection drops autoprover
#217 opened Sep 6, 2026 by jar-ben Collaborator Loading…
Put a curated summary's companion contracts in the scene
#216 opened Sep 5, 2026 by shellygr Contributor Loading…
1
Jaroslav/multi spec buffers v2
#215 opened Sep 5, 2026 by jar-ben Collaborator Loading…
Drop the eager structural-invariant phase
#214 opened Sep 5, 2026 by shellygr Contributor Loading…
3
Check the budget while polling a cloud prover job
#213 opened Sep 4, 2026 by shellygr Contributor Loading…
Retry a rejected report grouping instead of falling back
#212 opened Sep 4, 2026 by shellygr Contributor Loading…
1
fast timeline
#210 opened Sep 4, 2026 by jtoman Contributor Loading…
Julian/soroban null backend
#209 opened Sep 4, 2026 by julian-certora Loading…
Bound the AutoSetup wait, and stop the task holding it from outliving the run
#208 opened Sep 4, 2026 by shellygr Contributor Loading…
3
Add verification groups: agent-declared parallel prover runs with per-group summarization autoprover
#207 opened Sep 4, 2026 by jar-ben Collaborator Loading…
Resolve each project's imports through its own remappings autosetup
#205 opened Sep 2, 2026 by shellygr Contributor Loading…
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…
support openrouter as an llm provider
#190 opened Aug 25, 2026 by naftali-g Contributor Loading…
16
Fix imports whose spelling does not match the file on disk
#188 opened Aug 24, 2026 by shellygr Contributor Loading…
3
autosetup: keep via-ir off contracts whose pinned compiler cannot take its settings
#186 opened Aug 22, 2026 by shellygr Contributor • Draft
1
Generalize findings: each backend says what its evidence is, the host writes it up
#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
Support verifying a library main contract via a generated harness autoprover
#132 opened Aug 7, 2026 by shellygr Contributor Loading…
17
smtool: symbolic-model tool library checkpoint (wip)
#128 opened Aug 6, 2026 by jar-ben Collaborator • Draft
ProTip! Mix and match filters to narrow down what you’re looking for.