| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AddSub.v | 13255 | logplain |
| -rw-r--r-- | Core.v | 19933 | logplain |
| -rw-r--r-- | CoreUnfolder.v | 5426 | logplain |
| -rw-r--r-- | Freeze.v | 5487 | logplain |
| -rw-r--r-- | FreezeUnfolder.v | 1206 | logplain |
| -rw-r--r-- | MontgomeryAPI.v | 27383 | logplain |
| -rw-r--r-- | MulSplit.v | 4725 | logplain |
| -rw-r--r-- | MulSplitUnfolder.v | 2178 | logplain |
| -rw-r--r-- | UniformWeight.v | 3492 | logplain |
| -rw-r--r-- | UniformWeightInstances.v | 1456 | logplain |
| -rw-r--r-- | Wrappers.v | 3072 | logplain |
| -rw-r--r-- | WrappersUnfolder.v | 2292 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |