https://github.com/project-everest/hacl-star
History
Tip revision: e4af4fa0596a02a778781281adf6d42eb4b4df95 authored by Bryan Parno on 13 August 2018, 17:46:57 UTC
Fix up decrypt as well. It's not yet optimized.
Tip revision: e4af4fa
File Mode Size
code
doc
hints
specs
.gitignore -rw-r--r-- 171 bytes
.tested_fstar_version -rw-r--r-- 41 bytes
.tested_z3_version -rw-r--r-- 6 bytes
CODE.md -rw-r--r-- 808 bytes
INSTALL.md -rw-r--r-- 2.4 KB
LICENSE -rw-r--r-- 10.0 KB
README.md -rw-r--r-- 1.7 KB
SConstruct -rw-r--r-- 49.6 KB
scons_cygwin.sh -rwxr-xr-x 159 bytes

README.md

back to top