| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ArchitectureToZLike.v | 1643 | logplain |
| -rw-r--r-- | ArchitectureToZLikeProofs.v | 5206 | logplain |
| -rw-r--r-- | BarretReduction.v | 4132 | logplain |
| -rw-r--r-- | BaseSystem.v | 1797 | logplain |
| -rw-r--r-- | BaseSystemProofs.v | 4274 | logplain |
| d--------- | Double | 67 | logplain |
| -rw-r--r-- | Interface.v | 19192 | logplain |
| -rw-r--r-- | InterfaceProofs.v | 9199 | logplain |
| -rw-r--r-- | MontgomeryReduction.v | 5477 | logplain |
| -rw-r--r-- | Pow2Base.v | 694 | logplain |
| -rw-r--r-- | Pow2BaseProofs.v | 25893 | logplain |
| -rw-r--r-- | README.md | 197 | logplain |
| -rw-r--r-- | VerdiTactics.v | 13462 | logplain |
| -rw-r--r-- | ZBounded.v | 9414 | logplain |
| -rw-r--r-- | ZBoundedZ.v | 3257 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |