https://github.com/project-everest/hacl-star
Raw File
Tip revision: c2b32fc2c457935155d88ce0ed49f24b094a3a0a authored by Christoph M. Wintersteiger on 09 September 2020, 11:06:52 UTC
Merge branch 'master' into cwinter_missing_module
Tip revision: c2b32fc
AUTHORS.md
This code was primarily written by Santiago Zanella-Beguelin and Cédric Fournet (MSR).
An earlier version was written by Benjamin Beurdouche (INRIA).
back to top