| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BarrettReduction.v | 9137 | logplain |
| -rw-r--r-- | BarrettReductionReificationCache.v | 1399 | logplain |
| -rw-r--r-- | FancyMontgomeryReduction.v | 7962 | logplain |
| -rw-r--r-- | FancyMontgomeryReductionReificationCache.v | 1191 | logplain |
| -rw-r--r-- | InvertHighLow.v | 1351 | logplain |
| -rw-r--r-- | LegacySynthesisTactics.v | 4097 | logplain |
| -rw-r--r-- | Primitives.v | 37113 | logplain |
| -rw-r--r-- | ReificationCache.v | 1845 | logplain |
| -rw-r--r-- | SaturatedSolinas.v | 8561 | logplain |
| -rw-r--r-- | SaturatedSolinasReificationCache.v | 1201 | logplain |
| -rw-r--r-- | SmallExamples.v | 3505 | logplain |
| -rw-r--r-- | UnsaturatedSolinas.v | 32134 | logplain |
| -rw-r--r-- | UnsaturatedSolinasReificationCache.v | 9339 | logplain |
| -rw-r--r-- | WordByWordMontgomery.v | 36974 | logplain |
| -rw-r--r-- | WordByWordMontgomeryReificationCache.v | 11991 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |