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_Chacha20_Vec128.c | 11666 | logstatsplain |
-rw-r--r-- | Hacl_Chacha20_Vec128.h | 1583 | logstatsplain |
-rw-r--r-- | Hacl_Curve25519.c | 27746 | logstatsplain |
-rw-r--r-- | Hacl_Curve25519.h | 1724 | logstatsplain |
-rw-r--r-- | Hacl_Poly1305_32.c | 20409 | logstatsplain |
-rw-r--r-- | Hacl_Poly1305_32.h | 2731 | 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 | 5337 | logstatsplain |
d--------- | specs | 177 | logstatsplain |
-rw-r--r-- | vec128.h | 7081 | logstatsplain |