-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: Certora/AutoProver
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
dropping global_timelimit - just use the default, except for the sanity phase
#20
opened Jun 26, 2026 by
jar-ben
Contributor
Loading…
De-couple composer from AutoSetup's on-disk contract
#19
opened Jun 26, 2026 by
shellygr
Contributor
Loading…
Add parallel local-run smoke harness (moved from AIAutoProver)
#18
opened Jun 26, 2026 by
shellygr
Contributor
Loading…
[Autosetup] Detect and warn the user if the main contract is abstract
autosetup
#15
opened Jun 25, 2026 by
jar-ben
Contributor
Loading…
Codegen Overhaul, Pt 3: More cleanup, refactoring
ai-composer
#9
opened Jun 23, 2026 by
jtoman
Contributor
Loading…
transient specs have final spec names
autoprover
#4
opened Jun 23, 2026 by
naftali-g
Contributor
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.