File Mode Size
Chacha20.Vec128.fst -rw-r--r-- 498 bytes
Chacha20.Vec128.fst.hints -rw-r--r-- 4.2 KB
Chacha20.Vec128.fsti -rw-r--r-- 917 bytes
Chacha20.Vec128.fsti.hints -rw-r--r-- 3.3 KB
Chacha20.fst -rw-r--r-- 456 bytes
Chacha20.fst.hints -rw-r--r-- 10.5 KB
Chacha20.fsti -rw-r--r-- 1.3 KB
Hacl.Impl.Chacha20.Vec128.State.fst -rw-r--r-- 11.2 KB
Hacl.Impl.Chacha20.Vec128.State.fst.hints -rw-r--r-- 60.4 KB
Hacl.Impl.Chacha20.Vec128.fst -rw-r--r-- 69.7 KB
Hacl.Impl.Chacha20.Vec128.fst.hints -rw-r--r-- 283.2 KB
Hacl.Impl.Chacha20.fst -rw-r--r-- 33.1 KB
Hacl.Impl.Chacha20.fst.hints -rw-r--r-- 164.2 KB
Hacl.Impl.HSalsa20.fst -rw-r--r-- 2.8 KB
Hacl.Impl.HSalsa20.fst.hints -rw-r--r-- 14.7 KB
Hacl.Impl.Salsa20.fst -rw-r--r-- 33.2 KB
Hacl.Impl.Salsa20.fst.hints -rw-r--r-- 158.4 KB
Hacl.Impl.Xor.Lemmas.fst -rw-r--r-- 12.4 KB
Hacl.Impl.Xor.Lemmas.fst.hints -rw-r--r-- 65.0 KB
Hacl.Lib.Create.fst -rw-r--r-- 2.0 KB
Hacl.Lib.Create.fst.hints -rw-r--r-- 13.2 KB
Hacl.Lib.LoadStore32.fst -rw-r--r-- 6.5 KB
Hacl.Lib.LoadStore32.fst.hints -rw-r--r-- 18.2 KB
Hacl.SecureAPI.Chacha20.fst -rw-r--r-- 2.2 KB
Hacl.SecureAPI.Chacha20.fst.hints -rw-r--r-- 7.5 KB
Hacl.Test.Chacha20.Vec128.fst -rw-r--r-- 3.0 KB
Hacl.Test.Chacha20.fst -rw-r--r-- 3.0 KB
Hacl.Test.Salsa20.fst -rw-r--r-- 3.2 KB
Hacl.Test.XSalsa20.fst -rw-r--r-- 3.6 KB
Hacl.UInt32x4.fsti -rw-r--r-- 2.8 KB
Makefile -rw-r--r-- 3.6 KB
Salsa20.fst -rw-r--r-- 314 bytes
Salsa20.fst.hints -rw-r--r-- 6.3 KB
Salsa20.fsti -rw-r--r-- 1.4 KB
Spec.CTR3.fst -rw-r--r-- 14.9 KB
Spec.CTR3.fst.hints -rw-r--r-- 52.5 KB
Spec.Chacha20_vec1.Lemmas.fst -rw-r--r-- 64.2 KB
Spec.Chacha20_vec1.Lemmas.fst.hints -rw-r--r-- 163.2 KB
vec128.h -rw-r--r-- 2.8 KB

back to top