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 4 of 6 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 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 |