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 5 of 6 | Showing build(s) 401 to 500
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.9 | 122312 | 2020-07-06 23:33:31 | 0:22:17 | 35731 | build successful |
| 10.15 | 33768 | 2020-07-06 22:55:33 | 1:00:28 | 6958 | build successful |
| 10.7 | 26023 | 2020-07-06 21:30:59 | 0:37:14 | 8158 | build successful |
| 10.6.x86_64 | 29838 | 2020-07-06 20:48:44 | 0:01:30 | 8171 | failed install-dependencies |
| 10.8 | 20346 | 2020-06-30 18:36:42 | 0:41:47 | 5558 | build successful |
| 10.7 | 24358 | 2020-06-26 15:51:37 | 0:33:43 | 7026 | build successful |
| 10.14 | 62244 | 2020-06-23 23:50:02 | 0:39:02 | 16938 | build successful |
| 10.11 | 116432 | 2020-06-23 23:44:05 | 0:38:17 | 35255 | build successful |
| 10.6.x86_64 | 28967 | 2020-06-23 23:44:03 | 0:01:16 | 7703 | failed install-dependencies |
| 10.13 | 86357 | 2020-06-23 23:41:13 | 0:39:34 | 26210 | build successful |
| 10.10 | 118023 | 2020-06-23 23:39:32 | 0:39:53 | 35312 | build successful |
| 10.15 | 33022 | 2020-06-23 23:36:09 | 0:28:46 | 6489 | build successful |
| 10.9 | 121507 | 2020-06-23 23:28:28 | 0:29:45 | 35264 | build successful |
| 10.6 | 14226 | 2020-06-23 22:54:56 | 0:02:06 | 7695 | failed install-dependencies |
| 10.8 | 17049 | 2020-06-18 20:25:54 | 0:24:44 | 4892 | build successful |
| 10.10 | 117022 | 2020-06-18 7:13:32 | 0:21:11 | 34650 | build successful |
| 10.6.x86_64 | 28502 | 2020-06-16 0:29:46 | 0:01:28 | 7510 | failed install-dependencies |
| 10.14 | 61802 | 2020-06-16 0:22:38 | 0:25:26 | 16745 | build successful |
| 10.15 | 32579 | 2020-06-16 0:20:53 | 0:20:49 | 6296 | build successful |
| 10.13 | 85919 | 2020-06-16 0:18:34 | 0:25:44 | 26017 | build successful |
| 10.11 | 115993 | 2020-06-16 0:18:10 | 0:24:50 | 35062 | build successful |
| 10.9 | 121060 | 2020-06-16 0:14:10 | 0:20:37 | 35071 | build successful |
| 10.6 | 13995 | 2020-06-15 23:39:01 | 0:01:39 | 7502 | failed install-dependencies |
| 10.6 | 13392 | 2020-05-28 6:35:10 | 0:01:35 | 7025 | failed install-dependencies |
| 10.6.x86_64 | 27356 | 2020-05-27 18:51:26 | 0:01:48 | 7027 | failed install-dependencies |
| 10.15 | 31494 | 2020-05-27 18:41:43 | 0:30:14 | 5823 | build successful |
| 10.14 | 60732 | 2020-05-27 18:34:52 | 0:30:49 | 16273 | build successful |
| 10.9 | 119966 | 2020-05-27 18:28:37 | 0:29:05 | 34598 | build successful |
| 10.13 | 84839 | 2020-05-27 18:19:30 | 0:23:54 | 25545 | build successful |
| 10.11 | 114912 | 2020-05-27 18:17:12 | 0:22:56 | 34587 | build successful |
| 10.6.x86_64 | 24727 | 2020-04-20 18:22:12 | 0:01:45 | 5869 | failed install-dependencies |
| 10.15 | 28681 | 2020-04-20 18:14:53 | 0:26:17 | 4656 | build successful |
| 10.9 | 117385 | 2020-04-20 18:03:53 | 0:30:29 | 33438 | build successful |
| 10.14 | 58109 | 2020-04-20 17:58:52 | 0:27:45 | 15111 | build successful |
| 10.10 | 114704 | 2020-04-20 17:58:46 | 0:29:56 | 33492 | build successful |
| 10.7 | 21912 | 2020-04-20 17:58:37 | 0:35:13 | 5868 | build successful |
| 10.12 | 118733 | 2020-04-20 17:54:00 | 0:26:28 | 32426 | build successful |
| 10.13 | 82262 | 2020-04-20 17:52:53 | 0:24:15 | 24384 | build successful |
| 10.11 | 112389 | 2020-04-20 17:51:42 | 0:23:49 | 33428 | build successful |
| 10.6 | 12039 | 2020-04-20 17:14:43 | 0:02:02 | 5868 | failed install-dependencies |
| 10.11 | 111848 | 2020-04-10 23:07:59 | 0:14:17 | 33232 | build successful |
| 10.12 | 118197 | 2020-04-10 23:07:49 | 0:16:16 | 32230 | build successful |
| 10.15 | 28146 | 2020-04-10 23:07:39 | 0:18:08 | 4460 | build successful |
| 10.14 | 57578 | 2020-04-10 23:07:28 | 0:15:20 | 14915 | build successful |
| 10.10 | 114166 | 2020-04-10 23:07:18 | 0:18:42 | 33296 | build successful |
| 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 |