https://github.com/project-everest/hacl-star
Revision 3504349ca475d10a6770350ba3e8b1ae8a45b91b authored by Santiago Zanella-Beguelin on 05 November 2019, 13:24:58 UTC, committed by Santiago Zanella-Beguelin on 05 November 2019, 14:45:38 UTC
1 parent 6807cc0
History
Tip revision: 3504349ca475d10a6770350ba3e8b1ae8a45b91b authored by Santiago Zanella-Beguelin on 05 November 2019, 13:24:58 UTC
HMAC_DRBG: EverCrypt-level tests. Disable CMacro extraction; it break F* clients, which still refer to the non-extracted definition
Tip revision: 3504349
File Mode Size
.docker
code
dist
doc
hints
lib
obj
providers
secure_api
specs
tests
tools
vale
.gitattributes -rw-r--r-- 118 bytes
.gitignore -rw-r--r-- 264 bytes
LICENSE -rw-r--r-- 11.1 KB
Makefile -rw-r--r-- 33.5 KB
Makefile.common -rw-r--r-- 4.4 KB
Makefile.include -rw-r--r-- 2.8 KB
Makefile.local -rw-r--r-- 1.7 KB
README.EverCrypt.md -rw-r--r-- 15.1 KB
README.HACL.md -rw-r--r-- 3.4 KB
README.Vale.md -rw-r--r-- 2.2 KB
README.md -rw-r--r-- 1.8 KB
build_local.sh -rwxr-xr-x 1.8 KB

README.md

back to top