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