https://github.com/project-everest/hacl-star
Revision f8a1e28e079351a3d88d947a279570a94974dd0b authored by Aseem Rastogi on 02 June 2021, 10:57:21 UTC, committed by Aseem Rastogi on 02 June 2021, 10:57:21 UTC
1 parent 5287014
History
Tip revision: f8a1e28e079351a3d88d947a279570a94974dd0b authored by Aseem Rastogi on 02 June 2021, 10:57:21 UTC
fixing a flaky proof (FStar PR #2306)
Tip revision: f8a1e28
File Mode Size
.ci
.docker
.github
bindings
code
dist
doc
hints
lib
obj
providers
secure_api
specs
tests
tools
vale
.drone.yml -rw-r--r-- 390 bytes
.gitattributes -rw-r--r-- 340 bytes
.gitignore -rw-r--r-- 399 bytes
LICENSE -rw-r--r-- 11.1 KB
MERGING-DEV.md -rw-r--r-- 3.1 KB
Makefile -rw-r--r-- 49.6 KB
Makefile.common -rw-r--r-- 6.2 KB
Makefile.include -rw-r--r-- 2.9 KB
Makefile.local -rw-r--r-- 2.5 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