https://github.com/project-everest/hacl-star
History
Tip revision: dd87607dda81d9366a834a111953b3bf1faa421d authored by Tahina Ramananandro on 12 May 2020, 03:16:30 UTC
Merge branch 'master' of github.com:mitls/hacl-star into _taramana_ubuntu_focal
Tip revision: dd87607
File Mode Size
AUTHORS.md -rw-r--r-- 162 bytes
Hacl.Chacha20.Vec128.fst -rw-r--r-- 512 bytes
Hacl.Chacha20.Vec256.fst -rw-r--r-- 519 bytes
Hacl.Chacha20.Vec32.fst -rw-r--r-- 508 bytes
Hacl.Chacha20.fst -rw-r--r-- 1.2 KB
Hacl.Impl.Chacha20.Core32.fst -rw-r--r-- 4.4 KB
Hacl.Impl.Chacha20.Core32xN.fst -rw-r--r-- 7.1 KB
Hacl.Impl.Chacha20.Vec.fst -rw-r--r-- 9.2 KB
Hacl.Impl.Chacha20.fst -rw-r--r-- 6.7 KB
Hacl.Meta.Chacha20.Vec.fst -rw-r--r-- 382 bytes
Hacl.Spec.Chacha20.Equiv.fst -rw-r--r-- 34.4 KB
Hacl.Spec.Chacha20.Lemmas.fst -rw-r--r-- 9.6 KB
Hacl.Spec.Chacha20.Vec.fst -rw-r--r-- 8.4 KB
Makefile -rw-r--r-- 1.5 KB

back to top