https://github.com/project-everest/hacl-star
History
Tip revision: 9b6da5d05330dcbcf179f2ae3d0e1c3d796ed8f3 authored by Santiago Zanella-Beguelin on 03 March 2020, 15:47:57 UTC
Update to use proof of Fermat's little theorem in FStar
Tip revision: 9b6da5d
File Mode Size
.docker
code
dist
doc
hints
lib
obj
providers
secure_api
specs
tests
tools
vale
.gitattributes -rw-r--r-- 340 bytes
.gitignore -rw-r--r-- 461 bytes
LICENSE -rw-r--r-- 11.1 KB
MERGING-DEV.md -rw-r--r-- 3.1 KB
Makefile -rw-r--r-- 38.6 KB
Makefile.common -rw-r--r-- 5.0 KB
Makefile.include -rw-r--r-- 2.9 KB
Makefile.local -rw-r--r-- 2.4 KB
PULL.md -rw-r--r-- 2.7 KB
README.md -rw-r--r-- 3.8 KB
build_local.sh -rwxr-xr-x 2.1 KB

README.md

back to top