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 6 of 7 | Showing build(s) 501 to 600
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.9 | 116846 | 2020-04-10 23:07:09 | 0:17:07 | 33239 | build successful |
| 10.6.x86_64 | 24152 | 2020-04-10 23:06:59 | 0:01:02 | 5673 | failed install-dependencies |
| 10.13 | 81737 | 2020-04-10 23:06:48 | 0:14:31 | 24188 | build successful |
| 10.7 | 21363 | 2020-04-10 23:06:38 | 0:28:36 | 5669 | build successful |
| 10.6 | 11670 | 2020-04-10 23:06:28 | 0:01:40 | 5672 | failed install-dependencies |
| 10.6.x86_64 | 24096 | 2020-04-09 18:18:34 | 0:01:43 | 5653 | failed install-dependencies |
| 10.15 | 28089 | 2020-04-09 18:11:28 | 0:28:43 | 4440 | build successful |
| 10.9 | 116791 | 2020-04-09 18:03:04 | 0:32:10 | 33219 | build successful |
| 10.14 | 57521 | 2020-04-09 17:56:04 | 0:30:35 | 14895 | build successful |
| 10.10 | 114111 | 2020-04-09 17:55:30 | 0:32:36 | 33276 | build successful |
| 10.7 | 21308 | 2020-04-09 17:52:29 | 0:35:55 | 5649 | build successful |
| 10.12 | 118140 | 2020-04-09 17:52:26 | 0:29:36 | 32210 | build successful |
| 10.13 | 81680 | 2020-04-09 17:47:25 | 0:25:41 | 24168 | build successful |
| 10.11 | 111792 | 2020-04-09 17:44:58 | 0:25:01 | 33212 | build successful |
| 10.6 | 11639 | 2020-04-09 17:08:19 | 0:01:40 | 5652 | failed install-dependencies |
| 10.7 | 21244 | 2020-04-08 3:41:20 | 0:00:37 | 5618 | failed install-dependencies |
| 10.6.x86_64 | 24034 | 2020-04-07 23:43:56 | 0:01:12 | 5623 | failed install-dependencies |
| 10.15 | 28026 | 2020-04-07 23:39:34 | 0:01:07 | 4410 | failed install-dependencies |
| 10.14 | 57458 | 2020-04-07 23:38:27 | 0:00:56 | 14865 | failed install-dependencies |
| 10.11 | 111730 | 2020-04-07 23:38:08 | 0:00:38 | 33182 | failed install-dependencies |
| 10.12 | 118078 | 2020-04-07 23:38:03 | 0:00:54 | 32180 | failed install-dependencies |
| 10.13 | 81618 | 2020-04-07 23:37:49 | 0:00:46 | 24138 | failed install-dependencies |
| 10.10 | 114049 | 2020-04-07 23:37:49 | 0:00:40 | 33246 | failed install-dependencies |
| 10.9 | 116728 | 2020-04-07 23:36:35 | 0:00:35 | 33189 | failed install-dependencies |
| 10.6 | 11604 | 2020-04-07 23:36:35 | 0:01:37 | 5622 | failed install-dependencies |
| 10.7 | 20758 | 2020-04-03 11:43:06 | 0:20:51 | 5396 | build successful |
| 10.6 | 11350 | 2020-04-03 8:32:11 | 0:01:38 | 5406 | failed install-dependencies |
| 10.6 | 10994 | 2020-04-01 12:28:51 | 0:01:43 | 5030 | failed install-dependencies |
| 10.6.x86_64 | 23563 | 2020-03-30 23:27:01 | 0:01:40 | 5406 | failed install-dependencies |
| 10.15 | 27612 | 2020-03-30 23:20:31 | 0:14:56 | 4195 | build successful |
| 10.9 | 116298 | 2020-03-30 23:16:01 | 0:14:03 | 32973 | build successful |
| 10.11 | 111304 | 2020-03-30 23:10:11 | 0:13:22 | 32964 | build successful |
| 10.10 | 113620 | 2020-03-30 23:08:39 | 0:16:11 | 33028 | build successful |
| 10.14 | 57046 | 2020-03-30 23:06:45 | 0:14:17 | 14649 | build successful |
| 10.12 | 117656 | 2020-03-30 23:02:25 | 0:15:50 | 31963 | build successful |
| 10.13 | 81195 | 2020-03-30 22:57:59 | 0:14:20 | 23921 | build successful |
| 10.6 | 10366 | 2020-03-28 6:43:10 | 0:01:39 | 4620 | failed install-dependencies |
| 10.13 | 79319 | 2020-03-22 15:09:48 | 0:15:22 | 23538 | build successful |
| 10.7 | 18914 | 2020-03-21 17:49:54 | 0:19:25 | 4599 | build successful |
| 10.11 | 108725 | 2020-03-19 5:13:54 | 0:14:08 | 31910 | build successful |
| 10.6.x86_64 | 22367 | 2020-03-19 4:38:56 | 0:01:36 | 5033 | failed install-dependencies |
| 10.15 | 26521 | 2020-03-19 4:31:58 | 0:15:05 | 3820 | build successful |
| 10.9 | 115201 | 2020-03-19 4:27:07 | 0:12:56 | 32599 | build successful |
| 10.10 | 112525 | 2020-03-19 4:17:07 | 0:14:40 | 32654 | build successful |
| 10.12 | 116532 | 2020-03-19 4:14:56 | 0:13:46 | 31588 | build successful |
| 10.14 | 55957 | 2020-03-19 3:39:20 | 0:53:58 | 14275 | build successful |
| 10.6 | 10033 | 2020-03-19 0:13:45 | 0:02:30 | 4349 | failed install-dependencies |
| 10.6.x86_64 | 20854 | 2020-02-27 0:16:36 | 0:01:35 | 4622 | failed install-dependencies |
| 10.15 | 25256 | 2020-02-27 0:09:08 | 0:14:35 | 3411 | build successful |
| 10.9 | 113919 | 2020-02-27 0:00:04 | 0:15:08 | 32189 | build successful |
| 10.14 | 54693 | 2020-02-26 23:58:21 | 0:15:14 | 13866 | build successful |
| 10.10 | 111245 | 2020-02-26 23:51:57 | 0:14:16 | 32245 | build successful |
| 10.12 | 115240 | 2020-02-26 23:50:47 | 0:13:45 | 31179 | build successful |
| 10.14 | 53928 | 2020-02-17 23:50:55 | 0:15:57 | 13595 | build successful |
| 10.9 | 113149 | 2020-02-17 23:47:46 | 0:15:48 | 31917 | build successful |
| 10.12 | 114474 | 2020-02-17 23:44:49 | 0:12:54 | 30908 | build successful |
| 10.6.x86_64 | 20056 | 2020-02-17 23:14:30 | 0:01:35 | 4351 | failed install-dependencies |
| 10.15 | 24483 | 2020-02-17 23:13:31 | 0:57:02 | 3140 | build successful |
| 10.10 | 110482 | 2020-02-17 23:11:04 | 0:46:13 | 31974 | build successful |
| 10.11 | 108453 | 2020-02-13 9:26:24 | 0:12:04 | 31756 | build successful |
| 10.15 | 24093 | 2020-02-13 8:49:12 | 0:12:04 | 2988 | build successful |
| 10.13 | 78436 | 2020-02-12 20:55:14 | 0:13:58 | 22716 | build successful |
| 10.14 | 53518 | 2020-02-12 17:35:10 | 0:12:16 | 13443 | build successful |
| 10.12 | 114049 | 2020-02-11 18:41:40 | 0:11:44 | 30756 | build successful |
| 10.8 | 15898 | 2020-02-11 17:41:23 | 0:58:25 | 4171 | build successful |
| 10.10 | 110066 | 2020-02-11 17:29:36 | 0:13:39 | 31822 | build successful |
| 10.9 | 112730 | 2020-02-11 17:29:03 | 0:25:53 | 31765 | build successful |
| 10.7 | 17826 | 2020-02-11 17:04:16 | 0:24:53 | 4176 | build successful |
| 10.6 | 9851 | 2020-02-11 16:57:30 | 0:02:15 | 4196 | failed install-dependencies |
| 10.6.x86_64 | 19627 | 2020-02-11 16:36:22 | 0:02:03 | 4199 | failed install-dependencies |
| 10.6.x86_64 | 17696 | 2020-01-31 6:29:00 | 0:01:16 | 3905 | failed install-dependencies |
| 10.11 | 107585 | 2020-01-31 5:50:09 | 0:12:47 | 31482 | build successful |
| 10.15 | 22915 | 2020-01-31 5:45:07 | 0:12:55 | 2712 | build successful |
| 10.13 | 77404 | 2020-01-31 5:32:45 | 0:16:23 | 22441 | build successful |
| 10.14 | 52416 | 2020-01-31 5:31:11 | 0:13:02 | 13168 | build successful |
| 10.7 | 16253 | 2020-01-31 5:28:22 | 0:24:38 | 3884 | build successful |
| 10.8 | 14717 | 2020-01-31 5:20:10 | 0:39:19 | 3880 | build successful |
| 10.12 | 112694 | 2020-01-31 5:13:44 | 0:13:03 | 30463 | build successful |
| 10.10 | 109130 | 2020-01-31 5:03:10 | 0:15:00 | 31530 | build successful |
| 10.9 | 111753 | 2020-01-31 4:59:05 | 0:16:31 | 31474 | build successful |
| 10.6 | 9035 | 2020-01-31 4:37:54 | 0:01:48 | 3904 | failed install-dependencies |
| 10.6 | 8425 | 2020-01-24 10:08:32 | 0:02:18 | 3681 | failed install-dependencies |
| 10.8 | 13766 | 2020-01-24 6:33:43 | 0:48:20 | 3653 | build successful |
| 10.6.x86_64 | 16445 | 2020-01-24 5:08:43 | 0:01:50 | 3666 | failed install-dependencies |
| 10.11 | 106741 | 2020-01-24 0:58:49 | 0:15:58 | 31260 | build successful |
| 10.15 | 21997 | 2020-01-23 21:48:41 | 0:16:24 | 2487 | build successful |
| 10.13 | 76565 | 2020-01-23 21:45:56 | 0:15:50 | 22217 | build successful |
| 10.9 | 110882 | 2020-01-23 21:43:52 | 0:16:38 | 31251 | build successful |
| 10.14 | 51528 | 2020-01-23 21:43:12 | 0:15:28 | 12942 | build successful |
| 10.10 | 108275 | 2020-01-23 21:41:01 | 0:18:15 | 31308 | build successful |
| 10.12 | 111845 | 2020-01-23 21:39:20 | 0:16:13 | 30240 | build successful |
| 10.7 | 15243 | 2020-01-23 21:35:43 | 0:45:09 | 3657 | build successful |
| 10.14 | 51314 | 2020-01-21 22:23:22 | 0:11:56 | 12885 | build successful |
| 10.11 | 106545 | 2020-01-21 19:53:23 | 0:18:32 | 31205 | build successful |
| 10.15 | 21794 | 2020-01-21 19:52:09 | 0:13:38 | 2431 | build successful |
| 10.8 | 13515 | 2020-01-21 19:51:58 | 0:42:07 | 3598 | build successful |
| 10.13 | 76372 | 2020-01-21 19:48:03 | 0:16:19 | 22162 | build successful |
| 10.10 | 108073 | 2020-01-21 19:45:59 | 0:18:56 | 31253 | build successful |
| 10.6.x86_64 | 16149 | 2020-01-21 19:45:10 | 0:02:04 | 3610 | failed install-dependencies |
| 10.12 | 111650 | 2020-01-21 19:45:06 | 0:16:18 | 30185 | build successful |