| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | FStar.c | 7844 | logstatsplain |
| -rw-r--r-- | FStar.h | 2375 | logstatsplain |
| -rw-r--r-- | Hacl_Chacha20.c | 8407 | logstatsplain |
| -rw-r--r-- | Hacl_Chacha20.h | 2202 | logstatsplain |
| -rw-r--r-- | Hacl_Curve25519.c | 27746 | logstatsplain |
| -rw-r--r-- | Hacl_Curve25519.h | 1724 | logstatsplain |
| -rw-r--r-- | Hacl_Poly1305_64.c | 16736 | logstatsplain |
| -rw-r--r-- | Hacl_Poly1305_64.h | 2621 | logstatsplain |
| -rw-r--r-- | kremlib.h | 21121 | logstatsplain |
| -rw-r--r-- | kremlib_base.h | 5317 | logstatsplain |
| d--------- | specs | 177 | logstatsplain |
 |
index : UXP | |
| Unnamed repository; edit this file 'description' to name the repository. | User & |
| summaryrefslogtreecommitdiffstats |