Revision 2137df410837da5a38f392adc8306a8531c2841a authored by Nikhil Swamy on 10 May 2017, 05:29:14 UTC, committed by Nikhil Swamy on 10 May 2017, 05:29:14 UTC
1 parent 7f76b51
History
File Mode Size
interfaces
AEAD.Chacha20.fst -rw-r--r-- 1.6 KB
Chacha.fst -rw-r--r-- 1.2 KB
Chacha20.fst -rw-r--r-- 2.2 KB
Chacha20.fst.hints -rw-r--r-- 9.4 KB
Hacl.Impl.Chacha20.fst -rw-r--r-- 31.5 KB
Hacl.Impl.Chacha20.fst.hints -rw-r--r-- 158.7 KB
Hacl.Impl.HSalsa20.fst -rw-r--r-- 2.9 KB
Hacl.Impl.HSalsa20.fst.hints -rw-r--r-- 16.1 KB
Hacl.Impl.Salsa20.fst -rw-r--r-- 30.0 KB
Hacl.Impl.Salsa20.fst.hints -rw-r--r-- 139.3 KB
Hacl.Impl.Xor.Lemmas.fst -rw-r--r-- 12.3 KB
Hacl.Impl.Xor.Lemmas.fst.hints -rw-r--r-- 65.2 KB
Hacl.Lib.Create.fst -rw-r--r-- 2.1 KB
Hacl.Lib.Create.fst.hints -rw-r--r-- 9.0 KB
Hacl.Lib.LoadStore32.fst -rw-r--r-- 6.4 KB
Hacl.Lib.LoadStore32.fst.hints -rw-r--r-- 46.5 KB
Hacl.SecureAPI.Chacha20.fst -rw-r--r-- 2.2 KB
Hacl.SecureAPI.Chacha20.fst.hints -rw-r--r-- 8.9 KB
Hacl.Spec.Symmetric.Chacha20.fst -rw-r--r-- 13.6 KB
Hacl.Test.Chacha20.fst -rw-r--r-- 2.9 KB
Hacl.Test.Salsa20.fst -rw-r--r-- 3.1 KB
Hacl.Test.XSalsa20.fst -rw-r--r-- 3.6 KB
Makefile -rw-r--r-- 3.2 KB
Salsa20.fst -rw-r--r-- 1.5 KB
Salsa20.fst.hints -rw-r--r-- 5.2 KB

back to top