| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 2017-11-03-gcc | 158 | logplain |
| d--------- | 2017-11-03 | 232 | logplain |
| d--------- | 2017-11-10-android | 78 | logplain |
| d--------- | 2017-11-11-android | 133 | logplain |
| d--------- | 2017-11-13-android | 142 | logplain |
| d--------- | 2017-11-13 | 48 | logplain |
| d--------- | 2017-11-16 | 274 | logplain |
| -rw-r--r-- | gather_results.sh | 854 | logplain |
| -rw-r--r-- | graph_aggregate_32.tex | 5034 | logplain |
| -rw-r--r-- | graph_aggregate_64.tex | 5365 | logplain |
| -rw-r--r-- | results-by-field-aggregate32.txt | 7385 | logplain |
| -rw-r--r-- | results-by-field-aggregate64.txt | 14755 | logplain |
| -rw-r--r-- | tolatex.py | 8355 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |
path: root/measurements