https://github.com/project-everest/hacl-star
History
Tip revision: bc1b759fe5f471c827d2b6d292e530e36a6d3a67 authored by Jonathan Protzenko on 02 April 2019, 05:59:21 UTC
Merge remote-tracking branch 'origin/fstar-master' into evercrypt-v0.1+
Tip revision: bc1b759
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-- 203 bytes
LICENSE -rw-r--r-- 11.1 KB
Makefile -rw-r--r-- 30.7 KB
Makefile.common -rw-r--r-- 1.2 KB
Makefile.include -rw-r--r-- 3.4 KB
README.EverCrypt.md -rw-r--r-- 14.8 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