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 3 of 6 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.12 | 136296 | 2021-01-20 7:09:15 | 0:00:53 | 40649 | failed install-dependencies |
| 10.13 | 101048 | 2021-01-20 7:07:50 | 0:01:18 | 32617 | failed install-dependencies |
| 10.10 | 132820 | 2021-01-20 7:06:15 | 0:01:35 | 41715 | failed install-dependencies |
| 10.15 | 48373 | 2021-01-20 6:56:02 | 0:01:05 | 12894 | failed install-dependencies |
| 11.arm64 | 9633 | 2021-01-20 6:16:55 | 0:00:02 | 2241 | failed install-dependencies |
| 10.6 | 24582 | 2021-01-20 6:04:57 | 0:02:10 | 14118 | failed install-dependencies |
| 10.8 | 35789 | 2021-01-20 6:00:37 | 0:01:28 | 11965 | failed install-dependencies |
| 10.6.x86_64 | 45747 | 2021-01-20 5:59:36 | 0:01:21 | 14130 | failed install-dependencies |
| 10.7 | 41369 | 2021-01-20 5:59:25 | 0:01:23 | 14108 | failed install-dependencies |
| 10.9 | 136692 | 2021-01-20 5:53:05 | 0:25:59 | 41666 | failed install-dependencies |
| 11 | 7015 | 2020-12-13 22:30:32 | 0:26:21 | 697 | build successful |
| 10.12 | 132513 | 2020-12-04 22:47:48 | 0:34:06 | 39260 | build successful |
| 10.10 | 128977 | 2020-12-04 21:19:03 | 0:24:22 | 40320 | build successful |
| 10.13 | 97158 | 2020-12-04 21:17:38 | 0:23:59 | 31218 | build successful |
| 10.14 | 73126 | 2020-12-04 20:35:24 | 0:29:44 | 21944 | build successful |
| 10.7 | 36902 | 2020-12-04 19:41:14 | 0:01:44 | 12704 | failed install-dependencies |
| 10.11 | 127305 | 2020-12-04 19:18:11 | 0:21:23 | 40264 | build successful |
| 10.15 | 44461 | 2020-12-04 19:13:36 | 0:19:04 | 11498 | build successful |
| 10.6 | 21496 | 2020-12-04 19:02:11 | 0:01:52 | 12708 | failed install-dependencies |
| 10.8 | 31663 | 2020-12-04 18:25:17 | 0:01:21 | 10568 | failed install-dependencies |
| 10.6.x86_64 | 40778 | 2020-12-04 18:24:34 | 0:01:17 | 12716 | failed install-dependencies |
| 10.9 | 132710 | 2020-12-04 18:24:25 | 0:00:59 | 40270 | failed install-dependencies |
| 11.arm64 | 4723 | 2020-12-04 18:21:50 | 0:00:02 | 785 | failed install-dependencies |
| 10.6.x86_64 | 39677 | 2020-11-28 6:09:53 | 0:01:10 | 12447 | failed install-dependencies |
| 10.8 | 30647 | 2020-11-28 5:56:24 | 0:09:14 | 10300 | failed install-port |
| 11.arm64 | 3576 | 2020-11-28 5:24:13 | 0:00:02 | 517 | failed install-dependencies |
| 10.7 | 35842 | 2020-11-28 5:21:10 | 0:09:53 | 12436 | failed install-port |
| 10.6 | 20778 | 2020-11-28 5:19:46 | 0:01:47 | 12439 | failed install-dependencies |
| 10.6.x86_64 | 35267 | 2020-09-28 20:29:45 | 0:15:08 | 10525 | failed install-port |
| 10.14 | 68105 | 2020-09-28 20:27:37 | 0:33:25 | 19759 | build successful |
| 10.10 | 123939 | 2020-09-28 20:27:21 | 0:35:49 | 38131 | build successful |
| 10.13 | 92179 | 2020-09-28 20:25:48 | 0:36:08 | 29033 | build successful |
| 10.8 | 26342 | 2020-09-28 20:25:31 | 0:13:17 | 8378 | failed install-port |
| 10.7 | 31420 | 2020-09-28 20:24:46 | 0:14:57 | 10514 | failed install-port |
| 10.11 | 122320 | 2020-09-28 20:24:35 | 0:32:44 | 38076 | build successful |
| 10.15 | 39097 | 2020-09-28 20:21:25 | 0:27:11 | 9312 | build successful |
| 10.12 | 127607 | 2020-09-28 20:14:22 | 0:30:22 | 37074 | build successful |
| 10.9 | 127506 | 2020-09-28 20:13:49 | 0:27:17 | 38083 | build successful |
| 10.6 | 18103 | 2020-09-28 19:41:19 | 0:01:28 | 10517 | failed install-dependencies |
| 10.6.x86_64 | 34873 | 2020-09-21 1:32:26 | 0:16:09 | 10335 | failed install-port |
| 10.14 | 67748 | 2020-09-21 1:31:46 | 0:31:36 | 19569 | build successful |
| 10.13 | 91818 | 2020-09-21 1:30:21 | 0:34:16 | 28843 | build successful |
| 10.10 | 123582 | 2020-09-21 1:29:43 | 0:34:05 | 37941 | build successful |
| 10.11 | 121955 | 2020-09-21 1:27:42 | 0:31:36 | 37886 | build successful |
| 10.8 | 25965 | 2020-09-21 1:26:18 | 0:10:44 | 8188 | failed install-port |
| 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 |