File | Mode | Size |
---|---|---|
c89-compatible | ||
ccf | ||
evercrypt-external-headers | ||
gcc-compatible | ||
gcc64-only | ||
kremlin | ||
linux | ||
merkle-tree | ||
mitls | ||
mozilla | ||
msvc-compatible | ||
portable-gcc-compatible | ||
vale | ||
wasm | ||
LICENSE.txt | -rw-r--r-- | 1.1 KB |
META | -rw-r--r-- | 150 bytes |
Makefile.tmpl | -rw-r--r-- | 5.3 KB |
configure | -rwxr-xr-x | 2.9 KB |
hacl-star-raw.opam | -rw-r--r-- | 876 bytes |