everparse (devel/everparse) Updated: 1 year, 11 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 GitHub563 build(s) found
Page 1 of 6 | Showing build(s) 1 to 100
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |
10.6.x86_64 | 103942 | 2022-05-16 8:02:43 | 0:00:36 | 30849 | failed install-dependencies |
11.arm64 | 53237 | 2022-05-16 8:01:01 | 0:00:17 | 18877 | failed install-dependencies |
10.13 | 150579 | 2022-05-16 8:00:55 | 0:27:52 | 49278 | failed install-port |
10.7 | 98558 | 2022-05-16 8:00:11 | 0:00:38 | 30695 | failed install-dependencies |
10.12 | 186420 | 2022-05-16 8:00:10 | 0:13:45 | 57194 | failed install-port |
10.11 | 181746 | 2022-05-16 8:00:10 | 0:20:51 | 58385 | failed install-port |
12 | 11497 | 2022-01-07 18:43:03 | 0:18:25 | 3124 | failed install-port |
10.10 | 169831 | 2022-01-07 16:02:17 | 1:40:29 | 53904 | failed install-dependencies |
10.15 | 86665 | 2022-01-07 15:51:30 | 1:33:45 | 24678 | failed install-dependencies |
10.9 | 174557 | 2022-01-07 15:47:37 | 1:31:24 | 53590 | failed install-dependencies |
12.arm64 | 37337 | 2022-01-07 13:49:20 | 0:00:13 | 3309 | failed install-dependencies |
10.11 | 168502 | 2022-01-07 13:30:36 | 0:15:03 | 54008 | failed install-port |
10.13 | 137122 | 2022-01-07 13:29:34 | 0:17:02 | 44843 | failed install-port |
10.14 | 114159 | 2022-01-07 12:50:55 | 0:23:00 | 35680 | failed install-port |
10.6.x86_64 | 86958 | 2022-01-07 12:49:59 | 0:00:50 | 26443 | failed install-dependencies |
11.arm64 | 42087 | 2022-01-07 12:38:13 | 0:00:17 | 14491 | failed install-dependencies |
10.8 | 75228 | 2022-01-07 12:37:54 | 0:00:49 | 24370 | failed install-dependencies |
10.6 | 52445 | 2022-01-07 12:37:31 | 0:00:37 | 26485 | failed install-dependencies |
10.12 | 173358 | 2022-01-07 12:37:13 | 0:15:32 | 52827 | failed install-port |