https://github.com/project-everest/hacl-star
History
Tip revision: 02bf646d84127f4196677bf1be96be8b9596f096 authored by Chris Hawblitzel on 28 August 2018, 00:35:03 UTC
Merge branch '_vale' into _vale_typecheck
Tip revision: 02bf646
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-- 25.7 KB
Hacl.Bignum.Fproduct.fst.hints -rw-r--r-- 53.3 KB
Hacl.Bignum.Fsum.fst.hints -rw-r--r-- 3.4 KB
Hacl.Bignum.Limb.fst.hints -rw-r--r-- 12.2 KB
Hacl.Bignum.Modulo.fst -rw-r--r-- 2.8 KB
Hacl.Bignum.Modulo.fst.hints -rw-r--r-- 20.6 KB
Hacl.Bignum.Parameters.fst -rw-r--r-- 11.0 KB
Hacl.Bignum.Parameters.fst.hints -rw-r--r-- 69.1 KB
Hacl.Bignum.Wide.fst.hints -rw-r--r-- 15.8 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-- 29.1 KB
Hacl.Impl.Poly1305_32.fst.hints -rw-r--r-- 147.9 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.fst.hints -rw-r--r-- 20.2 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-- 97.9 KB
Hacl.Spec.Bignum.AddAndMultiply.fst -rw-r--r-- 37.6 KB
Hacl.Spec.Bignum.AddAndMultiply.fst.hints -rw-r--r-- 210.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-- 45.5 KB
Hacl.Spec.Bignum.Fproduct.fst.hints -rw-r--r-- 105.5 KB
Hacl.Spec.Bignum.Fsum.fst.hints -rw-r--r-- 9.1 KB
Hacl.Spec.Bignum.Modulo.fst -rw-r--r-- 12.2 KB
Hacl.Spec.Bignum.Modulo.fst.hints -rw-r--r-- 78.7 KB
Hacl.Spec.Poly1305_32.Lemmas.fst -rw-r--r-- 12.3 KB
Hacl.Spec.Poly1305_32.Lemmas.fst.hints -rw-r--r-- 28.5 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-- 180.0 KB
Hacl.Standalone.Poly1305_32.fst -rw-r--r-- 11.2 KB
Hacl.Standalone.Poly1305_32.fst.hints -rw-r--r-- 65.2 KB
Hacl.Test.Poly1305_32.fst -rw-r--r-- 1.3 KB
Makefile -rw-r--r-- 3.3 KB
Poly1305_32.fst.hints -rw-r--r-- 19.0 KB

back to top