summaryrefslogtreecommitdiff
path: root/lib/freebl/verified
ModeNameSize
-rw-r--r--Hacl_Bignum25519_51.h33638logplain
-rw-r--r--Hacl_Chacha20.c7660logplain
-rw-r--r--Hacl_Chacha20.h1783logplain
-rw-r--r--Hacl_Chacha20Poly1305_128.c68342logplain
-rw-r--r--Hacl_Chacha20Poly1305_128.h1978logplain
-rw-r--r--Hacl_Chacha20Poly1305_256.c68129logplain
-rw-r--r--Hacl_Chacha20Poly1305_256.h1978logplain
-rw-r--r--Hacl_Chacha20Poly1305_32.c19716logplain
-rw-r--r--Hacl_Chacha20Poly1305_32.h1965logplain
-rw-r--r--Hacl_Chacha20_Vec128.c43880logplain
-rw-r--r--Hacl_Chacha20_Vec128.h1826logplain
-rw-r--r--Hacl_Chacha20_Vec256.c65620logplain
-rw-r--r--Hacl_Chacha20_Vec256.h1826logplain
-rw-r--r--Hacl_Curve25519_51.c11091logplain
-rw-r--r--Hacl_Curve25519_51.h1763logplain
-rw-r--r--Hacl_Curve25519_64.c11888logplain
-rw-r--r--Hacl_Curve25519_64.h1730logplain
-rw-r--r--Hacl_Krmllib.h2895logplain
-rw-r--r--Hacl_Poly1305_128.c93000logplain
-rw-r--r--Hacl_Poly1305_128.h2122logplain
-rw-r--r--Hacl_Poly1305_256.c120339logplain
-rw-r--r--Hacl_Poly1305_256.h2122logplain
-rw-r--r--Hacl_Poly1305_32.c18999logplain
-rw-r--r--Hacl_Poly1305_32.h1947logplain
-rw-r--r--curve25519-inline.h29414logplain
d---------internal395logplain
d---------karamel68logplain
-rw-r--r--libintvector.h37282logplain
View Lorry Controller Status