everparse (devel/everparse) Updated: 2 years, 10 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
602 build(s) found
Page 4 of 7 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.12 | 125688 | 2020-08-26 0:42:31 | 0:28:25 | 36118 | build successful |
| 10.9 | 125525 | 2020-08-26 0:42:31 | 0:26:51 | 37127 | build successful |
| 10.6 | 16720 | 2020-08-26 0:06:27 | 0:01:29 | 9561 | failed install-dependencies |
| 10.10 | 121766 | 2020-08-22 1:19:45 | 0:15:18 | 37046 | build successful |
| 10.14 | 65931 | 2020-08-22 1:17:37 | 0:16:41 | 18670 | build successful |
| 10.6.x86_64 | 32903 | 2020-08-22 1:17:37 | 0:13:51 | 9437 | failed install-port |
| 10.7 | 29097 | 2020-08-22 1:14:14 | 0:12:33 | 9424 | failed install-port |
| 10.11 | 120163 | 2020-08-22 1:13:55 | 0:16:45 | 36989 | build successful |
| 10.8 | 24092 | 2020-08-22 1:13:49 | 0:11:31 | 7292 | failed install-port |
| 10.13 | 90049 | 2020-08-22 1:13:11 | 0:17:42 | 27947 | build successful |
| 10.15 | 36960 | 2020-08-22 1:09:53 | 0:13:25 | 8223 | build successful |
| 10.9 | 125290 | 2020-08-22 1:03:59 | 0:11:20 | 36996 | build successful |
| 10.12 | 125474 | 2020-08-22 1:03:13 | 0:14:55 | 35987 | build successful |
| 10.6 | 16553 | 2020-08-22 0:30:46 | 0:01:27 | 9430 | failed install-dependencies |
| 10.6.x86_64 | 32670 | 2020-08-18 18:51:04 | 0:13:07 | 9330 | failed install-port |
| 10.10 | 121542 | 2020-08-18 18:51:00 | 0:14:42 | 36939 | build successful |
| 10.14 | 65710 | 2020-08-18 18:49:11 | 0:17:11 | 18563 | build successful |
| 10.11 | 119939 | 2020-08-18 18:46:57 | 0:16:42 | 36882 | build successful |
| 10.8 | 23872 | 2020-08-18 18:45:58 | 0:11:39 | 7185 | failed install-port |
| 10.13 | 89822 | 2020-08-18 18:44:47 | 0:17:13 | 27836 | build successful |
| 10.7 | 28868 | 2020-08-18 18:44:15 | 0:11:52 | 9317 | failed install-port |
| 10.15 | 36736 | 2020-08-18 18:43:14 | 0:13:10 | 8116 | build successful |
| 10.9 | 125068 | 2020-08-18 18:37:11 | 0:12:27 | 36889 | build successful |
| 10.12 | 125252 | 2020-08-18 18:35:43 | 0:14:59 | 35880 | build successful |
| 10.6 | 16379 | 2020-08-18 18:03:47 | 0:01:26 | 9323 | failed install-dependencies |
| 10.6.x86_64 | 32264 | 2020-08-12 18:08:38 | 0:12:52 | 9126 | failed install-port |
| 10.14 | 65363 | 2020-08-12 18:06:23 | 0:15:31 | 18359 | build successful |
| 10.10 | 121175 | 2020-08-12 18:05:41 | 0:17:20 | 36735 | build successful |
| 10.13 | 89473 | 2020-08-12 18:04:25 | 0:17:45 | 27631 | build successful |
| 10.11 | 119587 | 2020-08-12 18:03:42 | 0:15:29 | 36678 | build successful |
| 10.7 | 28478 | 2020-08-12 18:02:33 | 0:12:01 | 9113 | failed install-port |
| 10.8 | 23497 | 2020-08-12 17:59:32 | 0:08:54 | 6981 | failed install-port |
| 10.15 | 36377 | 2020-08-12 17:58:12 | 0:12:55 | 7912 | build successful |
| 10.9 | 124701 | 2020-08-12 17:51:05 | 0:12:10 | 36685 | build successful |
| 10.12 | 124905 | 2020-08-12 17:50:04 | 0:15:11 | 35676 | build successful |
| 10.6 | 16160 | 2020-08-12 17:22:45 | 0:01:38 | 9119 | failed install-dependencies |
| 10.14 | 64956 | 2020-08-07 3:25:24 | 0:17:26 | 18231 | build successful |
| 10.7 | 28085 | 2020-08-07 3:24:38 | 0:13:39 | 8985 | failed install-port |
| 10.10 | 120813 | 2020-08-07 3:24:10 | 0:18:18 | 36607 | build successful |
| 10.8 | 23121 | 2020-08-07 3:23:24 | 0:09:38 | 6853 | failed install-port |
| 10.6.x86_64 | 31891 | 2020-08-07 3:21:41 | 0:14:43 | 8998 | failed install-port |
| 10.13 | 89082 | 2020-08-07 3:20:43 | 0:17:48 | 27503 | build successful |
| 10.11 | 119203 | 2020-08-07 3:13:54 | 0:13:03 | 36550 | build successful |
| 10.15 | 35743 | 2020-08-07 3:11:35 | 0:13:23 | 7784 | build successful |
| 10.9 | 124314 | 2020-08-07 3:04:07 | 0:12:50 | 36557 | build successful |
| 10.12 | 124520 | 2020-08-07 3:03:29 | 0:18:36 | 35548 | build successful |
| 10.6 | 15908 | 2020-08-07 2:41:35 | 0:01:28 | 8991 | failed install-dependencies |
| 10.6.x86_64 | 31726 | 2020-08-05 5:40:38 | 0:31:34 | 8923 | build successful |
| 10.7 | 27921 | 2020-08-05 5:37:33 | 0:26:09 | 8910 | build successful |
| 10.14 | 64799 | 2020-08-05 5:35:22 | 0:22:16 | 18156 | build successful |
| 10.15 | 35585 | 2020-08-05 5:35:01 | 0:15:05 | 7709 | build successful |
| 10.13 | 88923 | 2020-08-05 5:34:51 | 0:22:03 | 27428 | build successful |
| 10.8 | 22959 | 2020-08-05 5:34:51 | 0:28:56 | 6778 | build successful |
| 10.12 | 124361 | 2020-08-05 5:34:26 | 0:15:36 | 35473 | build successful |
| 10.10 | 120653 | 2020-08-05 5:32:59 | 0:18:54 | 36532 | build successful |
| 10.9 | 124153 | 2020-08-05 5:32:31 | 0:12:56 | 36482 | build successful |
| 10.6 | 15803 | 2020-08-05 5:29:27 | 0:01:33 | 8916 | failed install-dependencies |
| 10.11 | 119043 | 2020-08-05 5:28:18 | 0:28:22 | 36475 | build successful |
| 10.6.x86_64 | 31706 | 2020-08-04 18:33:18 | 0:01:10 | 8908 | failed install-dependencies |
| 10.14 | 64781 | 2020-08-04 18:28:05 | 0:19:56 | 18141 | build successful |
| 10.10 | 120633 | 2020-08-04 18:25:06 | 0:18:06 | 36517 | build successful |
| 10.8 | 22939 | 2020-08-04 18:24:32 | 0:28:46 | 6763 | build successful |
| 10.11 | 119024 | 2020-08-04 18:23:58 | 0:18:16 | 36460 | build successful |
| 10.7 | 27901 | 2020-08-04 18:21:22 | 0:26:44 | 8895 | build successful |
| 10.15 | 35567 | 2020-08-04 18:17:29 | 0:13:12 | 7694 | build successful |
| 10.12 | 124343 | 2020-08-04 18:15:07 | 0:15:27 | 35458 | build successful |
| 10.9 | 124133 | 2020-08-04 18:11:44 | 0:11:26 | 36467 | build successful |
| 10.6 | 15786 | 2020-08-04 17:57:34 | 0:01:39 | 8901 | failed install-dependencies |
| 10.13 | 88903 | 2020-08-04 17:41:18 | 0:53:41 | 27413 | build successful |
| 10.6.x86_64 | 31621 | 2020-08-03 17:31:05 | 0:00:58 | 8872 | failed install-dependencies |
| 10.10 | 120551 | 2020-08-03 17:27:52 | 0:20:02 | 36481 | build successful |
| 10.11 | 118943 | 2020-08-03 17:27:17 | 0:17:02 | 36424 | build successful |
| 10.8 | 22856 | 2020-08-03 17:27:17 | 0:25:40 | 6727 | build successful |
| 10.13 | 88825 | 2020-08-03 17:25:06 | 0:20:50 | 27377 | build successful |
| 10.7 | 27818 | 2020-08-03 17:23:12 | 0:28:48 | 8859 | build successful |
| 10.15 | 35487 | 2020-08-03 17:21:36 | 0:13:00 | 7658 | build successful |
| 10.9 | 124050 | 2020-08-03 17:15:42 | 0:12:14 | 36431 | build successful |
| 10.12 | 124263 | 2020-08-03 17:14:34 | 0:14:18 | 35422 | build successful |
| 10.6 | 15729 | 2020-08-03 16:45:09 | 0:01:34 | 8865 | failed install-dependencies |
| 10.14 | 64699 | 2020-08-03 16:42:48 | 0:56:50 | 18105 | build successful |
| 10.14 | 64333 | 2020-07-28 23:42:21 | 0:31:54 | 17959 | build successful |
| 10.13 | 88456 | 2020-07-28 23:40:23 | 0:29:21 | 27231 | build successful |
| 10.11 | 118576 | 2020-07-28 23:40:18 | 0:30:34 | 36278 | build successful |
| 10.6.x86_64 | 31233 | 2020-07-28 23:39:39 | 0:00:57 | 8726 | failed install-dependencies |
| 10.8 | 22484 | 2020-07-28 23:39:29 | 0:33:34 | 6581 | build successful |
| 10.15 | 35118 | 2020-07-28 23:38:55 | 0:18:14 | 7512 | build successful |
| 10.10 | 120183 | 2020-07-28 23:37:30 | 0:31:00 | 36335 | build successful |
| 10.7 | 27445 | 2020-07-28 23:33:19 | 0:32:10 | 8713 | build successful |
| 10.9 | 123679 | 2020-07-28 23:22:35 | 0:18:21 | 36285 | build successful |
| 10.12 | 123895 | 2020-07-28 23:20:44 | 0:18:54 | 35276 | build successful |
| 10.6 | 15542 | 2020-07-28 22:50:29 | 0:01:27 | 8719 | failed install-dependencies |
| 10.6.x86_64 | 30902 | 2020-07-22 17:18:32 | 0:01:13 | 8582 | failed install-dependencies |
| 10.14 | 64013 | 2020-07-22 17:16:49 | 0:31:18 | 17815 | build successful |
| 10.8 | 22161 | 2020-07-22 17:14:46 | 0:33:56 | 6437 | build successful |
| 10.11 | 118251 | 2020-07-22 17:14:28 | 0:30:45 | 36132 | build successful |
| 10.10 | 119857 | 2020-07-22 17:14:17 | 0:31:18 | 36190 | build successful |
| 10.13 | 88135 | 2020-07-22 17:13:04 | 0:31:32 | 27087 | build successful |
| 10.15 | 34798 | 2020-07-22 17:09:37 | 0:20:18 | 7368 | build successful |
| 10.7 | 27114 | 2020-07-22 17:09:05 | 0:32:34 | 8569 | build successful |
| 10.9 | 123361 | 2020-07-22 17:00:39 | 0:19:37 | 36141 | build successful |