-
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
Add hardened forge to the local image
autoprover
#35
opened Jul 1, 2026 by
shellygr
Contributor
Loading…
Scene-timed summary emission via a unified
on_contracts_entered_scene
autosetup
#31
opened Jun 30, 2026 by
jar-ben
Contributor
Loading…
Fix ommer_contracts property name in application context
autoprover
#30
opened Jun 30, 2026 by
oppenheim
Loading…
1 of 2 tasks
Makes composer portable
ai-composer
autoprover
#29
opened Jun 29, 2026 by
jtoman
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…
transient specs have final spec names
autoprover
#4
opened Jun 23, 2026 by
naftali-g
Contributor
Loading…
ProTip!
Follow long discussions with comments:>50.