chore(deps)(deps): bump the minor-and-patch group with 3 updates - #32
Closed
dependabot[bot] wants to merge 1 commit into
Closed
chore(deps)(deps): bump the minor-and-patch group with 3 updates#32dependabot[bot] wants to merge 1 commit into
dependabot[bot] wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Aug 24, 2026 in 0s
No divergence found (not a proof)
Compared c24aff2398665467587ed68985269420de891ccc (base) against d83ac20546145b9bdd97f21f7c871e770e52d49a (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