ocaml-hacl-star-raw (ocaml/ocaml-hacl-star) Updated: 3 years, 3 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 2 of 2 | Showing build(s) 101 to 187
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.14 | 98496 | 2021-09-04 0:36:11 | 8:10:54 | 30630 | build successful |
| 10.9 | 158280 | 2021-09-04 0:36:00 | 5:00:37 | 48729 | failed install-port |
| 10.7 | 66923 | 2021-09-04 0:35:52 | 0:01:20 | 21452 | failed install-dependencies |
| 10.13 | 121965 | 2021-09-04 0:35:43 | 5:52:48 | 39920 | build successful |
| 10.10 | 154002 | 2021-09-04 0:35:35 | 5:16:57 | 49043 | failed install-port |
| 11.arm64 | 28777 | 2021-09-04 0:35:26 | 0:00:20 | 9625 | failed install-dependencies |
| 10.15 | 70235 | 2021-09-03 21:32:33 | 3:05:12 | 19609 | failed install-port |
| 11 | 45072 | 2021-09-03 20:08:36 | 3:53:56 | 9423 | build successful |
| 10.14 | 98476 | 2021-09-03 15:25:39 | 0:11:37 | 30616 | failed install-port |
| 10.13 | 121945 | 2021-09-03 12:06:28 | 0:09:03 | 39906 | failed install-port |
| 10.6 | 39121 | 2021-09-03 5:22:32 | 0:01:59 | 21430 | failed install-dependencies |
| 10.9 | 158262 | 2021-09-03 4:26:37 | 0:08:59 | 48715 | failed install-port |
| 10.8 | 59332 | 2021-09-03 3:53:55 | 0:01:18 | 19296 | failed install-dependencies |
| 10.12 | 157566 | 2021-09-03 2:52:07 | 0:10:11 | 47954 | failed install-port |
| 10.11 | 152649 | 2021-09-02 22:34:03 | 0:12:02 | 48966 | failed install-port |
| 10.6.x86_64 | 71710 | 2021-09-02 22:01:36 | 0:02:57 | 21401 | failed install-dependencies |
| 10.10 | 153982 | 2021-09-02 21:53:07 | 0:09:37 | 49029 | failed install-port |
| 10.7 | 66903 | 2021-09-02 21:31:24 | 0:01:22 | 21437 | failed install-dependencies |
| 11.arm64 | 28760 | 2021-09-02 21:27:58 | 0:00:20 | 9610 | failed install-dependencies |
| 10.15 | 68997 | 2021-08-26 8:08:44 | 3:05:15 | 19396 | failed install-port |
| 10.9 | 157451 | 2021-08-25 23:40:41 | 0:13:37 | 48502 | failed install-port |
| 10.11 | 151818 | 2021-08-25 22:58:05 | 0:12:58 | 48753 | failed install-port |
| 10.10 | 153192 | 2021-08-25 22:41:44 | 0:08:07 | 48816 | failed install-port |
| 11 | 43661 | 2021-08-25 17:21:31 | 4:40:41 | 9197 | build successful |
| 10.15 | 68975 | 2021-08-25 17:16:06 | 4:52:46 | 19383 | failed install-port |
| 10.14 | 97595 | 2021-08-25 17:15:47 | 0:09:31 | 30390 | failed install-port |
| 10.12 | 156691 | 2021-08-25 17:15:16 | 0:09:20 | 47728 | failed install-port |
| 10.13 | 121084 | 2021-08-25 17:11:01 | 0:08:22 | 39680 | failed install-port |
| 11.arm64 | 28202 | 2021-08-25 16:55:05 | 0:00:21 | 9384 | failed install-dependencies |
| 10.6 | 38609 | 2021-08-25 16:44:38 | 0:02:14 | 21203 | failed install-dependencies |
| 10.11 | 151772 | 2021-08-25 16:43:57 | 0:01:37 | 48740 | failed install-dependencies |
| 10.6.x86_64 | 70955 | 2021-08-25 16:43:35 | 0:01:56 | 21174 | failed install-dependencies |
| 10.9 | 157395 | 2021-08-25 16:43:33 | 0:01:48 | 48489 | failed install-dependencies |
| 10.10 | 153146 | 2021-08-25 16:43:14 | 0:01:51 | 48803 | failed install-dependencies |
| 10.8 | 58499 | 2021-08-25 16:41:54 | 0:01:34 | 19070 | failed install-dependencies |
| 10.7 | 66038 | 2021-08-25 16:41:48 | 0:01:35 | 21211 | failed install-dependencies |
| 10.14 | 89915 | 2021-06-17 12:17:50 | 0:13:23 | 28399 | failed install-port |
| 10.11 | 144900 | 2021-06-17 10:14:35 | 0:10:51 | 46746 | failed install-port |
| 10.6 | 34195 | 2021-06-17 8:52:18 | 0:02:13 | 19202 | failed install-dependencies |
| 10.6.x86_64 | 60267 | 2021-06-17 8:44:47 | 0:01:59 | 19172 | failed install-dependencies |
| 10.13 | 114272 | 2021-06-17 8:30:45 | 0:09:31 | 37691 | failed install-port |
| 10.12 | 149808 | 2021-06-17 8:30:07 | 0:09:19 | 45738 | failed install-port |
| 10.9 | 150398 | 2021-06-17 8:30:07 | 0:09:35 | 46493 | failed install-port |
| 10.10 | 146304 | 2021-06-17 8:28:18 | 0:08:54 | 46813 | failed install-port |
| 10.8 | 50168 | 2021-06-17 8:27:57 | 0:01:30 | 17074 | failed install-dependencies |
| 10.7 | 56694 | 2021-06-17 8:27:18 | 0:01:34 | 19212 | failed install-dependencies |
| 11.arm64 | 23549 | 2021-06-17 8:23:16 | 0:00:21 | 7377 | failed install-dependencies |
| 10.13 | 110973 | 2021-05-15 2:43:40 | 0:09:17 | 36335 | failed install-port |
| 10.15 | 57759 | 2021-05-14 18:33:03 | 4:15:56 | 16040 | build successful |
| 10.9 | 146967 | 2021-05-14 17:35:48 | 0:08:29 | 45135 | failed install-port |
| 10.10 | 142960 | 2021-05-14 17:04:07 | 0:09:44 | 45456 | failed install-port |
| 10.7 | 52771 | 2021-05-14 1:42:41 | 0:01:29 | 17854 | failed install-dependencies |
| 10.14 | 86613 | 2021-05-13 11:35:19 | 0:13:09 | 27043 | failed install-port |
| 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 |