https://github.com/project-everest/hacl-star
History
Tip revision: 00bcdde6136f81d5883d706e663727de170a2308 authored by Chris Hawblitzel on 20 December 2019, 15:29:38 UTC
Capitalize Vale procedure names
Tip revision: 00bcdde
File Mode Size
EverCrypt.c -rw-r--r-- 2.8 KB
EverCrypt.h -rw-r--r-- 23.0 KB
Makefile -rw-r--r-- 4.6 KB
Makefile.basic -rw-r--r-- 1.4 KB
Makefile.include -rw-r--r-- 88 bytes

back to top