Skip to main content

Browse the archive

https://github.com/project-everest/hacl-star
01 October 2021, 10:10:28 UTC
History
Tip revision: 492973e7cf3e9b0c13a36aa776d984d1deae0516 authored by Jonathan Protzenko on 09 March 2018, 21:57:53 UTC
Makefile fixes + support for -fnostruct-passing
Tip revision: 492973e
File Mode Size
api
Curve25519.fst -rw-r--r-- 330 bytes
Curve25519.fst.hints -rw-r--r-- 1.2 KB
Curve25519.fsti -rw-r--r-- 737 bytes
Hacl.Bignum.Constants.fst -rw-r--r-- 491 bytes
Hacl.Bignum.Crecip.fst -rw-r--r-- 17.1 KB
Hacl.Bignum.Crecip.fst.hints -rw-r--r-- 83.3 KB
Hacl.Bignum.Fdifference.fst.hints -rw-r--r-- 3.2 KB
Hacl.Bignum.Fmul.fst.hints -rw-r--r-- 27.4 KB
Hacl.Bignum.Fproduct.fst.hints -rw-r--r-- 54.1 KB
Hacl.Bignum.Fscalar.fst.hints -rw-r--r-- 2.9 KB
Hacl.Bignum.Fsquare.fst -rw-r--r-- 7.4 KB
Hacl.Bignum.Fsquare.fst.hints -rw-r--r-- 38.8 KB
Hacl.Bignum.Fsum.fst.hints -rw-r--r-- 3.1 KB
Hacl.Bignum.Limb.fst.hints -rw-r--r-- 15.3 KB
Hacl.Bignum.Modulo.fst -rw-r--r-- 3.4 KB
Hacl.Bignum.Modulo.fst.hints -rw-r--r-- 30.4 KB
Hacl.Bignum.Parameters.fst -rw-r--r-- 10.3 KB
Hacl.Bignum.Parameters.fst.hints -rw-r--r-- 58.5 KB
Hacl.Bignum.Wide.fst.hints -rw-r--r-- 16.2 KB
Hacl.Bignum.fst.hints -rw-r--r-- 24.7 KB
Hacl.EC.AddAndDouble.fst -rw-r--r-- 27.6 KB
Hacl.EC.AddAndDouble.fst.hints -rw-r--r-- 78.6 KB
Hacl.EC.Format.fst -rw-r--r-- 19.9 KB
Hacl.EC.Format.fst.hints -rw-r--r-- 118.5 KB
Hacl.EC.Ladder.BigLoop.fst -rw-r--r-- 1.8 KB
Hacl.EC.Ladder.BigLoop.fst.hints -rw-r--r-- 10.7 KB
Hacl.EC.Ladder.SmallLoop.fst -rw-r--r-- 7.6 KB
Hacl.EC.Ladder.SmallLoop.fst.hints -rw-r--r-- 49.6 KB
Hacl.EC.Ladder.fst -rw-r--r-- 7.9 KB
Hacl.EC.Ladder.fst.hints -rw-r--r-- 61.3 KB
Hacl.EC.Point.fst -rw-r--r-- 6.8 KB
Hacl.EC.Point.fst.hints -rw-r--r-- 33.1 KB
Hacl.EC.fst -rw-r--r-- 5.3 KB
Hacl.EC.fst.hints -rw-r--r-- 35.6 KB
Hacl.Spec.Bignum.Bigint.fst.hints -rw-r--r-- 24.8 KB
Hacl.Spec.Bignum.Crecip.Lemmas.fst -rw-r--r-- 3.8 KB
Hacl.Spec.Bignum.Crecip.fst -rw-r--r-- 14.2 KB
Hacl.Spec.Bignum.Crecip.fst.hints -rw-r--r-- 67.4 KB
Hacl.Spec.Bignum.Fdifference.fst.hints -rw-r--r-- 10.2 KB
Hacl.Spec.Bignum.Field.fst.hints -rw-r--r-- 10.8 KB
Hacl.Spec.Bignum.Fmul.fst.hints -rw-r--r-- 45.0 KB
Hacl.Spec.Bignum.Fproduct.fst.hints -rw-r--r-- 98.5 KB
Hacl.Spec.Bignum.Fscalar.fst.hints -rw-r--r-- 8.8 KB
Hacl.Spec.Bignum.Fsquare.fst -rw-r--r-- 38.8 KB
Hacl.Spec.Bignum.Fsquare.fst.hints -rw-r--r-- 139.9 KB
Hacl.Spec.Bignum.Fsum.fst.hints -rw-r--r-- 11.3 KB
Hacl.Spec.Bignum.Modulo.fst -rw-r--r-- 11.5 KB
Hacl.Spec.Bignum.Modulo.fst.hints -rw-r--r-- 82.0 KB
Hacl.Spec.Bignum.fst.hints -rw-r--r-- 10.9 KB
Hacl.Spec.Curve25519.Lemmas.fst -rw-r--r-- 6.5 KB
Hacl.Spec.Curve25519.Lemmas.fst.hints -rw-r--r-- 17.7 KB
Hacl.Spec.EC.AddAndDouble.fst -rw-r--r-- 43.2 KB
Hacl.Spec.EC.AddAndDouble.fst.hints -rw-r--r-- 243.0 KB
Hacl.Spec.EC.AddAndDouble2.fst -rw-r--r-- 10.5 KB
Hacl.Spec.EC.AddAndDouble2.fst.hints -rw-r--r-- 26.0 KB
Hacl.Spec.EC.AddAndDouble3.fst -rw-r--r-- 2.6 KB
Hacl.Spec.EC.AddAndDouble3.fst.hints -rw-r--r-- 8.9 KB
Hacl.Spec.EC.Format.Lemmas.fst -rw-r--r-- 10.3 KB
Hacl.Spec.EC.Format.Lemmas.fst.hints -rw-r--r-- 23.2 KB
Hacl.Spec.EC.Format.fst -rw-r--r-- 19.3 KB
Hacl.Spec.EC.Format.fst.hints -rw-r--r-- 121.7 KB
Hacl.Spec.EC.Ladder.Lemmas.fst -rw-r--r-- 6.7 KB
Hacl.Spec.EC.Ladder.Lemmas.fst.hints -rw-r--r-- 17.3 KB
Hacl.Spec.EC.Ladder.fst -rw-r--r-- 6.8 KB
Hacl.Spec.EC.Ladder.fst.hints -rw-r--r-- 20.5 KB
Hacl.Spec.EC.Point.fst -rw-r--r-- 4.4 KB
Hacl.Spec.EC.Point.fst.hints -rw-r--r-- 25.2 KB
Hacl.Spec.EC.fst -rw-r--r-- 937 bytes
Hacl.Spec.EC.fst.hints -rw-r--r-- 2.1 KB
Hacl.Test.X25519.fst -rw-r--r-- 2.4 KB
Makefile -rw-r--r-- 4.2 KB
back to top