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 4 of 7 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.7 | 31033 | 2020-09-21 1:25:58 | 0:10:47 | 10323 | failed install-port |
| 10.15 | 38736 | 2020-09-21 1:24:36 | 0:28:17 | 9122 | build successful |
| 10.12 | 127241 | 2020-09-21 1:19:08 | 0:29:10 | 36883 | build successful |
| 10.9 | 127135 | 2020-09-21 1:16:19 | 0:27:14 | 37893 | build successful |
| 10.6 | 17881 | 2020-09-21 0:44:32 | 0:01:35 | 10328 | failed install-dependencies |
| 10.12 | 127065 | 2020-09-17 21:25:03 | 0:29:30 | 36796 | build successful |
| 10.14 | 67560 | 2020-09-17 21:11:25 | 0:33:12 | 19482 | build successful |
| 10.11 | 121778 | 2020-09-17 21:07:58 | 0:31:46 | 37799 | build successful |
| 10.7 | 30846 | 2020-09-17 21:03:15 | 0:14:05 | 10236 | failed install-port |
| 10.8 | 25782 | 2020-09-17 21:02:56 | 0:08:55 | 8101 | failed install-port |
| 10.10 | 123405 | 2020-09-17 21:01:34 | 0:32:05 | 37854 | build successful |
| 10.13 | 91642 | 2020-09-17 20:50:32 | 0:34:03 | 28756 | build successful |
| 10.15 | 38559 | 2020-09-17 20:32:11 | 0:25:44 | 9035 | build successful |
| 10.9 | 126956 | 2020-09-17 20:23:49 | 0:26:26 | 37806 | build successful |
| 10.6.x86_64 | 34688 | 2020-09-17 19:53:16 | 0:19:26 | 10248 | failed install-port |
| 10.6 | 17771 | 2020-09-17 19:14:30 | 0:01:28 | 10241 | failed install-dependencies |
| 10.14 | 67093 | 2020-09-12 0:16:01 | 0:26:12 | 19249 | build successful |
| 10.11 | 121354 | 2020-09-10 20:57:56 | 0:25:50 | 37569 | build successful |
| 10.6 | 17502 | 2020-09-10 6:42:45 | 0:01:25 | 10011 | failed install-dependencies |
| 10.6.x86_64 | 34250 | 2020-09-10 4:27:57 | 0:13:09 | 10018 | failed install-port |
| 10.10 | 122980 | 2020-09-10 0:49:13 | 0:28:16 | 37624 | build successful |
| 10.8 | 25348 | 2020-09-10 0:35:27 | 0:07:58 | 7871 | failed install-port |
| 10.7 | 30398 | 2020-09-10 0:12:42 | 0:13:21 | 10006 | failed install-port |
| 10.12 | 126642 | 2020-09-10 0:08:33 | 0:30:26 | 36565 | build successful |
| 10.15 | 38127 | 2020-09-10 0:06:45 | 0:27:45 | 8802 | build successful |
| 10.9 | 126528 | 2020-09-10 0:01:52 | 0:27:55 | 37576 | build successful |
| 10.13 | 91212 | 2020-09-09 23:34:57 | 1:09:50 | 28525 | build successful |
| 10.6.x86_64 | 33149 | 2020-08-26 0:58:21 | 0:15:24 | 9568 | failed install-port |
| 10.14 | 66135 | 2020-08-26 0:56:43 | 0:35:00 | 18801 | build successful |
| 10.8 | 24328 | 2020-08-26 0:54:36 | 0:13:20 | 7423 | failed install-port |
| 10.10 | 121994 | 2020-08-26 0:54:11 | 0:34:57 | 37177 | build successful |
| 10.11 | 120386 | 2020-08-26 0:54:00 | 0:35:49 | 37121 | build successful |
| 10.13 | 90261 | 2020-08-26 0:53:22 | 0:35:00 | 28078 | build successful |
| 10.15 | 37165 | 2020-08-26 0:51:04 | 0:27:47 | 8354 | build successful |
| 10.7 | 29343 | 2020-08-26 0:47:59 | 0:09:30 | 9555 | failed install-port |
| 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 |