everparse (devel/everparse) Updated: 2 years 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 GitHub563 build(s) found
Page 2 of 6 | Showing build(s) 101 to 200
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
10.7 | 83366 | 2022-01-07 12:36:32 | 0:00:37 | 26317 | failed install-dependencies |
12.arm64 | 26966 | 2021-11-24 3:52:46 | 0:00:25 | 1519 | failed install-dependencies |
10.15 | 70237 | 2021-09-04 6:16:28 | 3:49:45 | 19609 | failed install-dependencies |
11 | 45074 | 2021-09-04 0:14:51 | 0:36:41 | 9423 | build successful |
10.14 | 98478 | 2021-09-03 15:38:24 | 0:01:07 | 30616 | failed install-dependencies |
10.13 | 121947 | 2021-09-03 12:16:35 | 0:01:04 | 39906 | failed install-dependencies |
10.6 | 39123 | 2021-09-03 5:26:38 | 0:02:09 | 21430 | failed install-dependencies |
10.9 | 158264 | 2021-09-03 4:36:45 | 0:01:06 | 48715 | failed install-dependencies |
10.8 | 59334 | 2021-09-03 3:56:37 | 0:01:24 | 19296 | failed install-dependencies |
10.12 | 157568 | 2021-09-03 3:04:07 | 0:01:54 | 47954 | failed install-dependencies |
10.11 | 152651 | 2021-09-02 22:47:08 | 0:01:06 | 48966 | failed install-dependencies |
10.6.x86_64 | 71712 | 2021-09-02 22:07:34 | 0:03:05 | 21401 | failed install-dependencies |
10.10 | 153984 | 2021-09-02 22:03:59 | 0:01:12 | 49029 | failed install-dependencies |
10.7 | 66907 | 2021-09-02 21:37:16 | 0:02:10 | 21437 | failed install-dependencies |
11.arm64 | 28762 | 2021-09-02 21:28:41 | 0:00:23 | 9610 | failed install-dependencies |
10.15 | 68998 | 2021-08-26 11:14:01 | 3:01:00 | 19396 | failed install-dependencies |
10.15 | 68977 | 2021-08-26 3:36:56 | 3:21:24 | 19383 | failed install-dependencies |
11 | 43688 | 2021-08-26 3:20:27 | 0:34:19 | 9210 | build successful |
10.9 | 157453 | 2021-08-25 23:56:06 | 0:01:49 | 48502 | failed install-dependencies |
10.11 | 151820 | 2021-08-25 23:12:35 | 0:01:36 | 48753 | failed install-dependencies |
10.10 | 153194 | 2021-08-25 22:51:00 | 0:01:10 | 48816 | failed install-dependencies |
10.14 | 97616 | 2021-08-25 22:15:08 | 0:01:09 | 30403 | failed install-dependencies |
10.6 | 38642 | 2021-08-25 22:15:00 | 0:02:17 | 21216 | failed install-dependencies |
11 | 43663 | 2021-08-25 22:14:37 | 0:32:43 | 9197 | failed install-port |
10.6.x86_64 | 71006 | 2021-08-25 22:14:35 | 0:02:03 | 21187 | failed install-dependencies |
10.12 | 156734 | 2021-08-25 22:14:28 | 0:01:14 | 47741 | failed install-dependencies |
10.13 | 121109 | 2021-08-25 22:14:20 | 0:01:04 | 39693 | failed install-dependencies |
10.8 | 58557 | 2021-08-25 22:14:13 | 0:01:30 | 19083 | failed install-dependencies |
10.7 | 66106 | 2021-08-25 22:14:06 | 0:01:29 | 21224 | failed install-dependencies |
11.arm64 | 28243 | 2021-08-25 22:13:37 | 0:00:22 | 9397 | failed install-dependencies |
10.14 | 97597 | 2021-08-25 17:27:03 | 0:01:43 | 30390 | failed install-dependencies |
10.12 | 156693 | 2021-08-25 17:25:48 | 0:01:12 | 47728 | failed install-dependencies |
10.13 | 121086 | 2021-08-25 17:20:24 | 0:01:02 | 39680 | failed install-dependencies |
11.arm64 | 28204 | 2021-08-25 16:55:50 | 0:00:22 | 9384 | failed install-dependencies |
10.6 | 38611 | 2021-08-25 16:49:11 | 0:02:14 | 21203 | failed install-dependencies |
10.6.x86_64 | 70957 | 2021-08-25 16:47:33 | 0:02:12 | 21174 | failed install-dependencies |
10.11 | 151774 | 2021-08-25 16:47:18 | 0:01:48 | 48740 | failed install-dependencies |
10.10 | 153148 | 2021-08-25 16:47:16 | 0:02:05 | 48803 | failed install-dependencies |
10.9 | 157397 | 2021-08-25 16:47:16 | 0:01:59 | 48489 | failed install-dependencies |
10.8 | 58501 | 2021-08-25 16:45:02 | 0:01:46 | 19070 | failed install-dependencies |
10.7 | 66040 | 2021-08-25 16:44:58 | 0:01:46 | 21211 | failed install-dependencies |
10.6 | 32364 | 2021-05-31 15:32:09 | 0:02:15 | 18525 | failed install-dependencies |
10.6.x86_64 | 58031 | 2021-05-31 15:30:48 | 0:01:58 | 18494 | failed install-dependencies |
11.arm64 | 21339 | 2021-05-31 15:16:53 | 0:00:22 | 6699 | failed install-dependencies |
10.14 | 88082 | 2021-05-31 15:15:27 | 0:01:12 | 27721 | failed install-dependencies |
10.11 | 142837 | 2021-05-31 15:15:05 | 0:01:08 | 46068 | failed install-dependencies |
10.13 | 112395 | 2021-05-31 15:14:31 | 0:01:04 | 37013 | failed install-dependencies |
10.8 | 48017 | 2021-05-31 15:13:44 | 0:01:33 | 16394 | failed install-dependencies |
10.9 | 148412 | 2021-05-31 15:13:20 | 0:01:15 | 45814 | failed install-dependencies |
10.7 | 54458 | 2021-05-31 15:12:54 | 0:01:34 | 18533 | failed install-dependencies |
10.12 | 147923 | 2021-05-31 15:12:11 | 0:01:12 | 45060 | failed install-dependencies |
10.10 | 144343 | 2021-05-31 15:11:01 | 0:01:13 | 46134 | failed install-dependencies |
10.13 | 111086 | 2021-05-18 2:08:28 | 0:00:52 | 36393 | failed install-dependencies |
10.13 | 110975 | 2021-05-15 2:53:53 | 0:01:01 | 36335 | failed install-dependencies |
10.10 | 143053 | 2021-05-15 2:45:19 | 0:01:10 | 45514 | failed install-dependencies |
10.9 | 147062 | 2021-05-15 2:42:57 | 0:00:57 | 45193 | failed install-dependencies |
10.15 | 57761 | 2021-05-14 23:04:03 | 0:49:18 | 16040 | build successful |
10.7 | 52872 | 2021-05-14 19:56:06 | 0:02:00 | 17912 | failed install-dependencies |
10.9 | 146969 | 2021-05-14 17:45:16 | 0:01:00 | 45135 | failed install-dependencies |
10.10 | 142956 | 2021-05-14 16:08:55 | 0:49:25 | 45456 | failed install-dependencies |
10.14 | 86705 | 2021-05-14 8:27:44 | 0:01:12 | 27101 | failed install-dependencies |
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 |