| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BitwiseOr.v | 1194 | logplain |
| -rw-r--r-- | Decode.v | 8293 | logplain |
| -rw-r--r-- | LoadImmediate.v | 1213 | logplain |
| -rw-r--r-- | Multiply.v | 5347 | logplain |
| -rw-r--r-- | RippleCarryAddSub.v | 8498 | logplain |
| -rw-r--r-- | SelectConditional.v | 874 | logplain |
| -rw-r--r-- | ShiftLeft.v | 1666 | logplain |
| -rw-r--r-- | ShiftLeftRightTactic.v | 2451 | logplain |
| -rw-r--r-- | ShiftRight.v | 1668 | logplain |
| -rw-r--r-- | ShiftRightDoubleWordImmediate.v | 1703 | logplain |
| -rw-r--r-- | SpreadLeftImmediate.v | 5864 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |