| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Add.v | 646 | logplain |
| -rw-r--r-- | AddCoordinates.v | 8941 | logplain |
| -rw-r--r-- | AddDisplay.log | 1376 | logplain |
| -rw-r--r-- | AddDisplay.v | 123 | logplain |
| -rw-r--r-- | AddJavaDisplay.log | 1376 | logplain |
| -rw-r--r-- | AddJavaDisplay.v | 126 | logplain |
| -rw-r--r-- | CarryAdd.v | 975 | logplain |
| -rw-r--r-- | CarryOpp.v | 968 | logplain |
| -rw-r--r-- | CarrySub.v | 975 | logplain |
| -rw-r--r-- | GeModulus.v | 1024 | logplain |
| -rw-r--r-- | LadderStep.v | 7647 | logplain |
| -rw-r--r-- | LadderStepDisplay.log | 101535 | logplain |
| -rw-r--r-- | LadderStepDisplay.v | 137 | logplain |
| -rw-r--r-- | LadderStepJavaDisplay.log | 101655 | logplain |
| -rw-r--r-- | LadderStepJavaDisplay.v | 140 | logplain |
| -rw-r--r-- | Mul.v | 855 | logplain |
| -rw-r--r-- | MulDisplay.log | 10027 | logplain |
| -rw-r--r-- | MulDisplay.v | 123 | logplain |
| -rw-r--r-- | MulJavaDisplay.log | 10039 | logplain |
| -rw-r--r-- | MulJavaDisplay.v | 126 | logplain |
| -rw-r--r-- | Opp.v | 640 | logplain |
| -rw-r--r-- | Pack.v | 925 | logplain |
| -rw-r--r-- | PreFreeze.v | 968 | logplain |
| -rw-r--r-- | Sub.v | 646 | logplain |
| -rw-r--r-- | Unpack.v | 965 | logplain |
| -rwxr-xr-x | rebuild-reified.py | 1802 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |