Skip to main content

Browse the archive

Revision 3bedacece9b9474403d3bf7b329f30fe291fcea8 authored by Benjamin Beurdouche on 15 April 2018, 09:25:43 UTC, committed by Benjamin Beurdouche on 15 April 2018, 09:25:43 UTC 
Backport changes to snapshots/makefiles/Makefile
1 parent 6b6ba23
History
File Mode Size
experimental
Makefile -rw-r--r-- 8.8 KB
README.md -rw-r--r-- 2.4 KB
Seq.Create.fst -rw-r--r-- 16.3 KB
Spec.CTR.Lemmas.fst -rw-r--r-- 319 bytes
Spec.CTR.fst -rw-r--r-- 3.2 KB
Spec.CTR.fst.hints -rw-r--r-- 9.8 KB
Spec.Chacha20.Lemmas.fst -rw-r--r-- 396 bytes
Spec.Chacha20.Lemmas.fst.hints -rw-r--r-- 765 bytes
Spec.Chacha20.fst -rw-r--r-- 5.1 KB
Spec.Chacha20.fst.hints -rw-r--r-- 10.4 KB
Spec.Chacha20Poly1305.fst -rw-r--r-- 4.9 KB
Spec.Chacha20Poly1305.fst.hints -rw-r--r-- 12.9 KB
Spec.Chacha20_vec.fst -rw-r--r-- 6.8 KB
Spec.Chacha20_vec.fst.hints -rw-r--r-- 15.1 KB
Spec.Curve25519.Lemmas.fst -rw-r--r-- 856 bytes
Spec.Curve25519.Lemmas.fst.hints -rw-r--r-- 1.8 KB
Spec.Curve25519.fst -rw-r--r-- 4.8 KB
Spec.Curve25519.fst.hints -rw-r--r-- 15.5 KB
Spec.Ed25519.fst -rw-r--r-- 21.6 KB
Spec.Ed25519.fst.hints -rw-r--r-- 22.5 KB
Spec.GF128.fst -rw-r--r-- 3.4 KB
Spec.GF128.fst.hints -rw-r--r-- 15.7 KB
Spec.GaloisField.fst -rw-r--r-- 2.5 KB
Spec.GaloisField.fst.hints -rw-r--r-- 24.4 KB
Spec.HMAC.SHA2_256.fst -rw-r--r-- 12.9 KB
Spec.HMAC.SHA2_256.fst.hints -rw-r--r-- 15.4 KB
Spec.HMAC.SHA2_384.fst -rw-r--r-- 13.7 KB
Spec.HMAC.SHA2_384.fst.hints -rw-r--r-- 15.8 KB
Spec.HMAC.SHA2_512.fst -rw-r--r-- 14.5 KB
Spec.HMAC.SHA2_512.fst.hints -rw-r--r-- 15.6 KB
Spec.HMAC.Test.fst -rw-r--r-- 18.6 KB
Spec.HMAC.fst -rw-r--r-- 2.3 KB
Spec.HMAC.fst.hints -rw-r--r-- 6.8 KB
Spec.HSalsa20.fst -rw-r--r-- 1.1 KB
Spec.HSalsa20.fst.hints -rw-r--r-- 3.9 KB
Spec.Lib.fst -rw-r--r-- 16.3 KB
Spec.Lib.fst.hints -rw-r--r-- 92.9 KB
Spec.Poly1305.Lemmas.fst -rw-r--r-- 1.1 KB
Spec.Poly1305.Lemmas.fst.hints -rw-r--r-- 3.4 KB
Spec.Poly1305.fst -rw-r--r-- 2.7 KB
Spec.Poly1305.fst.hints -rw-r--r-- 11.5 KB
Spec.SHA2.Test.fst -rw-r--r-- 10.3 KB
Spec.SHA2.fst -rw-r--r-- 14.7 KB
Spec.SHA2.fst.hints -rw-r--r-- 51.5 KB
Spec.SHA2_256.fst -rw-r--r-- 17.2 KB
Spec.SHA2_256.fst.hints -rw-r--r-- 59.8 KB
Spec.SHA2_384.fst -rw-r--r-- 14.5 KB
Spec.SHA2_384.fst.hints -rw-r--r-- 36.2 KB
Spec.SHA2_512.fst -rw-r--r-- 21.4 KB
Spec.SHA2_512.fst.hints -rw-r--r-- 66.9 KB
Spec.SHA512.fst -rw-r--r-- 296 bytes
Spec.SHA512.fsti -rw-r--r-- 964 bytes
Spec.Salsa20.fst -rw-r--r-- 5.6 KB
Spec.Salsa20.fst.hints -rw-r--r-- 15.5 KB

README.md

back to top