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 5 of 7 | Showing build(s) 401 to 500
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.12 | 123574 | 2020-07-22 16:56:40 | 0:19:04 | 35132 | build successful |
| 10.6 | 15361 | 2020-07-22 16:30:27 | 0:01:29 | 8575 | failed install-dependencies |
| 10.12 | 123284 | 2020-07-18 14:38:55 | 0:23:05 | 35007 | build successful |
| 10.14 | 63725 | 2020-07-18 1:36:53 | 0:34:36 | 17690 | build successful |
| 10.6.x86_64 | 30588 | 2020-07-18 1:36:37 | 0:01:11 | 8457 | failed install-dependencies |
| 10.13 | 87842 | 2020-07-18 1:35:57 | 0:31:09 | 26962 | build successful |
| 10.8 | 21849 | 2020-07-18 1:34:28 | 0:36:36 | 6312 | build successful |
| 10.10 | 119561 | 2020-07-18 1:34:13 | 0:31:06 | 36065 | build successful |
| 10.11 | 117935 | 2020-07-18 1:33:19 | 0:31:28 | 36007 | build successful |
| 10.7 | 26799 | 2020-07-18 1:27:05 | 0:31:21 | 8444 | build successful |
| 10.15 | 34507 | 2020-07-18 1:27:05 | 0:19:52 | 7243 | build successful |
| 10.9 | 123057 | 2020-07-18 1:17:30 | 0:20:49 | 36016 | build successful |
| 10.6 | 15141 | 2020-07-18 0:42:54 | 0:01:46 | 8450 | failed install-dependencies |
| 10.6 | 14723 | 2020-07-07 21:13:17 | 0:01:25 | 8164 | failed install-dependencies |
| 10.12 | 121079 | 2020-07-07 6:54:55 | 0:21:28 | 33589 | build successful |
| 10.11 | 117200 | 2020-07-07 1:53:10 | 0:23:01 | 35722 | build successful |
| 10.14 | 62997 | 2020-07-07 1:38:23 | 0:25:22 | 17405 | build successful |
| 10.8 | 21111 | 2020-07-06 23:44:34 | 0:54:47 | 6026 | build successful |
| 10.13 | 87105 | 2020-07-06 23:40:42 | 0:25:56 | 26677 | build successful |
| 10.10 | 118820 | 2020-07-06 23:39:55 | 0:26:01 | 35780 | build successful |
| 10.9 | 122312 | 2020-07-06 23:33:31 | 0:22:17 | 35731 | build successful |
| 10.15 | 33768 | 2020-07-06 22:55:33 | 1:00:28 | 6958 | build successful |
| 10.7 | 26023 | 2020-07-06 21:30:59 | 0:37:14 | 8158 | build successful |
| 10.6.x86_64 | 29838 | 2020-07-06 20:48:44 | 0:01:30 | 8171 | failed install-dependencies |
| 10.8 | 20346 | 2020-06-30 18:36:42 | 0:41:47 | 5558 | build successful |
| 10.7 | 24358 | 2020-06-26 15:51:37 | 0:33:43 | 7026 | build successful |
| 10.14 | 62244 | 2020-06-23 23:50:02 | 0:39:02 | 16938 | build successful |
| 10.11 | 116432 | 2020-06-23 23:44:05 | 0:38:17 | 35255 | build successful |
| 10.6.x86_64 | 28967 | 2020-06-23 23:44:03 | 0:01:16 | 7703 | failed install-dependencies |
| 10.13 | 86357 | 2020-06-23 23:41:13 | 0:39:34 | 26210 | build successful |
| 10.10 | 118023 | 2020-06-23 23:39:32 | 0:39:53 | 35312 | build successful |
| 10.15 | 33022 | 2020-06-23 23:36:09 | 0:28:46 | 6489 | build successful |
| 10.9 | 121507 | 2020-06-23 23:28:28 | 0:29:45 | 35264 | build successful |
| 10.6 | 14226 | 2020-06-23 22:54:56 | 0:02:06 | 7695 | failed install-dependencies |
| 10.8 | 17049 | 2020-06-18 20:25:54 | 0:24:44 | 4892 | build successful |
| 10.10 | 117022 | 2020-06-18 7:13:32 | 0:21:11 | 34650 | build successful |
| 10.6.x86_64 | 28502 | 2020-06-16 0:29:46 | 0:01:28 | 7510 | failed install-dependencies |
| 10.14 | 61802 | 2020-06-16 0:22:38 | 0:25:26 | 16745 | build successful |
| 10.15 | 32579 | 2020-06-16 0:20:53 | 0:20:49 | 6296 | build successful |
| 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 |