Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BarrettReduction.v | 8036 | logplain |
-rw-r--r-- | BarrettReductionReificationCache.v | 1406 | logplain |
-rw-r--r-- | InvertHighLow.v | 1351 | logplain |
-rw-r--r-- | LegacySynthesisTactics.v | 4097 | logplain |
-rw-r--r-- | MontgomeryReduction.v | 8183 | logplain |
-rw-r--r-- | MontgomeryReductionReificationCache.v | 1096 | logplain |
-rw-r--r-- | Primitives.v | 36509 | logplain |
-rw-r--r-- | ReificationCache.v | 1845 | logplain |
-rw-r--r-- | SaturatedSolinas.v | 8471 | logplain |
-rw-r--r-- | SaturatedSolinasReificationCache.v | 1184 | logplain |
-rw-r--r-- | SmallExamples.v | 3480 | logplain |
-rw-r--r-- | UnsaturatedSolinas.v | 32003 | logplain |
-rw-r--r-- | UnsaturatedSolinasReificationCache.v | 9252 | logplain |
-rw-r--r-- | WordByWordMontgomery.v | 36995 | logplain |
-rw-r--r-- | WordByWordMontgomeryReificationCache.v | 11839 | logplain |