| Age | Commit message (Expand) | 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 |
path: root/sof-dhcr.spthy