everparse (devel/everparse) Updated: 1 year, 12 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 5 of 6 | Showing build(s) 401 to 500
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |
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 |