https://github.com/project-everest/hacl-star
Tip revision: 8a5e266d358263ad444dca40227759f90c48bf7c authored by Aseem Rastogi on 03 December 2018, 11:22:18 UTC
hints for two files that succeed locally but fail on CI
hints for two files that succeed locally but fail on CI
Tip revision: 8a5e266
| File | Mode | Size |
|---|---|---|
| experimental | ||
| old | ||
| .gitignore | -rw-r--r-- | 18 bytes |
| Makefile | -rw-r--r-- | 2.2 KB |
| README.md | -rw-r--r-- | 2.4 KB |
| Seq.Create.fst | -rw-r--r-- | 16.3 KB |
| Seq.Create.fst.hints | -rw-r--r-- | 26.4 KB |
| Spec.CTR.Lemmas.fst | -rw-r--r-- | 319 bytes |
| Spec.CTR.Lemmas.fst.hints | -rw-r--r-- | 1.1 KB |
| Spec.CTR.fst | -rw-r--r-- | 3.2 KB |
| Spec.CTR.fst.hints | -rw-r--r-- | 9.2 KB |
| Spec.Chacha20.Lemmas.fst | -rw-r--r-- | 396 bytes |
| Spec.Chacha20.Lemmas.fst.hints | -rw-r--r-- | 517 bytes |
| Spec.Chacha20.fst | -rw-r--r-- | 5.1 KB |
| Spec.Chacha20.fst.hints | -rw-r--r-- | 6.4 KB |
| Spec.Chacha20Poly1305.fst | -rw-r--r-- | 4.9 KB |
| Spec.Chacha20Poly1305.fst.hints | -rw-r--r-- | 9.2 KB |
| Spec.Chacha20_vec.fst | -rw-r--r-- | 6.8 KB |
| Spec.Curve25519.Lemmas.fst | -rw-r--r-- | 856 bytes |
| Spec.Curve25519.Lemmas.fst.hints | -rw-r--r-- | 815 bytes |
| Spec.Curve25519.fst | -rw-r--r-- | 4.8 KB |
| Spec.Curve25519.fst.hints | -rw-r--r-- | 12.8 KB |
| Spec.Ed25519.fst | -rw-r--r-- | 22.0 KB |
| Spec.Ed25519.fst.hints | -rw-r--r-- | 20.1 KB |
| Spec.GF128.fst | -rw-r--r-- | 3.4 KB |
| Spec.GF128.fst.hints | -rw-r--r-- | 11.3 KB |
| Spec.GaloisField.fst | -rw-r--r-- | 2.5 KB |
| Spec.GaloisField.fst.hints | -rw-r--r-- | 22.9 KB |
| Spec.HSalsa20.fst | -rw-r--r-- | 1.1 KB |
| Spec.Hash.Common.fst | -rw-r--r-- | 1.1 KB |
| Spec.Hash.Common.fst.hints | -rw-r--r-- | 4.6 KB |
| Spec.Hash.Helpers.fst | -rw-r--r-- | 5.4 KB |
| Spec.Hash.Helpers.fst.hints | -rw-r--r-- | 16.0 KB |
| Spec.Hash.Incremental.fst | -rw-r--r-- | 1.9 KB |
| Spec.Hash.Incremental.fst.hints | -rw-r--r-- | 8.5 KB |
| Spec.Hash.Nist.fst | -rw-r--r-- | 372 bytes |
| Spec.Hash.Nist.fst.hints | -rw-r--r-- | 1.3 KB |
| Spec.Hash.Test.fst | -rw-r--r-- | 66.2 KB |
| Spec.Hash.Test.fst.hints | -rw-r--r-- | 3.6 KB |
| Spec.Hash.fst | -rw-r--r-- | 4.0 KB |
| Spec.Hash.fst.hints | -rw-r--r-- | 24.0 KB |
| Spec.Lib.fst | -rw-r--r-- | 16.3 KB |
| Spec.Lib.fst.hints | -rw-r--r-- | 100.2 KB |
| Spec.MD5.fst | -rw-r--r-- | 7.7 KB |
| Spec.MD5.fst.hints | -rw-r--r-- | 8.1 KB |
| Spec.MD5.fsti | -rw-r--r-- | 134 bytes |
| Spec.MD5.fsti.hints | -rw-r--r-- | 36 bytes |
| Spec.Poly1305.Lemmas.fst | -rw-r--r-- | 1.1 KB |
| Spec.Poly1305.Lemmas.fst.hints | -rw-r--r-- | 2.2 KB |
| Spec.Poly1305.fst | -rw-r--r-- | 2.7 KB |
| Spec.Poly1305.fst.hints | -rw-r--r-- | 10.7 KB |
| Spec.SHA1.fst | -rw-r--r-- | 6.1 KB |
| Spec.SHA1.fst.hints | -rw-r--r-- | 20.5 KB |
| Spec.SHA1.fsti | -rw-r--r-- | 139 bytes |
| Spec.SHA1.fsti.hints | -rw-r--r-- | 46 bytes |
| Spec.SHA2.Constants.fst | -rw-r--r-- | 4.6 KB |
| Spec.SHA2.Constants.fst.hints | -rw-r--r-- | 927 bytes |
| Spec.SHA2.fst | -rw-r--r-- | 7.3 KB |
| Spec.SHA2.fst.hints | -rw-r--r-- | 33.1 KB |
| Spec.SHA2.fsti | -rw-r--r-- | 183 bytes |
| Spec.SHA2.fsti.hints | -rw-r--r-- | 31 bytes |
| Spec.Salsa20.fst | -rw-r--r-- | 5.6 KB |
| Spec.Salsa20.fst.hints | -rw-r--r-- | 10.5 KB |
| make_md5_tests.sh | -rwxr-xr-x | 1.1 KB |
| make_sha1_tests.sh | -rwxr-xr-x | 11.8 KB |
