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
Hacl.Bignum.AddAndMultiply.fst -rw-r--r-- 1.5 KB
Hacl.Bignum.AddAndMultiply.fst.hints -rw-r--r-- 4.9 KB
Hacl.Bignum.Constants.fst -rw-r--r-- 392 bytes
Hacl.Bignum.Constants.fst.hints -rw-r--r-- 617 bytes
Hacl.Bignum.Fmul.fst.hints -rw-r--r-- 41.2 KB
Hacl.Bignum.Fproduct.fst.hints -rw-r--r-- 65.1 KB
Hacl.Bignum.Fsum.fst.hints -rw-r--r-- 3.4 KB
Hacl.Bignum.Limb.fst.hints -rw-r--r-- 13.7 KB
Hacl.Bignum.Modulo.fst -rw-r--r-- 2.8 KB
Hacl.Bignum.Modulo.fst.hints -rw-r--r-- 20.0 KB
Hacl.Bignum.Parameters.fst -rw-r--r-- 10.4 KB
Hacl.Bignum.Parameters.fst.hints -rw-r--r-- 58.6 KB
Hacl.Bignum.Wide.fst.hints -rw-r--r-- 12.7 KB
Hacl.Impl.Poly1305_32.State.fst -rw-r--r-- 751 bytes
Hacl.Impl.Poly1305_32.State.fst.hints -rw-r--r-- 736 bytes
Hacl.Impl.Poly1305_32.fst -rw-r--r-- 28.9 KB
Hacl.Impl.Poly1305_32.fst.hints -rw-r--r-- 149.2 KB
Hacl.MAC.Poly1305_32.fst -rw-r--r-- 14.1 KB
Hacl.Poly1305_32.fst -rw-r--r-- 3.9 KB
Hacl.Poly1305_32.fsti -rw-r--r-- 852 bytes
Hacl.Spe.Poly1305_32.fst -rw-r--r-- 17.7 KB
Hacl.Spe.Poly1305_32.fst.hints -rw-r--r-- 109.1 KB
Hacl.Spec.Bignum.AddAndMultiply.fst -rw-r--r-- 37.6 KB
Hacl.Spec.Bignum.AddAndMultiply.fst.hints -rw-r--r-- 256.7 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-- 45.5 KB
Hacl.Spec.Bignum.Fproduct.fst.hints -rw-r--r-- 114.0 KB
Hacl.Spec.Bignum.Fsum.fst.hints -rw-r--r-- 9.2 KB
Hacl.Spec.Bignum.Modulo.fst -rw-r--r-- 12.2 KB
Hacl.Spec.Bignum.Modulo.fst.hints -rw-r--r-- 79.6 KB
Hacl.Spec.Poly1305_32.Lemmas.fst -rw-r--r-- 12.3 KB
Hacl.Spec.Poly1305_32.Lemmas.fst.hints -rw-r--r-- 29.0 KB
Hacl.Spec.Poly1305_32.State.fst -rw-r--r-- 2.4 KB
Hacl.Spec.Poly1305_32.State.fst.hints -rw-r--r-- 9.1 KB
Hacl.Spec.Poly1305_32.fst -rw-r--r-- 33.4 KB
Hacl.Spec.Poly1305_32.fst.hints -rw-r--r-- 198.0 KB
Hacl.Standalone.Poly1305_32.fst -rw-r--r-- 11.1 KB
Hacl.Standalone.Poly1305_32.fst.hints -rw-r--r-- 66.2 KB
Hacl.Test.Poly1305_32.fst -rw-r--r-- 1.3 KB
Makefile -rw-r--r-- 3.4 KB
Poly1305_32.fst.hints -rw-r--r-- 19.0 KB

back to top