| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Model points at infinity as malicious public keys | Osmium Sorcerer | 3 months | |
| Age | Commit message | Author | ||
| 2026-03-25 | Model points at infinity as malicious public keysHEADmaster | Osmium Sorcerer | ||
| 2026-03-13 | Initialize | Osmium Sorcerer | ||
 |
index : sof-auth-model | |
| Symbolic model of SoF auth | Osmium Sorcerer |
| aboutsummaryrefslogtreecommitdiff |