ocaml-hacl-star-raw (ocaml/ocaml-hacl-star) Updated: 4 years, 1 month 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
234 build(s) found
Page 3 of 3 | Showing build(s) 201 to 234
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11 | 30411 | 2021-05-13 9:16:23 | 3:03:20 | 5845 | build successful |
| 10.8 | 46413 | 2021-05-13 7:14:03 | 0:01:30 | 15715 | failed install-dependencies |
| 10.11 | 141429 | 2021-05-13 4:33:55 | 0:09:06 | 45390 | failed install-port |
| 10.6.x86_64 | 56332 | 2021-05-13 0:41:40 | 0:02:15 | 17811 | failed install-dependencies |
| 10.6 | 31286 | 2021-05-12 23:38:21 | 0:02:54 | 17843 | failed install-dependencies |
| 10.12 | 146478 | 2021-05-12 20:26:29 | 0:09:12 | 44382 | failed install-port |
| 11.arm64 | 20262 | 2021-05-12 1:33:06 | 0:00:19 | 6004 | failed install-dependencies |
| 11.arm64 | 15412 | 2021-03-19 17:03:02 | 0:00:33 | 3916 | failed install-dependencies |
| 10.14 | 77366 | 2021-01-24 8:42:35 | 0:09:04 | 23397 | failed install-port |
| 11 | 16812 | 2021-01-24 2:48:20 | 3:30:35 | 2184 | failed install-port |
| 10.11 | 131732 | 2021-01-23 19:38:03 | 0:07:51 | 41744 | failed install-port |
| 10.12 | 136761 | 2021-01-23 4:42:00 | 0:07:56 | 40736 | failed install-port |
| 10.13 | 101517 | 2021-01-23 0:58:36 | 0:07:45 | 32704 | failed install-port |
| 10.15 | 49061 | 2021-01-22 18:45:31 | 2:23:17 | 12981 | failed install-port |
| 10.10 | 133266 | 2021-01-22 15:37:44 | 0:07:01 | 41802 | failed install-port |
| 10.8 | 36230 | 2021-01-22 11:18:55 | 0:02:05 | 12052 | failed install-dependencies |
| 10.6 | 24961 | 2021-01-22 6:03:10 | 0:01:53 | 14205 | failed install-dependencies |
| 10.7 | 41810 | 2021-01-22 5:24:08 | 0:01:22 | 14195 | failed install-dependencies |
| 10.6.x86_64 | 46195 | 2021-01-22 3:40:51 | 0:01:15 | 14217 | failed install-dependencies |
| 10.9 | 137095 | 2021-01-21 18:17:00 | 0:05:15 | 41753 | failed install-port |
| 11.arm64 | 9804 | 2021-01-21 17:47:31 | 0:00:02 | 2327 | failed install-dependencies |
| 10.11 | 131134 | 2021-01-20 7:07:19 | 0:07:38 | 41657 | failed install-port |
| 10.14 | 76729 | 2021-01-20 7:03:56 | 0:07:31 | 23309 | failed install-port |
| 11 | 15751 | 2021-01-20 7:03:56 | 0:06:09 | 2097 | failed install-port |
| 10.12 | 136294 | 2021-01-20 7:03:34 | 0:04:46 | 40649 | failed install-port |
| 10.13 | 101046 | 2021-01-20 6:59:45 | 0:06:43 | 32617 | failed install-port |
| 10.10 | 132818 | 2021-01-20 6:58:32 | 0:06:06 | 41715 | failed install-port |
| 10.15 | 48371 | 2021-01-20 6:48:48 | 0:05:57 | 12894 | failed install-port |
| 10.9 | 136695 | 2021-01-20 6:23:10 | 0:04:10 | 41666 | failed install-port |
| 11.arm64 | 9631 | 2021-01-20 6:16:49 | 0:00:02 | 2241 | failed install-dependencies |
| 10.6 | 24580 | 2021-01-20 6:01:06 | 0:01:56 | 14118 | failed install-dependencies |
| 10.8 | 35787 | 2021-01-20 5:57:45 | 0:01:17 | 11965 | failed install-dependencies |
| 10.7 | 41367 | 2021-01-20 5:56:26 | 0:01:19 | 14108 | failed install-dependencies |
| 10.6.x86_64 | 45745 | 2021-01-20 5:56:24 | 0:01:24 | 14130 | failed install-dependencies |