| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AddGetCarry.v | 4040 | logplain |
| -rw-r--r-- | AddModulo.v | 283 | logplain |
| -rw-r--r-- | CC.v | 1129 | logplain |
| -rw-r--r-- | CPS.v | 7250 | logplain |
| -rw-r--r-- | Definitions.v | 3148 | logplain |
| -rw-r--r-- | Div.v | 7123 | logplain |
| -rw-r--r-- | EquivModulo.v | 3994 | logplain |
| -rw-r--r-- | Ge.v | 417 | logplain |
| -rw-r--r-- | Hints.v | 703 | logplain |
| d--------- | Hints | 146 | logplain |
| -rw-r--r-- | Land.v | 372 | logplain |
| -rw-r--r-- | ModInv.v | 1940 | logplain |
| -rw-r--r-- | Modulo.v | 11913 | logplain |
| d--------- | Modulo | 38 | logplain |
| -rw-r--r-- | Morphisms.v | 3513 | logplain |
| -rw-r--r-- | MulSplit.v | 1261 | logplain |
| -rw-r--r-- | Notations.v | 173 | logplain |
| -rw-r--r-- | Peano.v | 3606 | logplain |
| -rw-r--r-- | Pow2Mod.v | 1987 | logplain |
| -rw-r--r-- | Quot.v | 4309 | logplain |
| -rw-r--r-- | Rshi.v | 697 | logplain |
| -rw-r--r-- | Sgn.v | 344 | logplain |
| -rw-r--r-- | Stabilization.v | 4783 | logplain |
| -rw-r--r-- | Tactics.v | 717 | logplain |
| d--------- | Tactics | 624 | logplain |
| -rw-r--r-- | Testbit.v | 3283 | logplain |
| -rw-r--r-- | Z2Nat.v | 216 | logplain |
| -rw-r--r-- | ZSimplify.v | 109 | logplain |
| d--------- | ZSimplify | 113 | logplain |
| -rw-r--r-- | Zselect.v | 496 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |