summaryrefslogtreecommitdiffstats
path: root/security/nss/lib/freebl/verified
ModeNameSize
-rw-r--r--FStar.c7844logstatsplain
-rw-r--r--FStar.h2375logstatsplain
-rw-r--r--Hacl_Chacha20.c8407logstatsplain
-rw-r--r--Hacl_Chacha20.h2202logstatsplain
-rw-r--r--Hacl_Chacha20_Vec128.c11666logstatsplain
-rw-r--r--Hacl_Chacha20_Vec128.h1583logstatsplain
-rw-r--r--Hacl_Curve25519.c27746logstatsplain
-rw-r--r--Hacl_Curve25519.h1724logstatsplain
-rw-r--r--Hacl_Poly1305_64.c16736logstatsplain
-rw-r--r--Hacl_Poly1305_64.h2621logstatsplain
-rw-r--r--kremlib.h21121logstatsplain
-rw-r--r--kremlib_base.h5337logstatsplain
d---------specs177logstatsplain
-rw-r--r--vec128.h7081logstatsplain