ocaml-hacl-star-raw (ocaml/ocaml-hacl-star) Updated: 3 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
187 build(s) found
Page 1 of 2 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 16590 | 2024-10-19 1:39:23 | 0:00:28 | 2179 | failed install-dependencies |
| 15 | 14323 | 2024-10-15 9:17:31 | 0:00:51 | 1634 | failed install-dependencies |
| 14 | 45201 | 2024-08-04 10:00:41 | 0:00:20 | 12408 | failed install-dependencies |
| 12.arm64 | 134103 | 2024-08-04 7:27:32 | 0:01:26 | 38339 | failed install-port |
| 13.arm64 | 67891 | 2024-08-04 6:19:44 | 0:06:48 | 23952 | failed install-port |
| 10.7 | 200112 | 2024-08-03 12:46:02 | 0:00:33 | 61328 | failed install-dependencies |
| 10.6.x86_64 | 211944 | 2024-08-03 12:45:53 | 0:00:41 | 61617 | failed install-dependencies |
| 10.9 | 286270 | 2024-08-03 12:45:04 | 0:00:38 | 88588 | failed install-dependencies |
| 10.6 | 176124 | 2024-08-03 12:44:05 | 0:00:48 | 61572 | failed install-dependencies |
| 10.8 | 186643 | 2024-08-03 12:42:27 | 0:00:32 | 59381 | failed install-dependencies |
| 13 | 75821 | 2024-08-03 12:42:20 | 0:00:16 | 24203 | failed install-dependencies |
| 14.arm64 | 38528 | 2024-08-03 12:41:05 | 0:00:16 | 12042 | failed install-dependencies |
| 10.15 | 192578 | 2024-08-03 12:40:09 | 0:00:35 | 59632 | failed install-dependencies |
| 10.10 | 278947 | 2024-08-03 12:40:09 | 0:00:41 | 88916 | failed install-dependencies |
| 14.arm64 | 9982 | 2024-01-21 19:34:48 | 0:00:15 | 4347 | failed install-dependencies |
| 14 | 16517 | 2023-12-07 12:38:08 | 0:00:13 | 2637 | failed install-dependencies |
| 10.7 | 157341 | 2023-08-27 21:30:41 | 0:00:36 | 48207 | failed install-dependencies |
| 11.arm64 | 100837 | 2023-08-26 5:16:29 | 0:00:35 | 36406 | failed install-dependencies |
| 13.arm64 | 32934 | 2023-08-26 3:33:04 | 0:01:53 | 10821 | failed install-port |
| 10.15 | 152940 | 2023-08-25 22:26:05 | 0:00:34 | 46493 | failed install-dependencies |
| 13 | 45932 | 2023-08-25 21:25:06 | 0:00:14 | 10962 | failed install-dependencies |
| 12.arm64 | 104108 | 2023-08-25 19:58:49 | 0:01:35 | 25212 | failed install-port |
| 10.6 | 132659 | 2023-08-25 19:35:51 | 0:00:40 | 48424 | failed install-dependencies |
| 10.6.x86_64 | 168205 | 2023-08-25 19:34:34 | 0:00:36 | 48464 | failed install-dependencies |
| 10.8 | 145728 | 2023-08-25 19:28:57 | 0:00:35 | 46266 | failed install-dependencies |
| 10.9 | 243361 | 2023-08-25 19:26:25 | 0:00:24 | 75478 | failed install-dependencies |
| 10.10 | 236873 | 2023-08-25 19:25:50 | 0:00:30 | 75788 | failed install-dependencies |
| 13.arm64 | 12390 | 2023-03-09 16:29:10 | 0:01:58 | 4287 | failed install-port |
| 13.arm64 | 10974 | 2023-03-08 18:08:40 | 0:00:59 | 4161 | failed install-port |
| 10.8 | 119292 | 2023-01-15 12:08:14 | 0:00:39 | 37668 | failed install-dependencies |
| 10.7 | 130067 | 2023-01-15 11:33:31 | 0:00:40 | 39625 | failed install-dependencies |
| 10.10 | 210409 | 2023-01-15 10:12:43 | 0:01:14 | 67187 | failed install-dependencies |
| 13 | 15149 | 2023-01-15 6:18:13 | 0:00:14 | 2119 | failed install-dependencies |
| 10.15 | 127105 | 2023-01-15 3:48:29 | 0:00:40 | 37945 | failed install-dependencies |
| 11.arm64 | 81766 | 2023-01-15 0:41:39 | 0:00:09 | 27835 | failed install-dependencies |
| 10.9 | 216075 | 2023-01-14 20:15:48 | 0:00:35 | 66883 | failed install-dependencies |
| 10.6 | 104964 | 2023-01-14 11:54:02 | 0:00:49 | 39853 | failed install-dependencies |
| 10.6.x86_64 | 139687 | 2023-01-14 11:52:36 | 0:00:45 | 39883 | failed install-dependencies |
| 12.arm64 | 82546 | 2023-01-14 11:43:13 | 0:01:29 | 16652 | failed install-port |
| 12.arm64 | 81674 | 2023-01-10 19:02:02 | 0:01:43 | 16417 | failed install-port |
| 13 | 12052 | 2023-01-09 6:43:41 | 0:00:19 | 1710 | failed install-dependencies |
| 10.10 | 186856 | 2022-06-16 7:57:52 | 0:00:27 | 59363 | failed install-dependencies |
| 10.9 | 191990 | 2022-06-15 11:40:56 | 0:00:30 | 59055 | failed install-dependencies |
| 10.15 | 103457 | 2022-06-15 10:02:39 | 0:00:35 | 30136 | failed install-dependencies |
| 11.arm64 | 57948 | 2022-06-11 20:52:29 | 0:00:08 | 19873 | failed install-dependencies |
| 10.6 | 77379 | 2022-06-11 18:59:19 | 0:00:38 | 31886 | failed install-dependencies |
| 10.6.x86_64 | 110890 | 2022-06-11 18:57:50 | 0:00:34 | 31861 | failed install-dependencies |
| 10.8 | 93490 | 2022-06-11 18:57:25 | 0:00:24 | 29736 | failed install-dependencies |
| 10.7 | 103489 | 2022-06-11 18:56:14 | 0:00:26 | 31684 | failed install-dependencies |
| 10.15 | 103254 | 2022-06-11 18:55:41 | 0:00:17 | 30033 | failed install-dependencies |
| 10.9 | 191779 | 2022-06-11 18:54:12 | 0:00:15 | 58953 | failed install-dependencies |
| 12.arm64 | 55292 | 2022-06-11 18:53:32 | 0:00:16 | 8699 | failed install-dependencies |
| 10.10 | 186645 | 2022-06-11 18:53:32 | 0:00:15 | 59261 | failed install-dependencies |
| 10.9 | 191687 | 2022-06-10 20:21:27 | 0:00:12 | 58921 | failed install-dependencies |
| 10.15 | 103177 | 2022-06-10 20:21:17 | 0:00:18 | 30002 | failed install-dependencies |
| 10.10 | 186552 | 2022-06-10 20:20:19 | 0:00:12 | 59229 | failed install-dependencies |
| 10.10 | 185993 | 2022-06-07 23:02:45 | 1:26:39 | 59112 | failed install-port |
| 10.9 | 191111 | 2022-06-07 23:01:40 | 1:42:32 | 58802 | failed install-port |
| 10.15 | 102633 | 2022-06-07 20:59:17 | 1:45:04 | 29883 | failed install-port |
| 12.arm64 | 52227 | 2022-05-28 0:27:38 | 0:00:08 | 8096 | failed install-dependencies |
| 10.6.x86_64 | 106059 | 2022-05-27 6:29:02 | 0:00:33 | 31241 | failed install-dependencies |
| 10.6 | 71991 | 2022-05-27 6:29:00 | 0:00:32 | 31272 | failed install-dependencies |
| 10.8 | 90738 | 2022-05-27 6:27:51 | 0:00:23 | 29137 | failed install-dependencies |
| 10.15 | 101093 | 2022-05-27 6:27:21 | 1:33:44 | 29435 | failed install-port |
| 10.7 | 100306 | 2022-05-27 6:27:03 | 0:00:27 | 31084 | failed install-dependencies |
| 11.arm64 | 54901 | 2022-05-27 6:25:46 | 0:00:10 | 19270 | failed install-dependencies |
| 10.9 | 189384 | 2022-05-27 6:24:59 | 1:33:04 | 58355 | failed install-port |
| 10.10 | 184381 | 2022-05-27 6:24:30 | 1:25:04 | 58664 | failed install-port |
| 10.15 | 99676 | 2022-05-16 8:04:52 | 1:41:08 | 29047 | failed install-port |
| 10.10 | 182918 | 2022-05-16 8:03:03 | 1:42:13 | 58276 | failed install-port |
| 10.9 | 187903 | 2022-05-16 7:59:45 | 1:39:07 | 57967 | failed install-port |
| 11.arm64 | 43809 | 2022-01-18 6:08:06 | 0:00:11 | 14930 | failed install-dependencies |
| 12.arm64 | 39225 | 2022-01-18 4:41:53 | 0:00:08 | 3753 | failed install-dependencies |
| 10.6 | 54534 | 2022-01-18 4:04:02 | 0:00:41 | 26932 | failed install-dependencies |
| 10.6.x86_64 | 88887 | 2022-01-18 4:02:31 | 0:00:33 | 26893 | failed install-dependencies |
| 10.8 | 77085 | 2022-01-18 4:00:33 | 0:00:22 | 24807 | failed install-dependencies |
| 10.7 | 85251 | 2022-01-18 4:00:20 | 0:00:25 | 26752 | failed install-dependencies |
| 10.15 | 88191 | 2022-01-18 3:58:29 | 1:34:22 | 25114 | failed install-port |
| 10.10 | 171453 | 2022-01-18 3:58:04 | 1:26:26 | 54338 | failed install-port |
| 10.9 | 176206 | 2022-01-18 3:57:48 | 1:32:51 | 54027 | failed install-port |
| 10.15 | 86663 | 2022-01-07 12:38:53 | 1:39:49 | 24678 | failed install-port |
| 10.10 | 169829 | 2022-01-07 12:36:52 | 1:44:53 | 53904 | failed install-port |
| 10.9 | 174555 | 2022-01-07 12:36:31 | 1:39:21 | 53590 | failed install-port |
| 12 | 7443 | 2021-12-24 9:27:27 | 2:54:21 | 2015 | build successful |
| 10.8 | 70282 | 2021-12-12 20:37:59 | 0:01:57 | 23106 | failed install-dependencies |
| 10.10 | 164969 | 2021-12-12 18:07:31 | 1:26:17 | 52837 | failed install-port |
| 10.7 | 78256 | 2021-12-12 4:08:37 | 0:01:17 | 25249 | failed install-dependencies |
| 10.15 | 81425 | 2021-12-10 19:48:58 | 1:31:00 | 23413 | failed install-port |
| 10.9 | 169625 | 2021-12-10 7:48:25 | 1:45:16 | 52524 | failed install-port |
| 12.arm64 | 31956 | 2021-12-10 4:05:32 | 0:00:23 | 2232 | failed install-dependencies |
| 10.6 | 47247 | 2021-12-09 23:43:18 | 0:03:04 | 25244 | failed install-dependencies |
| 10.6.x86_64 | 82531 | 2021-12-09 22:28:02 | 0:02:55 | 25218 | failed install-dependencies |
| 11.arm64 | 37322 | 2021-12-09 19:40:27 | 0:00:21 | 13419 | failed install-dependencies |
| 12.arm64 | 15815 | 2021-11-15 9:20:37 | 0:00:21 | 1071 | failed install-dependencies |
| 10.15 | 70255 | 2021-09-04 13:04:11 | 3:06:58 | 19623 | failed install-port |
| 10.8 | 59350 | 2021-09-04 0:36:54 | 0:01:18 | 19311 | failed install-dependencies |
| 10.12 | 157586 | 2021-09-04 0:36:45 | 3:57:11 | 47968 | build successful |
| 10.6 | 39134 | 2021-09-04 0:36:36 | 0:02:08 | 21445 | failed install-dependencies |
| 10.11 | 152669 | 2021-09-04 0:36:27 | 5:50:31 | 48980 | build successful |
| 10.6.x86_64 | 71725 | 2021-09-04 0:36:19 | 0:01:54 | 21416 | failed install-dependencies |