DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Name Description Modified (UTC) Size
specs
FStar.c This file was auto-generated by KreMLin! 7.8 kB
FStar.h This file was auto-generated by KreMLin! 2.4 kB
Hacl_Chacha20.c 8.4 kB
Hacl_Chacha20.h 2.2 kB
Hacl_Chacha20_Vec128.c 11.7 kB
Hacl_Chacha20_Vec128.h 1.6 kB
Hacl_Curve25519.c 27.7 kB
Hacl_Curve25519.h 1.7 kB
Hacl_Poly1305_32.c 20.4 kB
Hacl_Poly1305_32.h 2.7 kB
Hacl_Poly1305_64.c 16.7 kB
Hacl_Poly1305_64.h 2.6 kB
kremlib.h For tests only: we might need this function to be forward-declared, because * the dependency on Was 21.1 kB
kremlib_base.h / /* Some macros to ease compatibility 5.3 kB
vec128.h 7.1 kB