z3-fstar (math/z3) Updated: 10 months, 2 weeks ago Add to my watchlist
F*-qualified release of the Z3 Theorem ProverPrivate version of the Z3 Theorem Prover for use by (and qualified to work with) F*.
Version: 4.13.3 License: MIT
GitHub
483 build(s) found
Page 4 of 5 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 139307 | 2023-01-13 11:02:08 | 0:01:44 | 39822 | failed install-port |
| 10.6 | 102878 | 2023-01-05 14:39:57 | 0:02:54 | 39326 | failed install-port |
| 10.6.x86_64 | 137614 | 2023-01-05 14:33:20 | 0:02:39 | 39356 | failed install-port |
| 13 | 5698 | 2022-12-23 14:29:05 | 0:10:59 | 909 | build successful |
| 10.6 | 99391 | 2022-12-23 11:18:46 | 0:01:14 | 38734 | failed install-port |
| 10.6.x86_64 | 134367 | 2022-12-23 8:22:42 | 0:01:35 | 38764 | failed install-port |
| 10.6 | 85346 | 2022-08-25 3:56:17 | 0:00:50 | 34416 | failed install-port |
| 10.6.x86_64 | 119035 | 2022-08-24 8:52:57 | 0:01:03 | 34438 | failed install-port |
| 10.6 | 80503 | 2022-06-29 5:01:02 | 0:00:39 | 32496 | failed install-port |
| 10.6.x86_64 | 113868 | 2022-06-28 20:11:48 | 0:00:41 | 32509 | failed install-port |
| 10.6 | 77210 | 2022-06-11 5:57:41 | 0:01:10 | 31859 | failed install-port |
| 10.6.x86_64 | 110739 | 2022-06-10 22:59:19 | 0:01:24 | 31834 | failed install-port |
| 10.6 | 71478 | 2022-05-24 18:30:11 | 0:01:44 | 31171 | failed install-port |
| 10.6.x86_64 | 105583 | 2022-05-24 16:45:37 | 0:01:54 | 31140 | failed install-port |
| 10.6 | 63881 | 2022-03-30 14:53:22 | 0:03:08 | 29412 | failed install-port |
| 10.6.x86_64 | 98123 | 2022-03-30 14:42:29 | 0:02:46 | 29374 | failed install-port |
| 10.6.x86_64 | 88528 | 2022-01-16 11:33:46 | 0:02:47 | 26821 | failed install-port |
| 10.6 | 54168 | 2022-01-16 11:22:25 | 0:03:03 | 26860 | failed install-port |
| 10.6 | 49836 | 2022-01-03 12:48:40 | 0:00:58 | 26186 | failed install-port |
| 10.6.x86_64 | 85089 | 2022-01-03 12:35:44 | 0:01:13 | 26161 | failed install-port |
| 10.6 | 46991 | 2021-12-08 5:07:37 | 0:05:36 | 25145 | failed install-port |
| 10.6.x86_64 | 82238 | 2021-12-08 5:06:42 | 0:05:03 | 25119 | failed install-port |
| 12 | 5704 | 2021-12-05 21:28:52 | 0:16:47 | 1266 | build successful |
| 10.6 | 45368 | 2021-11-22 11:45:19 | 0:07:10 | 24491 | failed install-port |
| 10.6.x86_64 | 80634 | 2021-11-22 11:22:21 | 0:05:13 | 24464 | failed install-port |
| 12.arm64 | 6138 | 2021-11-06 5:18:08 | 0:04:09 | 477 | build successful |
| 10.6 | 38867 | 2021-08-28 5:03:06 | 0:04:46 | 21269 | failed install-port |
| 10.6.x86_64 | 71296 | 2021-08-28 4:37:24 | 0:04:24 | 21240 | failed install-port |
| 10.8 | 58870 | 2021-08-27 21:10:57 | 0:44:19 | 19135 | build successful |
| 10.7 | 66418 | 2021-08-27 21:10:24 | 0:44:55 | 21276 | build successful |
| 10.6 | 38650 | 2021-08-26 2:10:41 | 0:05:43 | 21221 | failed install-port |
| 10.6 | 38649 | 2021-08-26 2:03:19 | 0:05:34 | 21220 | failed install-port |
| 10.6 | 38647 | 2021-08-26 1:48:00 | 0:06:21 | 21219 | failed install-port |
| 10.6.x86_64 | 71015 | 2021-08-26 1:43:53 | 0:06:14 | 21192 | failed install-port |
| 10.8 | 58571 | 2021-08-26 1:36:54 | 0:03:41 | 19087 | failed install-port |
| 10.6.x86_64 | 71014 | 2021-08-26 1:36:04 | 0:06:03 | 21191 | failed install-port |
| 10.7 | 66120 | 2021-08-26 1:34:33 | 0:03:41 | 21228 | failed install-port |
| 10.8 | 58568 | 2021-08-26 1:22:07 | 0:04:06 | 19086 | failed install-port |
| 10.7 | 66117 | 2021-08-26 1:20:51 | 0:03:59 | 21227 | failed install-port |
| 10.6.x86_64 | 71012 | 2021-08-26 1:20:09 | 0:06:20 | 21190 | failed install-port |
| 10.7 | 66111 | 2021-08-26 0:11:07 | 0:06:39 | 21226 | failed install-port |
| 10.8 | 58562 | 2021-08-26 0:09:31 | 0:06:09 | 19085 | failed install-port |
| 10.7 | 66067 | 2021-08-25 20:18:27 | 0:03:53 | 21216 | failed install-port |
| 10.8 | 58528 | 2021-08-25 20:13:46 | 0:03:52 | 19075 | failed install-port |
| 10.7 | 66061 | 2021-08-25 20:02:04 | 0:04:09 | 21215 | failed install-port |
| 10.8 | 58522 | 2021-08-25 19:55:39 | 0:04:33 | 19074 | failed install-port |
| 10.6 | 38633 | 2021-08-25 19:29:10 | 0:06:27 | 21208 | failed install-port |
| 10.6.x86_64 | 70981 | 2021-08-25 19:28:49 | 0:06:16 | 21179 | failed install-port |
| 10.6 | 38628 | 2021-08-25 19:05:23 | 0:07:17 | 21207 | failed install-port |
| 10.6.x86_64 | 70975 | 2021-08-25 19:04:31 | 0:06:43 | 21178 | failed install-port |
| 10.7 | 66053 | 2021-08-25 18:56:06 | 0:04:19 | 21213 | failed install-port |
| 10.8 | 58514 | 2021-08-25 18:54:05 | 0:03:39 | 19072 | failed install-port |
| 10.9 | 157403 | 2021-08-25 18:14:09 | 0:43:50 | 48490 | build successful |
| 10.11 | 151780 | 2021-08-25 18:11:20 | 0:33:09 | 48741 | build successful |
| 10.7 | 66046 | 2021-08-25 18:06:54 | 0:03:55 | 21212 | failed install-port |
| 10.8 | 58507 | 2021-08-25 18:03:18 | 0:04:57 | 19071 | failed install-port |
| 10.6 | 38623 | 2021-08-25 18:00:33 | 0:07:04 | 21205 | failed install-port |
| 10.6.x86_64 | 70969 | 2021-08-25 17:58:27 | 0:06:37 | 21176 | failed install-port |
| 10.10 | 153154 | 2021-08-25 17:52:31 | 0:15:37 | 48804 | build successful |
| 10.6.x86_64 | 70963 | 2021-08-25 17:36:18 | 0:06:18 | 21175 | failed install-port |
| 10.6 | 38618 | 2021-08-25 17:36:13 | 0:07:12 | 21204 | failed install-port |
| 10.9 | 155481 | 2021-07-30 3:02:36 | 0:06:09 | 47695 | failed install-port |
| 10.15 | 67064 | 2021-07-30 2:16:21 | 0:20:48 | 18592 | build successful |
| 10.13 | 119154 | 2021-07-30 2:03:39 | 0:31:44 | 38889 | build successful |
| 11 | 41733 | 2021-07-30 1:51:23 | 0:27:40 | 8405 | build successful |
| 10.12 | 154764 | 2021-07-30 1:48:01 | 0:31:08 | 46937 | build successful |
| 10.7 | 64097 | 2021-07-30 1:38:11 | 0:06:46 | 20420 | failed install-port |
| 10.11 | 149847 | 2021-07-30 1:31:16 | 0:06:38 | 47949 | failed install-port |
| 10.14 | 95684 | 2021-07-30 1:19:06 | 0:27:12 | 29598 | build successful |
| 10.10 | 151225 | 2021-07-30 0:05:17 | 0:06:36 | 48012 | failed install-port |
| 10.8 | 56604 | 2021-07-29 23:06:39 | 0:04:00 | 18279 | failed install-port |
| 11.arm64 | 27121 | 2021-07-29 22:35:45 | 0:06:59 | 8590 | build successful |
| 10.6.x86_64 | 69220 | 2021-07-29 22:34:05 | 0:05:32 | 20383 | failed install-port |
| 10.6 | 37713 | 2021-07-29 22:31:13 | 0:06:14 | 20412 | failed install-port |
| 10.6 | 36580 | 2021-07-15 23:46:19 | 0:06:13 | 19954 | failed install-port |
| 10.6.x86_64 | 67418 | 2021-07-15 22:44:39 | 0:07:04 | 19926 | failed install-port |
| 10.8 | 55017 | 2021-07-15 20:49:08 | 0:04:04 | 17822 | failed install-port |
| 10.7 | 62049 | 2021-07-15 20:32:01 | 0:04:21 | 19964 | failed install-port |
| 10.8 | 49931 | 2021-06-15 18:36:18 | 0:05:12 | 17011 | failed install-port |
| 10.6 | 34004 | 2021-06-15 18:05:53 | 0:06:09 | 19139 | failed install-port |
| 10.6.x86_64 | 60038 | 2021-06-15 15:39:28 | 0:06:01 | 19109 | failed install-port |
| 10.7 | 56455 | 2021-06-15 13:26:18 | 0:04:14 | 19149 | failed install-port |
| 10.6 | 33878 | 2021-06-15 0:32:36 | 0:07:46 | 19109 | failed install-port |
| 10.6.x86_64 | 59887 | 2021-06-14 15:35:16 | 0:07:00 | 19079 | failed install-port |
| 10.7 | 56320 | 2021-06-14 14:13:29 | 0:05:21 | 19119 | failed install-port |
| 10.8 | 49797 | 2021-06-14 14:07:16 | 0:05:41 | 16981 | failed install-port |
| 10.6.x86_64 | 59075 | 2021-06-09 6:55:35 | 0:07:56 | 18809 | failed install-port |
| 10.6 | 33191 | 2021-06-09 6:49:40 | 0:07:33 | 18843 | failed install-port |
| 10.6.x86_64 | 58377 | 2021-06-03 23:49:14 | 0:01:01 | 18604 | failed install-dependencies |
| 10.7 | 54816 | 2021-06-03 22:16:50 | 0:05:12 | 18643 | failed install-port |
| 10.6 | 32597 | 2021-06-03 21:28:17 | 0:01:09 | 18635 | failed install-dependencies |
| 10.8 | 48379 | 2021-06-03 21:21:15 | 0:06:09 | 16504 | failed install-port |
| 10.8 | 48372 | 2021-06-03 20:32:57 | 0:05:53 | 16501 | failed install-port |
| 10.7 | 52194 | 2021-05-08 7:49:23 | 0:08:02 | 17692 | failed install-port |
| 10.8 | 45887 | 2021-05-08 7:24:00 | 0:07:18 | 15552 | failed install-port |
| 10.6 | 30707 | 2021-05-07 23:27:01 | 0:01:24 | 17681 | failed install-dependencies |
| 10.6.x86_64 | 55468 | 2021-05-07 19:14:36 | 0:01:28 | 17647 | failed install-dependencies |
| 10.8 | 36940 | 2021-01-27 23:53:50 | 0:05:28 | 12279 | failed install-port |
| 10.7 | 42644 | 2021-01-27 23:52:12 | 0:04:57 | 14421 | failed install-port |
| 10.6 | 25362 | 2021-01-27 23:44:35 | 0:05:51 | 14430 | failed install-port |