https://github.com/project-everest/hacl-star
History
Tip revision: d0a6789a6e975d548e210e22a1a0b3a0355d53c3 authored by Chris Hawblitzel on 13 December 2019, 18:50:49 UTC
Switch Vale.Interop.Views from Vale.Def.Opaque_s.reveal_opaque to FStar.Pervasives.reveal_opaque
Tip revision: d0a6789
File Mode Size
Lib_Memzero.c -rw-r--r-- 614 bytes
Lib_PrintBuffer.c -rw-r--r-- 1.2 KB
Lib_RandomBuffer_System.c -rw-r--r-- 1.4 KB
evercrypt_targetconfig.h -rw-r--r-- 650 bytes
libintvector.h -rw-r--r-- 11.4 KB

back to top