ocaml-hacl-star (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
185 build(s) found
Page 1 of 2 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 16591 | 2024-10-19 1:39:52 | 0:00:11 | 2179 | failed install-dependencies |
| 14 | 45202 | 2024-08-04 10:01:03 | 0:00:12 | 12408 | failed install-dependencies |
| 12.arm64 | 134104 | 2024-08-04 7:29:01 | 0:00:05 | 38339 | failed install-dependencies |
| 13.arm64 | 67892 | 2024-08-04 6:26:35 | 0:00:05 | 23952 | failed install-dependencies |
| 10.7 | 200113 | 2024-08-03 12:46:37 | 0:00:30 | 61328 | failed install-dependencies |
| 10.6.x86_64 | 211945 | 2024-08-03 12:46:37 | 0:00:39 | 61617 | failed install-dependencies |
| 10.9 | 286271 | 2024-08-03 12:45:43 | 0:00:24 | 88588 | failed install-dependencies |
| 10.6 | 176125 | 2024-08-03 12:45:00 | 0:00:46 | 61572 | failed install-dependencies |
| 10.8 | 186644 | 2024-08-03 12:43:04 | 0:00:34 | 59381 | failed install-dependencies |
| 13 | 75822 | 2024-08-03 12:42:39 | 0:00:12 | 24203 | failed install-dependencies |
| 14.arm64 | 38529 | 2024-08-03 12:41:25 | 0:00:12 | 12042 | failed install-dependencies |
| 10.10 | 278948 | 2024-08-03 12:40:56 | 0:00:22 | 88916 | failed install-dependencies |
| 10.15 | 192579 | 2024-08-03 12:40:47 | 0:00:29 | 59632 | failed install-dependencies |
| 14.arm64 | 9983 | 2024-01-21 19:35:04 | 0:00:07 | 4347 | failed install-dependencies |
| 14 | 16518 | 2023-12-07 12:38:22 | 0:00:11 | 2637 | failed install-dependencies |
| 10.7 | 157342 | 2023-08-27 21:31:19 | 0:00:31 | 48207 | failed install-dependencies |
| 11.arm64 | 100838 | 2023-08-26 5:17:05 | 0:00:27 | 36406 | failed install-dependencies |
| 13.arm64 | 32935 | 2023-08-26 3:34:59 | 0:00:04 | 10821 | failed install-dependencies |
| 10.15 | 152941 | 2023-08-25 22:26:40 | 0:00:29 | 46493 | failed install-dependencies |
| 13 | 45933 | 2023-08-25 21:25:21 | 0:00:11 | 10962 | failed install-dependencies |
| 12.arm64 | 104109 | 2023-08-25 20:00:26 | 0:00:03 | 25212 | failed install-dependencies |
| 10.6 | 132660 | 2023-08-25 19:36:31 | 0:00:39 | 48424 | failed install-dependencies |
| 10.6.x86_64 | 168206 | 2023-08-25 19:35:12 | 0:00:35 | 48464 | failed install-dependencies |
| 10.8 | 145729 | 2023-08-25 19:29:34 | 0:00:33 | 46266 | failed install-dependencies |
| 10.9 | 243362 | 2023-08-25 19:26:51 | 0:00:23 | 75478 | failed install-dependencies |
| 10.10 | 236874 | 2023-08-25 19:26:24 | 0:00:23 | 75788 | failed install-dependencies |
| 13.arm64 | 12391 | 2023-03-09 16:31:11 | 0:00:05 | 4287 | failed install-dependencies |
| 13.arm64 | 10975 | 2023-03-08 18:09:45 | 0:00:04 | 4161 | failed install-dependencies |
| 10.8 | 119293 | 2023-01-15 12:08:55 | 0:00:38 | 37668 | failed install-dependencies |
| 10.7 | 130068 | 2023-01-15 11:34:12 | 0:00:39 | 39625 | failed install-dependencies |
| 10.10 | 210410 | 2023-01-15 10:14:00 | 0:00:32 | 67187 | failed install-dependencies |
| 13 | 15150 | 2023-01-15 6:18:29 | 0:00:14 | 2119 | failed install-dependencies |
| 10.15 | 127106 | 2023-01-15 3:49:10 | 0:00:38 | 37945 | failed install-dependencies |
| 11.arm64 | 81767 | 2023-01-15 0:41:49 | 0:00:06 | 27835 | failed install-dependencies |
| 10.9 | 216076 | 2023-01-14 20:16:27 | 0:00:36 | 66883 | failed install-dependencies |
| 10.6 | 104965 | 2023-01-14 11:54:52 | 0:00:46 | 39853 | failed install-dependencies |
| 10.6.x86_64 | 139688 | 2023-01-14 11:53:23 | 0:00:43 | 39883 | failed install-dependencies |
| 12.arm64 | 82547 | 2023-01-14 11:44:57 | 0:00:03 | 16652 | failed install-dependencies |
| 12.arm64 | 81675 | 2023-01-10 19:03:48 | 0:00:03 | 16417 | failed install-dependencies |
| 13 | 12053 | 2023-01-09 6:44:06 | 0:00:13 | 1710 | failed install-dependencies |
| 10.10 | 186857 | 2022-06-16 7:58:20 | 0:00:25 | 59363 | failed install-dependencies |
| 10.9 | 191991 | 2022-06-15 11:41:27 | 0:00:31 | 59055 | failed install-dependencies |
| 10.15 | 103458 | 2022-06-15 10:03:20 | 0:00:35 | 30136 | failed install-dependencies |
| 11.arm64 | 57949 | 2022-06-11 20:52:38 | 0:00:08 | 19873 | failed install-dependencies |
| 10.6 | 77380 | 2022-06-11 18:59:58 | 0:00:38 | 31886 | failed install-dependencies |
| 10.6.x86_64 | 110891 | 2022-06-11 18:58:25 | 0:00:33 | 31861 | failed install-dependencies |
| 10.8 | 93491 | 2022-06-11 18:57:51 | 0:00:25 | 29736 | failed install-dependencies |
| 10.7 | 103490 | 2022-06-11 18:56:43 | 0:00:27 | 31684 | failed install-dependencies |
| 10.15 | 103255 | 2022-06-11 18:56:02 | 0:00:16 | 30033 | failed install-dependencies |
| 10.9 | 191780 | 2022-06-11 18:54:37 | 0:00:12 | 58953 | failed install-dependencies |
| 10.10 | 186646 | 2022-06-11 18:54:12 | 0:00:12 | 59261 | failed install-dependencies |
| 12.arm64 | 55293 | 2022-06-11 18:54:12 | 0:00:10 | 8699 | failed install-dependencies |
| 10.9 | 191688 | 2022-06-10 20:21:40 | 0:00:11 | 58921 | failed install-dependencies |
| 10.15 | 103178 | 2022-06-10 20:21:36 | 0:00:17 | 30002 | failed install-dependencies |
| 10.10 | 186553 | 2022-06-10 20:20:34 | 0:00:10 | 59229 | failed install-dependencies |
| 10.9 | 191112 | 2022-06-08 0:44:14 | 1:29:02 | 58802 | failed install-dependencies |
| 10.10 | 185994 | 2022-06-08 0:29:26 | 1:22:26 | 59112 | failed install-dependencies |
| 10.15 | 102634 | 2022-06-07 22:44:23 | 1:36:01 | 29883 | failed install-dependencies |
| 12.arm64 | 52228 | 2022-05-28 0:27:48 | 0:00:06 | 8096 | failed install-dependencies |
| 10.15 | 101094 | 2022-05-27 8:01:07 | 1:31:52 | 29435 | failed install-dependencies |
| 10.9 | 189385 | 2022-05-27 7:58:05 | 1:30:06 | 58355 | failed install-dependencies |
| 10.10 | 184382 | 2022-05-27 7:49:35 | 1:22:16 | 58664 | failed install-dependencies |
| 10.6.x86_64 | 106060 | 2022-05-27 6:29:36 | 0:00:33 | 31241 | failed install-dependencies |
| 10.6 | 71992 | 2022-05-27 6:29:34 | 0:00:33 | 31272 | failed install-dependencies |
| 10.8 | 90739 | 2022-05-27 6:28:20 | 0:00:27 | 29137 | failed install-dependencies |
| 10.7 | 100307 | 2022-05-27 6:27:32 | 0:00:26 | 31084 | failed install-dependencies |
| 11.arm64 | 54902 | 2022-05-27 6:26:06 | 0:00:11 | 19270 | failed install-dependencies |
| 10.15 | 99677 | 2022-05-16 9:46:02 | 1:29:31 | 29047 | failed install-dependencies |
| 10.10 | 182919 | 2022-05-16 9:45:18 | 1:33:01 | 58276 | failed install-dependencies |
| 10.9 | 187904 | 2022-05-16 9:38:54 | 1:28:45 | 57967 | failed install-dependencies |
| 11.arm64 | 43810 | 2022-01-18 6:08:19 | 0:00:08 | 14930 | failed install-dependencies |
| 10.15 | 88192 | 2022-01-18 5:32:54 | 1:39:09 | 25114 | failed install-dependencies |
| 10.9 | 176207 | 2022-01-18 5:30:40 | 1:38:10 | 54027 | failed install-dependencies |
| 10.10 | 171454 | 2022-01-18 5:24:32 | 1:36:54 | 54338 | failed install-dependencies |
| 12.arm64 | 39226 | 2022-01-18 4:42:03 | 0:00:06 | 3753 | failed install-dependencies |
| 10.6 | 54535 | 2022-01-18 4:04:44 | 0:00:40 | 26932 | failed install-dependencies |
| 10.6.x86_64 | 88888 | 2022-01-18 4:03:05 | 0:00:33 | 26893 | failed install-dependencies |
| 10.8 | 77086 | 2022-01-18 4:00:58 | 0:00:24 | 24807 | failed install-dependencies |
| 10.7 | 85252 | 2022-01-18 4:00:47 | 0:00:26 | 26752 | failed install-dependencies |
| 10.10 | 169830 | 2022-01-07 14:21:48 | 1:40:27 | 53904 | failed install-dependencies |
| 10.15 | 86664 | 2022-01-07 14:18:44 | 1:32:43 | 24678 | failed install-dependencies |
| 10.9 | 174556 | 2022-01-07 14:15:54 | 1:31:41 | 53590 | failed install-dependencies |
| 12 | 7444 | 2021-12-24 12:21:50 | 0:11:33 | 2015 | build successful |
| 10.8 | 70283 | 2021-12-12 20:40:01 | 0:01:37 | 23106 | failed install-dependencies |
| 10.10 | 164970 | 2021-12-12 19:33:50 | 1:27:11 | 52837 | failed install-dependencies |
| 10.7 | 78257 | 2021-12-12 4:09:56 | 0:01:24 | 25249 | failed install-dependencies |
| 10.15 | 81426 | 2021-12-10 21:20:00 | 1:31:03 | 23413 | failed install-dependencies |
| 10.9 | 169626 | 2021-12-10 9:33:43 | 1:52:00 | 52524 | failed install-dependencies |
| 12.arm64 | 31957 | 2021-12-10 4:05:56 | 0:00:23 | 2232 | failed install-dependencies |
| 10.6 | 47248 | 2021-12-09 23:46:25 | 0:03:09 | 25244 | failed install-dependencies |
| 10.6.x86_64 | 82532 | 2021-12-09 22:31:00 | 0:02:46 | 25218 | failed install-dependencies |
| 11.arm64 | 37323 | 2021-12-09 19:40:50 | 0:00:22 | 13419 | failed install-dependencies |
| 12.arm64 | 15816 | 2021-11-15 9:20:59 | 0:00:22 | 1071 | failed install-dependencies |
| 10.15 | 70256 | 2021-09-04 16:11:11 | 3:22:10 | 19623 | failed install-dependencies |
| 10.14 | 98497 | 2021-09-04 8:47:08 | 0:10:48 | 30630 | build successful |
| 10.13 | 121966 | 2021-09-04 6:28:33 | 0:09:26 | 39920 | build successful |
| 10.11 | 152670 | 2021-09-04 6:27:00 | 0:15:32 | 48980 | build successful |
| 10.10 | 154003 | 2021-09-04 5:52:34 | 0:01:16 | 49043 | failed install-dependencies |
| 10.9 | 158281 | 2021-09-04 5:36:39 | 3:37:53 | 48729 | failed install-dependencies |
| 10.12 | 157587 | 2021-09-04 4:33:58 | 0:10:33 | 47968 | build successful |