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 3 of 7 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11 | 30501 | 2021-05-14 5:32:39 | 0:37:40 | 5903 | build successful |
| 10.7 | 52773 | 2021-05-14 1:45:39 | 0:01:29 | 17854 | failed install-dependencies |
| 10.8 | 46504 | 2021-05-14 0:30:02 | 0:01:32 | 15773 | failed install-dependencies |
| 10.11 | 141517 | 2021-05-13 20:36:31 | 0:00:57 | 45448 | failed install-dependencies |
| 10.6.x86_64 | 56432 | 2021-05-13 15:40:17 | 0:02:33 | 17869 | failed install-dependencies |
| 10.6 | 31341 | 2021-05-13 15:26:13 | 0:03:04 | 17901 | failed install-dependencies |
| 10.12 | 146585 | 2021-05-13 15:25:34 | 0:01:03 | 44440 | failed install-dependencies |
| 11.arm64 | 20315 | 2021-05-13 15:25:22 | 0:00:20 | 6062 | failed install-dependencies |
| 11 | 30413 | 2021-05-13 12:31:48 | 0:37:37 | 5845 | build successful |
| 10.14 | 86615 | 2021-05-13 11:49:45 | 0:01:14 | 27043 | failed install-dependencies |
| 10.8 | 46415 | 2021-05-13 7:17:22 | 0:02:16 | 15715 | failed install-dependencies |
| 10.11 | 141431 | 2021-05-13 4:43:59 | 0:00:57 | 45390 | failed install-dependencies |
| 10.6.x86_64 | 56334 | 2021-05-13 0:46:20 | 0:02:30 | 17811 | failed install-dependencies |
| 10.6 | 31288 | 2021-05-12 23:43:50 | 0:02:17 | 17843 | failed install-dependencies |
| 10.12 | 146480 | 2021-05-12 20:36:44 | 0:01:12 | 44382 | failed install-dependencies |
| 11.arm64 | 20264 | 2021-05-12 1:33:46 | 0:00:20 | 6004 | failed install-dependencies |
| 11.arm64 | 15414 | 2021-03-19 17:04:12 | 0:00:33 | 3916 | failed install-dependencies |
| 10.11 | 131136 | 2021-01-20 7:16:42 | 0:01:52 | 41657 | failed install-dependencies |
| 10.14 | 76731 | 2021-01-20 7:13:02 | 0:01:34 | 23309 | failed install-dependencies |
| 11 | 15753 | 2021-01-20 7:11:30 | 0:01:19 | 2097 | failed install-dependencies |
| 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 |