https://github.com/project-everest/hacl-star
History
Tip revision: 9923dbd35a2d172c6cb0d9b18a2453108c0a8471 authored by Chris Hawblitzel on 25 April 2019, 14:14:44 UTC
Merge branch 'fstar-master' into _vale_poly1305_merge
Tip revision: 9923dbd
File Mode Size
Lib_PrintBuffer.c -rw-r--r-- 1.2 KB
Lib_RandomBuffer.c -rw-r--r-- 2.0 KB
evercrypt_targetconfig.h -rw-r--r-- 650 bytes
libintvector.h -rw-r--r-- 10.9 KB

back to top