cargo / decern-proof
SMT proof harness that machine-checks decern's authorization invariants with cvc5.
0.4.0 did not build; the badge stands for .
| Releases1 | Findings | Build time | Built | |
|---|---|---|---|---|
| 0.4.0 | not built | 6h ago |
Open-Source Registry
Open-Source Registry
cargo / decern-proof
SMT proof harness that machine-checks decern's authorization invariants with cvc5.
0.4.0 did not build; the badge stands for .
| Releases1 | Findings | Build time | Built | |
|---|---|---|---|---|
| 0.4.0 | not built | 6h ago |