everparse (devel/everparse) Updated: 2 years, 5 months ago Add to my watchlist
A verified secure parser framework for F*.EverParse provides LowParse, verified-secure F*/Low* parser combinator library, and QuackyDucky, an untrusted compiler for generating verified secure parsers from a message format specification.
Version: 20220602-e722715 License: Apache-2
GitHub
582 build(s) found
Page 1 of 6 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 14729 | 2024-10-16 17:51:35 | 0:00:28 | 1844 | failed install-dependencies |
| 12.arm64 | 132783 | 2024-07-18 6:36:23 | 0:00:39 | 37757 | failed install-dependencies |
| 14 | 43692 | 2024-07-18 5:27:14 | 0:00:41 | 11815 | failed install-dependencies |
| 13.arm64 | 66439 | 2024-07-18 2:11:52 | 0:00:38 | 23369 | failed install-dependencies |
| 13 | 74568 | 2024-07-17 10:59:39 | 0:00:21 | 23619 | failed install-dependencies |
| 10.8 | 184778 | 2024-07-17 7:40:23 | 0:00:45 | 58797 | failed install-dependencies |
| 10.7 | 198269 | 2024-07-17 7:37:40 | 0:00:39 | 60744 | failed install-dependencies |
| 10.9 | 284411 | 2024-07-17 7:37:30 | 0:00:31 | 88004 | failed install-dependencies |
| 10.10 | 277190 | 2024-07-17 7:35:46 | 0:00:57 | 88332 | failed install-dependencies |
| 10.6 | 173843 | 2024-07-17 7:29:41 | 0:00:50 | 60987 | failed install-dependencies |
| 10.11 | 271280 | 2024-07-17 7:25:54 | 0:00:39 | 88494 | failed install-dependencies |
| 10.15 | 191276 | 2024-07-17 7:21:11 | 0:01:44 | 59047 | failed install-dependencies |
| 10.12 | 280873 | 2024-07-17 7:20:54 | 0:00:35 | 87210 | failed install-dependencies |
| 10.14 | 214337 | 2024-07-17 7:20:32 | 0:01:40 | 69980 | failed install-dependencies |
| 12 | 113864 | 2024-07-17 7:20:27 | 0:05:32 | 37877 | failed install-port |
| 10.6.x86_64 | 209565 | 2024-07-17 7:19:52 | 0:00:44 | 61032 | failed install-dependencies |
| 14.arm64 | 36964 | 2024-07-17 7:14:16 | 0:00:36 | 11460 | failed install-dependencies |
| 11 | 162124 | 2024-07-17 7:14:08 | 0:00:42 | 48971 | failed install-dependencies |
| 10.13 | 240231 | 2024-07-17 7:13:41 | 0:01:20 | 79310 | failed install-dependencies |
| 14.arm64 | 16272 | 2024-01-30 14:54:57 | 0:00:35 | 4970 | failed install-dependencies |
| 14 | 22728 | 2023-12-31 8:49:21 | 0:00:28 | 3731 | failed install-dependencies |
| 10.15 | 149832 | 2023-07-29 21:57:29 | 0:02:03 | 45425 | failed install-dependencies |
| 11.arm64 | 98639 | 2023-07-29 21:38:20 | 0:00:54 | 35339 | failed install-dependencies |
| 12.arm64 | 101368 | 2023-07-29 20:46:26 | 0:00:31 | 24150 | failed install-dependencies |
| 10.7 | 153793 | 2023-07-29 18:22:39 | 0:01:59 | 47136 | failed install-dependencies |
| 10.8 | 142257 | 2023-07-29 15:21:26 | 0:02:46 | 45198 | failed install-dependencies |
| 10.9 | 239898 | 2023-07-29 14:43:45 | 0:01:09 | 74411 | failed install-dependencies |
| 10.10 | 233641 | 2023-07-29 14:32:47 | 0:01:23 | 74717 | failed install-dependencies |
| 13.arm64 | 29626 | 2023-07-29 14:27:30 | 0:00:27 | 9749 | failed install-dependencies |
| 10.11 | 230024 | 2023-07-29 13:57:13 | 0:01:50 | 74830 | failed install-dependencies |
| 10.12 | 239081 | 2023-07-29 13:56:58 | 0:00:54 | 73626 | failed install-dependencies |
| 11 | 122175 | 2023-07-29 13:56:42 | 0:01:54 | 35341 | failed install-dependencies |
| 12 | 77373 | 2023-07-29 13:56:27 | 0:05:00 | 24140 | failed install-port |
| 10.6.x86_64 | 164046 | 2023-07-29 13:56:18 | 0:00:40 | 47396 | failed install-dependencies |
| 13 | 42370 | 2023-07-29 13:56:16 | 0:01:38 | 9896 | failed install-dependencies |
| 10.14 | 174542 | 2023-07-29 13:56:03 | 0:01:30 | 56437 | failed install-dependencies |
| 10.6 | 128769 | 2023-07-29 13:55:50 | 0:00:46 | 47358 | failed install-dependencies |
| 10.13 | 199811 | 2023-07-29 13:55:39 | 0:01:06 | 65678 | failed install-dependencies |
| 13.arm64 | 10976 | 2023-03-08 18:09:53 | 0:00:09 | 4161 | failed install-dependencies |
| 10.8 | 118363 | 2023-01-11 21:37:10 | 0:00:41 | 37430 | failed install-dependencies |
| 10.9 | 215290 | 2023-01-11 15:59:09 | 0:00:35 | 66645 | failed install-dependencies |
| 10.7 | 129092 | 2023-01-11 7:21:00 | 0:00:48 | 39387 | failed install-dependencies |
| 11.arm64 | 80881 | 2023-01-11 4:08:54 | 0:00:15 | 27600 | failed install-dependencies |
| 12 | 55390 | 2023-01-11 2:52:30 | 0:29:52 | 16404 | failed install-port |
| 10.14 | 152381 | 2023-01-11 1:46:42 | 0:00:42 | 48718 | failed install-dependencies |
| 10.13 | 176899 | 2023-01-10 23:25:09 | 0:00:42 | 57950 | failed install-dependencies |
| 10.10 | 209625 | 2023-01-10 22:13:42 | 0:00:52 | 66952 | failed install-dependencies |
| 13 | 13550 | 2023-01-10 20:43:19 | 0:00:20 | 1854 | failed install-dependencies |
| 10.11 | 207106 | 2023-01-10 19:03:59 | 0:00:49 | 67072 | failed install-dependencies |
| 12.arm64 | 81676 | 2023-01-10 19:03:52 | 0:00:08 | 16417 | failed install-dependencies |
| 10.15 | 126397 | 2023-01-10 19:03:25 | 0:01:13 | 37710 | failed install-dependencies |
| 10.6.x86_64 | 138418 | 2023-01-10 19:03:12 | 0:00:47 | 39645 | failed install-dependencies |
| 11 | 98882 | 2023-01-10 19:03:09 | 0:00:47 | 27623 | failed install-dependencies |
| 10.6 | 103697 | 2023-01-10 19:02:49 | 0:00:52 | 39615 | failed install-dependencies |
| 10.12 | 214423 | 2023-01-10 19:02:34 | 0:00:24 | 65871 | failed install-dependencies |
| 10.13 | 154225 | 2022-06-16 19:14:58 | 0:00:27 | 50368 | failed install-dependencies |
| 10.10 | 186858 | 2022-06-16 7:58:45 | 0:00:28 | 59363 | failed install-dependencies |
| 10.11 | 185776 | 2022-06-15 19:08:46 | 0:00:36 | 59478 | failed install-dependencies |
| 10.14 | 130756 | 2022-06-15 12:54:28 | 0:00:33 | 41141 | failed install-dependencies |
| 10.9 | 191992 | 2022-06-15 11:41:59 | 0:00:26 | 59055 | failed install-dependencies |
| 10.15 | 103459 | 2022-06-15 10:04:03 | 0:00:35 | 30136 | failed install-dependencies |
| 11 | 75987 | 2022-06-14 17:17:03 | 0:00:21 | 20036 | failed install-dependencies |
| 11 | 75984 | 2022-06-14 17:07:45 | 0:00:19 | 20034 | failed install-dependencies |
| 11 | 75981 | 2022-06-14 16:57:47 | 0:00:33 | 20031 | failed install-dependencies |
| 10.12 | 190142 | 2022-06-14 16:42:59 | 0:00:17 | 58283 | failed install-dependencies |
| 11.arm64 | 58205 | 2022-06-14 16:40:13 | 0:00:08 | 19982 | failed install-dependencies |
| 11.arm64 | 58201 | 2022-06-14 16:36:25 | 0:00:08 | 19980 | failed install-dependencies |
| 11.arm64 | 58192 | 2022-06-14 16:24:49 | 0:00:13 | 19977 | failed install-dependencies |
| 11.arm64 | 57869 | 2022-06-11 4:53:44 | 0:00:13 | 19841 | failed install-dependencies |
| 10.11 | 185487 | 2022-06-11 1:42:57 | 0:00:19 | 59344 | failed install-dependencies |
| 12 | 33039 | 2022-06-10 20:54:09 | 0:10:21 | 8674 | failed install-port |
| 12.arm64 | 55199 | 2022-06-10 20:36:07 | 0:00:08 | 8667 | failed install-dependencies |
| 10.14 | 130484 | 2022-06-10 20:27:48 | 0:00:18 | 41007 | failed install-dependencies |
| 11 | 75696 | 2022-06-10 20:22:04 | 0:00:24 | 19897 | failed install-dependencies |
| 10.15 | 103179 | 2022-06-10 20:21:54 | 0:00:20 | 30002 | failed install-dependencies |
| 10.9 | 191689 | 2022-06-10 20:21:52 | 0:00:14 | 58921 | failed install-dependencies |
| 10.10 | 186554 | 2022-06-10 20:20:45 | 0:00:12 | 59229 | failed install-dependencies |
| 10.12 | 189867 | 2022-06-10 20:19:05 | 0:00:18 | 58148 | failed install-dependencies |
| 10.13 | 153952 | 2022-06-10 20:18:51 | 0:00:17 | 50234 | failed install-dependencies |
| 10.6 | 77157 | 2022-06-10 20:17:13 | 0:00:36 | 31854 | failed install-dependencies |
| 10.6.x86_64 | 110702 | 2022-06-10 20:16:26 | 0:00:37 | 31829 | failed install-dependencies |
| 10.8 | 93354 | 2022-06-10 20:16:01 | 0:00:28 | 29704 | failed install-dependencies |
| 10.7 | 103346 | 2022-06-10 20:15:17 | 0:00:30 | 31652 | failed install-dependencies |
| 10.9 | 191113 | 2022-06-08 2:13:18 | 1:24:40 | 58802 | failed install-dependencies |
| 10.10 | 185995 | 2022-06-08 1:51:54 | 1:23:24 | 59112 | failed install-dependencies |
| 10.6 | 76104 | 2022-06-08 0:54:33 | 0:00:52 | 31734 | failed install-dependencies |
| 10.15 | 102635 | 2022-06-08 0:20:26 | 1:35:57 | 29883 | failed install-dependencies |
| 10.8 | 92591 | 2022-06-07 23:20:53 | 0:01:02 | 29585 | failed install-dependencies |
| 10.6.x86_64 | 109759 | 2022-06-07 23:04:45 | 0:00:49 | 31707 | failed install-dependencies |
| 10.7 | 102572 | 2022-06-07 22:40:37 | 0:00:46 | 31533 | failed install-dependencies |
| 12.arm64 | 54220 | 2022-06-07 21:51:55 | 0:00:13 | 8548 | failed install-dependencies |
| 11.arm64 | 56883 | 2022-06-07 20:52:05 | 0:00:16 | 19722 | failed install-dependencies |
| 12.arm64 | 50230 | 2022-05-16 17:06:28 | 0:00:13 | 7704 | failed install-dependencies |
| 10.10 | 182920 | 2022-05-16 11:18:21 | 1:23:45 | 58276 | failed install-dependencies |
| 10.15 | 99678 | 2022-05-16 11:15:35 | 1:29:45 | 29047 | failed install-dependencies |
| 10.9 | 187905 | 2022-05-16 11:07:41 | 1:27:06 | 57967 | failed install-dependencies |
| 12 | 29056 | 2022-05-16 8:04:57 | 0:26:38 | 7716 | failed install-port |
| 10.6 | 69640 | 2022-05-16 8:04:13 | 0:00:43 | 30882 | failed install-dependencies |
| 10.14 | 127033 | 2022-05-16 8:03:38 | 0:26:08 | 40050 | failed install-port |
| 10.8 | 89018 | 2022-05-16 8:03:01 | 0:00:32 | 28748 | failed install-dependencies |