ocaml-hacl-star (ocaml/ocaml-hacl-star) Updated: 4 years, 2 months ago Add to my watchlist
High-assurance cryptographic library.Formally verified library of modern cryptographic algorithms, including Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC, and HKDF. The code for all of these algorithms is formally verified using the F* verification framework for memory safety, functional correctness, and secret independence (resistance to some types of timing side-channels).
Version: 20210824-4b197eb License: Apache-2
GitHub
230 build(s) found
Page 3 of 3 | Showing build(s) 201 to 230
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 31287 | 2021-05-12 23:41:17 | 0:02:31 | 17843 | failed install-dependencies |
| 10.12 | 146479 | 2021-05-12 20:35:43 | 0:00:59 | 44382 | failed install-dependencies |
| 11.arm64 | 20263 | 2021-05-12 1:33:26 | 0:00:19 | 6004 | failed install-dependencies |
| 11.arm64 | 15413 | 2021-03-19 17:03:37 | 0:00:34 | 3916 | failed install-dependencies |
| 10.14 | 77367 | 2021-01-24 8:51:42 | 0:01:14 | 23397 | failed install-dependencies |
| 11 | 16813 | 2021-01-24 6:18:57 | 0:01:13 | 2184 | failed install-dependencies |
| 10.11 | 131733 | 2021-01-23 19:45:57 | 0:01:13 | 41744 | failed install-dependencies |
| 10.12 | 136762 | 2021-01-23 4:49:59 | 0:00:51 | 40736 | failed install-dependencies |
| 10.13 | 101518 | 2021-01-23 1:06:33 | 0:01:50 | 32704 | failed install-dependencies |
| 10.15 | 49062 | 2021-01-22 21:08:50 | 0:01:00 | 12981 | failed install-dependencies |
| 10.10 | 133267 | 2021-01-22 15:45:09 | 0:01:05 | 41802 | failed install-dependencies |
| 10.8 | 36231 | 2021-01-22 11:21:03 | 0:02:04 | 12052 | failed install-dependencies |
| 10.6 | 24962 | 2021-01-22 6:05:05 | 0:01:54 | 14205 | failed install-dependencies |
| 10.7 | 41811 | 2021-01-22 5:25:33 | 0:01:23 | 14195 | failed install-dependencies |
| 10.6.x86_64 | 46196 | 2021-01-22 3:42:08 | 0:01:16 | 14217 | failed install-dependencies |
| 10.9 | 137096 | 2021-01-21 18:22:19 | 0:00:34 | 41753 | failed install-dependencies |
| 11.arm64 | 9805 | 2021-01-21 17:47:34 | 0:00:02 | 2327 | failed install-dependencies |
| 10.11 | 131135 | 2021-01-20 7:15:00 | 0:01:39 | 41657 | failed install-dependencies |
| 10.14 | 76730 | 2021-01-20 7:11:30 | 0:01:30 | 23309 | failed install-dependencies |
| 11 | 15752 | 2021-01-20 7:10:12 | 0:01:11 | 2097 | failed install-dependencies |
| 10.12 | 136295 | 2021-01-20 7:08:23 | 0:00:49 | 40649 | failed install-dependencies |
| 10.13 | 101047 | 2021-01-20 7:06:31 | 0:01:16 | 32617 | failed install-dependencies |
| 10.10 | 132819 | 2021-01-20 7:04:41 | 0:01:28 | 41715 | failed install-dependencies |
| 10.15 | 48372 | 2021-01-20 6:54:48 | 0:01:10 | 12894 | failed install-dependencies |
| 10.9 | 136696 | 2021-01-20 6:27:26 | 0:00:36 | 41666 | failed install-dependencies |
| 11.arm64 | 9632 | 2021-01-20 6:16:52 | 0:00:02 | 2241 | failed install-dependencies |
| 10.6 | 24581 | 2021-01-20 6:03:06 | 0:01:46 | 14118 | failed install-dependencies |
| 10.8 | 35788 | 2021-01-20 5:59:13 | 0:01:21 | 11965 | failed install-dependencies |
| 10.7 | 41368 | 2021-01-20 5:57:57 | 0:01:23 | 14108 | failed install-dependencies |
| 10.6.x86_64 | 45746 | 2021-01-20 5:57:52 | 0:01:39 | 14130 | failed install-dependencies |