Skip to main content

Browse the archive

Revision 32f6b4b15aff213ff0803153116443abc3a7c2c5 authored by Konrad Kohbrok on 24 April 2018, 07:49:57 UTC, committed by Konrad Kohbrok on 24 April 2018, 07:49:57 UTC 
memory safety refinements in PKAE now go through
1 parent d1675a7
History
File Mode Size
AEAD.Poly1305_64.fst -rw-r--r-- 11.7 KB
AEAD.Poly1305_64.fst.hints -rw-r--r-- 79.8 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-- 26.5 KB
Hacl.Bignum.Fproduct.fst.hints -rw-r--r-- 51.9 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-- 17.1 KB
Hacl.Bignum.Parameters.fst -rw-r--r-- 10.2 KB
Hacl.Bignum.Parameters.fst.hints -rw-r--r-- 57.1 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-- 151.9 KB
Hacl.Spe.Poly1305_64.fst -rw-r--r-- 17.8 KB
Hacl.Spe.Poly1305_64.fst.hints -rw-r--r-- 103.7 KB
Hacl.Spec.Bignum.AddAndMultiply.fst -rw-r--r-- 29.0 KB
Hacl.Spec.Bignum.AddAndMultiply.fst.hints -rw-r--r-- 189.6 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.0 KB
Hacl.Spec.Bignum.Fsum.fst.hints -rw-r--r-- 10.7 KB
Hacl.Spec.Bignum.Modulo.fst -rw-r--r-- 10.6 KB
Hacl.Spec.Bignum.Modulo.fst.hints -rw-r--r-- 77.3 KB
Hacl.Spec.Poly1305_64.Lemmas1.fst -rw-r--r-- 6.2 KB
Hacl.Spec.Poly1305_64.Lemmas1.fst.hints -rw-r--r-- 30.4 KB
Hacl.Spec.Poly1305_64.State.fst -rw-r--r-- 1.6 KB
Hacl.Spec.Poly1305_64.fst -rw-r--r-- 28.2 KB
Hacl.Spec.Poly1305_64.fst.hints -rw-r--r-- 198.9 KB
Hacl.Standalone.Poly1305_64.fst -rw-r--r-- 11.1 KB
Hacl.Standalone.Poly1305_64.fst.hints -rw-r--r-- 66.9 KB
Hacl.Test.Poly1305_64.fst -rw-r--r-- 1.4 KB
Makefile -rw-r--r-- 4.5 KB
Poly1305_64.fst -rw-r--r-- 3.9 KB
Poly1305_64.fst.hints -rw-r--r-- 20.4 KB
Poly1305_64.fsti -rw-r--r-- 855 bytes
back to top