https://github.com/project-everest/hacl-star
History
Tip revision: 46ee30b769d4ec4e6cd5da6bd5b0e4deb3fe4306 authored by Jay Bosamiya on 23 July 2019, 00:23:37 UTC
(!!! DO NOT MERGE INTO MASTER !!!) Clean up AESGCM_expected_code by (manually) inlining code.
Tip revision: 46ee30b

back to top