| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | bench-android.sh | 1928 | logplain |
| -rw-r--r-- | bench.sh | 850 | logplain |
| -rw-r--r-- | measurements-haswell.txt | 38387 | logplain |
| -rw-r--r-- | measurements-krail.txt | 22681 | logplain |
| -rw-r--r-- | missing-haswell.txt | 8923 | logplain |
| -rw-r--r-- | missing-krail.txt | 6481 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |