https://github.com/project-everest/hacl-star
History
Tip revision: 01833dd5c374063356d6528dc613859d7c672130 authored by prosecco on 23 January 2018, 14:39:39 UTC
current
Tip revision: 01833dd
File Mode Size
AEAD.Poly1305_64.fst -rw-r--r-- 11.7 KB
AEAD.Poly1305_64.fst.hints -rw-r--r-- 79.6 KB
AEAD.Poly1305_64.fsti -rw-r--r-- 4.4 KB
Hacl.Bignum.AddAndMultiply.fst -rw-r--r-- 1.5 KB
Hacl.Bignum.AddAndMultiply.fst.hints -rw-r--r-- 6.1 KB
Hacl.Bignum.Constants.fst -rw-r--r-- 375 bytes
Hacl.Bignum.Constants.fst.hints -rw-r--r-- 173 bytes
Hacl.Bignum.Fmul.fst.hints -rw-r--r-- 24.6 KB
Hacl.Bignum.Fproduct.fst.hints -rw-r--r-- 52.1 KB
Hacl.Bignum.Fsum.fst.hints -rw-r--r-- 3.3 KB
Hacl.Bignum.Limb.fst.hints -rw-r--r-- 15.3 KB
Hacl.Bignum.Modulo.fst -rw-r--r-- 2.7 KB
Hacl.Bignum.Modulo.fst.hints -rw-r--r-- 18.2 KB
Hacl.Bignum.Parameters.fst -rw-r--r-- 10.2 KB
Hacl.Bignum.Parameters.fst.hints -rw-r--r-- 58.6 KB
Hacl.Bignum.Wide.fst.hints -rw-r--r-- 16.3 KB
Hacl.Impl.Poly1305_64.State.fst -rw-r--r-- 780 bytes
Hacl.Impl.Poly1305_64.fst -rw-r--r-- 23.0 KB
Hacl.Impl.Poly1305_64.fst.hints -rw-r--r-- 155.3 KB
Hacl.Poly1305_64.fst -rw-r--r-- 3.9 KB
Hacl.Poly1305_64.fst.hints -rw-r--r-- 18.2 KB
Hacl.Poly1305_64.fsti -rw-r--r-- 826 bytes
Hacl.Poly1305_64.fsti.hints -rw-r--r-- 1.2 KB
Hacl.Spe.Poly1305_64.fst -rw-r--r-- 17.8 KB
Hacl.Spe.Poly1305_64.fst.hints -rw-r--r-- 103.2 KB
Hacl.Spec.Bignum.AddAndMultiply.fst -rw-r--r-- 29.0 KB
Hacl.Spec.Bignum.AddAndMultiply.fst.hints -rw-r--r-- 189.2 KB
Hacl.Spec.Bignum.Bigint.fst.hints -rw-r--r-- 25.4 KB
Hacl.Spec.Bignum.Field.fst.hints -rw-r--r-- 11.5 KB
Hacl.Spec.Bignum.Fmul.fst.hints -rw-r--r-- 47.7 KB
Hacl.Spec.Bignum.Fproduct.fst.hints -rw-r--r-- 98.6 KB
Hacl.Spec.Bignum.Fsum.fst.hints -rw-r--r-- 10.6 KB
Hacl.Spec.Bignum.Modulo.fst -rw-r--r-- 10.6 KB
Hacl.Spec.Bignum.Modulo.fst.hints -rw-r--r-- 76.9 KB
Hacl.Spec.Poly1305_64.Lemmas1.fst -rw-r--r-- 6.2 KB
Hacl.Spec.Poly1305_64.Lemmas1.fst.hints -rw-r--r-- 29.8 KB
Hacl.Spec.Poly1305_64.State.fst -rw-r--r-- 1.6 KB
Hacl.Spec.Poly1305_64.fst -rw-r--r-- 28.3 KB
Hacl.Spec.Poly1305_64.fst.hints -rw-r--r-- 197.9 KB
Hacl.Standalone.Poly1305_64.fst -rw-r--r-- 11.1 KB
Hacl.Standalone.Poly1305_64.fst.hints -rw-r--r-- 67.5 KB
Hacl.Test.Poly1305_64.fst -rw-r--r-- 1.4 KB
Makefile -rw-r--r-- 4.5 KB

back to top