Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | FStar.c | 7844 | logplain |
-rw-r--r-- | FStar.h | 2375 | logplain |
-rw-r--r-- | Hacl_Chacha20.c | 8407 | logplain |
-rw-r--r-- | Hacl_Chacha20.h | 2202 | logplain |
-rw-r--r-- | Hacl_Curve25519.c | 27746 | logplain |
-rw-r--r-- | Hacl_Curve25519.h | 1724 | logplain |
-rw-r--r-- | Hacl_Poly1305_64.c | 16736 | logplain |
-rw-r--r-- | Hacl_Poly1305_64.h | 2621 | logplain |
-rw-r--r-- | kremlib.h | 21121 | logplain |
-rw-r--r-- | kremlib_base.h | 5317 | logplain |
d--------- | specs | 177 | logplain |