build(deps): bump gradle-wrapper from 9.7.0 to 9.7.1 - #3054
Open
dependabot[bot] wants to merge 1 commit into
Open
dependabot[bot] wants to merge 1 commit into
dependabot[bot] wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Sep 9, 2026 in 0s
No divergence found (not a proof)
Compared 251108eaf0405f455d6373df8a6ca0a20a3b7127 (base) against 4796821b98b5f10df3785f43bb7c2e44ac1ad776 (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
No divergences or abstentions to report.
Formal verification is advisory: equivalent is a proof over a bounded sound subset; may_equivalent is sampled, not proven; unsupported and error are honest abstentions.
Loading