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 2 of 6 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 103942 | 2022-05-16 8:02:43 | 0:00:36 | 30849 | failed install-dependencies |
| 11.arm64 | 53237 | 2022-05-16 8:01:01 | 0:00:17 | 18877 | failed install-dependencies |
| 10.13 | 150579 | 2022-05-16 8:00:55 | 0:27:52 | 49278 | failed install-port |
| 10.7 | 98558 | 2022-05-16 8:00:11 | 0:00:38 | 30695 | failed install-dependencies |
| 10.12 | 186420 | 2022-05-16 8:00:10 | 0:13:45 | 57194 | failed install-port |
| 10.11 | 181746 | 2022-05-16 8:00:10 | 0:20:51 | 58385 | failed install-port |
| 12 | 11497 | 2022-01-07 18:43:03 | 0:18:25 | 3124 | failed install-port |
| 10.10 | 169831 | 2022-01-07 16:02:17 | 1:40:29 | 53904 | failed install-dependencies |
| 10.15 | 86665 | 2022-01-07 15:51:30 | 1:33:45 | 24678 | failed install-dependencies |
| 10.9 | 174557 | 2022-01-07 15:47:37 | 1:31:24 | 53590 | failed install-dependencies |
| 12.arm64 | 37337 | 2022-01-07 13:49:20 | 0:00:13 | 3309 | failed install-dependencies |
| 10.11 | 168502 | 2022-01-07 13:30:36 | 0:15:03 | 54008 | failed install-port |
| 10.13 | 137122 | 2022-01-07 13:29:34 | 0:17:02 | 44843 | failed install-port |
| 10.14 | 114159 | 2022-01-07 12:50:55 | 0:23:00 | 35680 | failed install-port |
| 10.6.x86_64 | 86958 | 2022-01-07 12:49:59 | 0:00:50 | 26443 | failed install-dependencies |
| 11.arm64 | 42087 | 2022-01-07 12:38:13 | 0:00:17 | 14491 | failed install-dependencies |
| 10.8 | 75228 | 2022-01-07 12:37:54 | 0:00:49 | 24370 | failed install-dependencies |
| 10.6 | 52445 | 2022-01-07 12:37:31 | 0:00:37 | 26485 | failed install-dependencies |
| 10.12 | 173358 | 2022-01-07 12:37:13 | 0:15:32 | 52827 | failed install-port |
| 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 |