| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BitwiseOr.v | 1125 | logplain |
| -rw-r--r-- | Decode.v | 8283 | logplain |
| -rw-r--r-- | LoadImmediate.v | 1194 | logplain |
| -rw-r--r-- | Multiply.v | 5158 | logplain |
| -rw-r--r-- | RippleCarryAddSub.v | 8290 | logplain |
| -rw-r--r-- | SelectConditional.v | 874 | logplain |
| -rw-r--r-- | ShiftLeft.v | 1650 | logplain |
| -rw-r--r-- | ShiftLeftRightTactic.v | 1983 | logplain |
| -rw-r--r-- | ShiftRight.v | 1742 | logplain |
| -rw-r--r-- | ShiftRightDoubleWordImmediate.v | 1686 | logplain |
| -rw-r--r-- | SpreadLeftImmediate.v | 5667 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |