Revision 740e005247abf20870203acc9b37935012e2855a authored by Jonathan Protzenko on 08 June 2020, 20:48:05 UTC, committed by GitHub on 08 June 2020, 20:48:05 UTC
OCaml API: Placeholders for unsupported primitives in Hacl
File | Mode | Size |
---|---|---|
c89-compatible | ||
ccf | ||
evercrypt-external-headers | ||
gcc-compatible | ||
gcc64-only | ||
kremlin | ||
linux | ||
merkle-tree | ||
mitls | ||
mozilla | ||
msvc-compatible | ||
portable-gcc-compatible | ||
test | ||
vale | ||
wasm | ||
LICENSE.txt | -rw-r--r-- | 1.1 KB |
META | -rw-r--r-- | 152 bytes |
Makefile.test | -rw-r--r-- | 641 bytes |
Makefile.tmpl | -rw-r--r-- | 5.9 KB |
configure | -rwxr-xr-x | 6.5 KB |
hacl-star-raw.opam | -rw-r--r-- | 904 bytes |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...