https://github.com/project-everest/hacl-star
Revision 69c73867e8bdff548632ff319f094e8d9592b789 authored by Aymeric Fromherz on 14 November 2019, 19:50:01 UTC, committed by Aymeric Fromherz on 14 November 2019, 19:50:01 UTC
1 parent 042dfca
History
Tip revision: 69c73867e8bdff548632ff319f094e8d9592b789 authored by Aymeric Fromherz on 14 November 2019, 19:50:01 UTC
Stabilize EverCrypt.Autoconfig2
Tip revision: 69c7386
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-- 34.5 KB
Makefile.common -rw-r--r-- 4.5 KB
Makefile.include -rw-r--r-- 2.8 KB
Makefile.local -rw-r--r-- 2.1 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 2.1 KB

README.md

back to top