everparse (devel/everparse) Updated: 3 years, 3 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
637 build(s) found
Page 1 of 7 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 26.arm64 | 13753 | 2025-10-01 19:42:59 | 0:02:54 | 703 | failed install-dependencies |
| 11.arm64 | 118171 | 2025-09-06 1:02:04 | 0:00:08 | 46033 | failed install-dependencies |
| 12.arm64 | 150187 | 2025-08-24 19:55:23 | 0:00:18 | 49210 | failed install-dependencies |
| 13.arm64 | 87319 | 2025-08-20 1:11:13 | 0:00:06 | 34911 | failed install-dependencies |
| 10.14 | 239052 | 2025-08-18 21:31:38 | 0:00:13 | 81445 | failed install-dependencies |
| 14 | 65270 | 2025-08-18 21:21:59 | 0:00:13 | 23345 | failed install-dependencies |
| 12 | 137975 | 2025-08-17 23:38:19 | 0:00:13 | 49356 | failed install-dependencies |
| 14.arm64 | 60320 | 2025-08-17 17:37:22 | 0:00:05 | 22938 | failed install-dependencies |
| 15 | 36452 | 2025-08-17 14:54:23 | 0:00:08 | 10748 | failed install-dependencies |
| 13 | 93920 | 2025-08-17 4:13:12 | 0:00:08 | 35077 | failed install-dependencies |
| 10.15 | 215468 | 2025-08-17 0:55:15 | 0:01:05 | 70513 | failed install-dependencies |
| 15.arm64 | 24792 | 2025-08-17 0:24:37 | 0:00:08 | 9924 | failed install-dependencies |
| 10.6 | 206238 | 2025-08-16 22:19:30 | 0:00:49 | 72574 | failed install-dependencies |
| 10.6.x86_64 | 242905 | 2025-08-16 21:36:06 | 0:00:46 | 72635 | failed install-dependencies |
| 10.12 | 307467 | 2025-08-16 21:03:15 | 0:00:15 | 98757 | failed install-dependencies |
| 11 | 187307 | 2025-08-16 20:30:37 | 0:00:17 | 60465 | failed install-dependencies |
| 10.8 | 212645 | 2025-08-16 20:30:12 | 0:00:48 | 70309 | failed install-dependencies |
| 10.13 | 265198 | 2025-08-16 20:12:08 | 0:00:14 | 90771 | failed install-dependencies |
| 10.7 | 227476 | 2025-08-16 20:11:54 | 0:00:44 | 72276 | failed install-dependencies |
| 10.9 | 312714 | 2025-08-16 19:54:51 | 0:00:37 | 99525 | failed install-dependencies |
| 10.11 | 297260 | 2025-08-16 19:52:10 | 0:00:38 | 100002 | failed install-dependencies |
| 10.10 | 305034 | 2025-08-16 19:38:59 | 0:00:40 | 99853 | failed install-dependencies |
| 15 | 36065 | 2025-08-15 15:09:37 | 0:00:13 | 10691 | failed install-dependencies |
| 14 | 64894 | 2025-08-15 6:50:42 | 0:00:09 | 23273 | failed install-dependencies |
| 10.6 | 205994 | 2025-08-15 6:29:49 | 0:00:48 | 72528 | failed install-dependencies |
| 10.14 | 238845 | 2025-08-15 6:17:52 | 0:00:23 | 81368 | failed install-dependencies |
| 10.13 | 265041 | 2025-08-15 5:19:15 | 0:00:46 | 90732 | failed install-dependencies |
| 13.arm64 | 87067 | 2025-08-15 3:59:20 | 0:00:08 | 34798 | failed install-dependencies |
| 10.8 | 212428 | 2025-08-15 3:53:39 | 0:00:59 | 70263 | failed install-dependencies |
| 10.11 | 297040 | 2025-08-15 3:36:18 | 0:00:40 | 99955 | failed install-dependencies |
| 10.15 | 215268 | 2025-08-15 3:35:24 | 0:00:24 | 70469 | failed install-dependencies |
| 10.7 | 227232 | 2025-08-15 3:16:37 | 0:00:46 | 72229 | failed install-dependencies |
| 10.6.x86_64 | 242543 | 2025-08-15 3:13:39 | 0:00:45 | 72574 | failed install-dependencies |
| 10.10 | 304790 | 2025-08-15 3:03:46 | 0:00:44 | 99804 | failed install-dependencies |
| 10.9 | 312453 | 2025-08-15 2:45:52 | 0:00:49 | 99474 | failed install-dependencies |
| 15.arm64 | 7586 | 2025-03-06 2:18:52 | 0:00:18 | 3987 | failed install-dependencies |
| 13 | 85541 | 2025-01-14 6:30:13 | 0:00:10 | 29833 | failed install-dependencies |
| 13.arm64 | 78189 | 2025-01-14 5:29:25 | 0:00:17 | 29587 | failed install-dependencies |
| 14.arm64 | 50477 | 2025-01-13 22:34:13 | 0:00:46 | 17677 | failed install-dependencies |
| 15 | 25284 | 2025-01-13 21:16:34 | 0:00:29 | 5494 | failed install-dependencies |
| 11 | 175889 | 2025-01-13 6:31:17 | 0:00:43 | 55215 | failed install-dependencies |
| 10.11 | 285124 | 2025-01-13 5:17:57 | 0:00:28 | 94754 | failed install-dependencies |
| 10.8 | 199369 | 2025-01-13 5:17:41 | 0:00:37 | 65055 | failed install-dependencies |
| 10.9 | 299284 | 2025-01-13 5:12:19 | 0:00:30 | 94262 | failed install-dependencies |
| 10.10 | 291821 | 2025-01-13 5:08:52 | 0:00:27 | 94592 | failed install-dependencies |
| 10.14 | 227393 | 2025-01-13 5:04:56 | 0:00:35 | 76204 | failed install-dependencies |
| 10.12 | 295189 | 2025-01-13 5:00:53 | 0:00:39 | 93505 | failed install-dependencies |
| 10.6.x86_64 | 226934 | 2025-01-13 4:59:01 | 0:00:43 | 67357 | failed install-dependencies |
| 10.7 | 213628 | 2025-01-13 4:58:46 | 0:00:37 | 67016 | failed install-dependencies |
| 10.6 | 191280 | 2025-01-13 4:52:59 | 0:00:45 | 67306 | failed install-dependencies |
| 10.13 | 253446 | 2025-01-13 4:52:36 | 0:00:44 | 85567 | failed install-dependencies |
| 12 | 126865 | 2025-01-13 4:35:26 | 0:04:23 | 44099 | failed install-port |
| 10.15 | 204344 | 2025-01-13 4:24:49 | 0:00:51 | 65268 | failed install-dependencies |
| 14 | 55425 | 2025-01-13 4:18:53 | 0:00:09 | 18039 | failed install-dependencies |
| 12.arm64 | 144755 | 2025-01-13 4:13:55 | 0:00:19 | 43986 | failed install-dependencies |
| 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 |