https://github.com/project-everest/hacl-star
Raw File
Tip revision: 6c689597d7d7f4e81e9a40481b32f3ff32f33510 authored by Nikhil Swamy on 12 March 2021, 20:17:28 UTC
bump rlimit on lemma that is failing with an F* update
Tip revision: 6c68959
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