https://github.com/project-everest/hacl-star
History
Tip revision: 3e710ae378b0fce54bb9cdc56cf36e598dc86ca4 authored by karthikbhargavan on 07 March 2021, 00:27:27 UTC
merged master
Tip revision: 3e710ae
File Mode Size
AUTHORS.md -rw-r--r-- 134 bytes
Hacl.Bignum.Addition.fst -rw-r--r-- 9.8 KB
Hacl.Bignum.Base.fst -rw-r--r-- 3.7 KB
Hacl.Bignum.Comparison.fst -rw-r--r-- 3.5 KB
Hacl.Bignum.Convert.fst -rw-r--r-- 7.2 KB
Hacl.Bignum.Definitions.fst -rw-r--r-- 729 bytes
Hacl.Bignum.Exponentiation.fst -rw-r--r-- 11.0 KB
Hacl.Bignum.Exponentiation.fsti -rw-r--r-- 8.3 KB
Hacl.Bignum.Karatsuba.fst -rw-r--r-- 12.8 KB
Hacl.Bignum.Lib.fst -rw-r--r-- 4.9 KB
Hacl.Bignum.ModInv.fst -rw-r--r-- 2.2 KB
Hacl.Bignum.ModInvLimb.fst -rw-r--r-- 2.3 KB
Hacl.Bignum.ModInvLimb.fsti -rw-r--r-- 532 bytes
Hacl.Bignum.ModReduction.fst -rw-r--r-- 2.9 KB
Hacl.Bignum.Montgomery.fst -rw-r--r-- 7.9 KB
Hacl.Bignum.Montgomery.fsti -rw-r--r-- 5.8 KB
Hacl.Bignum.Multiplication.fst -rw-r--r-- 6.6 KB
Hacl.Bignum.SafeAPI.fst -rw-r--r-- 8.7 KB
Hacl.Bignum.fst -rw-r--r-- 4.1 KB
Hacl.Bignum.fsti -rw-r--r-- 14.5 KB
Hacl.Bignum256.fst -rw-r--r-- 3.1 KB
Hacl.Bignum256.fsti -rw-r--r-- 9.0 KB
Hacl.Bignum4096.fst -rw-r--r-- 3.1 KB
Hacl.Bignum4096.fsti -rw-r--r-- 9.2 KB
Hacl.Impl.Exponentiation.fst -rw-r--r-- 31.0 KB
Hacl.Impl.Exponentiation.fsti -rw-r--r-- 6.8 KB
Hacl.Impl.Lib.fst -rw-r--r-- 7.8 KB
Hacl.Spec.Bignum.Addition.fst -rw-r--r-- 25.1 KB
Hacl.Spec.Bignum.Base.fst -rw-r--r-- 7.4 KB
Hacl.Spec.Bignum.Comparison.fst -rw-r--r-- 7.0 KB
Hacl.Spec.Bignum.Convert.fst -rw-r--r-- 16.6 KB
Hacl.Spec.Bignum.Definitions.fst -rw-r--r-- 12.7 KB
Hacl.Spec.Bignum.Exponentiation.fst -rw-r--r-- 10.1 KB
Hacl.Spec.Bignum.Exponentiation.fsti -rw-r--r-- 2.4 KB
Hacl.Spec.Bignum.Karatsuba.fst -rw-r--r-- 20.4 KB
Hacl.Spec.Bignum.Lib.fst -rw-r--r-- 18.9 KB
Hacl.Spec.Bignum.ModInv.fst -rw-r--r-- 3.1 KB
Hacl.Spec.Bignum.ModInvLimb.fst -rw-r--r-- 11.0 KB
Hacl.Spec.Bignum.ModInvLimb.fsti -rw-r--r-- 654 bytes
Hacl.Spec.Bignum.ModReduction.fst -rw-r--r-- 3.2 KB
Hacl.Spec.Bignum.Montgomery.fst -rw-r--r-- 16.6 KB
Hacl.Spec.Bignum.Montgomery.fsti -rw-r--r-- 4.5 KB
Hacl.Spec.Bignum.Multiplication.fst -rw-r--r-- 17.1 KB
Hacl.Spec.Bignum.Squaring.fst -rw-r--r-- 15.3 KB
Hacl.Spec.Bignum.fst -rw-r--r-- 6.7 KB
Hacl.Spec.Bignum.fsti -rw-r--r-- 10.4 KB
Hacl.Spec.Exponentiation.Lemmas.fst -rw-r--r-- 11.7 KB
Hacl.Spec.Karatsuba.Lemmas.fst -rw-r--r-- 4.4 KB
Hacl.Spec.Lib.fst -rw-r--r-- 9.8 KB
Hacl.Spec.Montgomery.Lemmas.fst -rw-r--r-- 21.2 KB
Makefile -rw-r--r-- 1.0 KB
README.md -rw-r--r-- 4.7 KB

README.md

back to top