Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Hacl_Bignum.h | 6538 | logplain |
-rw-r--r-- | Hacl_Chacha20.h | 1783 | logplain |
-rw-r--r-- | Hacl_Curve25519_51.h | 1785 | logplain |
-rw-r--r-- | Hacl_Hash_SHA1.h | 1710 | logplain |
-rw-r--r-- | Hacl_Hash_SHA2.h | 2183 | logplain |
-rw-r--r-- | Hacl_Krmllib.h | 1569 | logplain |
-rw-r--r-- | Hacl_Poly1305_128.h | 1802 | logplain |
-rw-r--r-- | Hacl_Poly1305_256.h | 1802 | logplain |
-rw-r--r-- | Hacl_Spec.h | 1942 | logplain |