z3-fstar (math/z3) 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.8.5 License: MIT
GitHub
218 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 185618 | 2024-11-11 21:23:44 | 0:00:23 | 64994 | failed install-port |
| 10.6.x86_64 | 221365 | 2024-11-11 16:50:53 | 0:00:29 | 65044 | failed install-port |
| 15 | 3288 | 2024-10-03 3:33:21 | 0:07:44 | 408 | build successful |
| 10.6 | 181194 | 2024-09-21 8:28:13 | 0:01:08 | 63220 | failed install-port |
| 10.6.x86_64 | 217100 | 2024-09-21 8:27:56 | 0:01:00 | 63264 | failed install-port |
| 10.6.x86_64 | 211470 | 2024-07-31 7:28:40 | 0:00:38 | 61508 | failed install-port |
| 10.6 | 175700 | 2024-07-31 7:13:12 | 0:01:33 | 61464 | failed install-port |
| 10.6 | 170217 | 2024-06-10 15:02:30 | 0:00:43 | 59734 | failed install-port |
| 10.6.x86_64 | 205839 | 2024-06-10 15:00:09 | 0:00:38 | 59778 | failed install-port |
| 10.6 | 161212 | 2024-04-17 8:07:30 | 0:03:21 | 57491 | failed install-port |
| 10.6.x86_64 | 196994 | 2024-04-17 8:04:48 | 0:01:10 | 57539 | failed install-port |
| 10.6 | 155662 | 2024-02-28 12:09:55 | 0:00:34 | 55579 | failed install-port |
| 10.6.x86_64 | 191282 | 2024-02-28 12:08:21 | 0:00:31 | 55624 | failed install-port |
| 10.6.x86_64 | 186730 | 2024-01-25 20:55:46 | 0:02:02 | 54253 | failed install-port |
| 10.6 | 151274 | 2024-01-25 20:43:26 | 0:02:25 | 54208 | failed install-port |
| 10.6.x86_64 | 186555 | 2024-01-24 15:02:17 | 0:00:38 | 54179 | failed install-port |
| 10.6 | 151101 | 2024-01-24 14:46:25 | 0:01:00 | 54134 | failed install-port |
| 14.arm64 | 1957 | 2024-01-11 5:52:18 | 0:04:08 | 425 | build successful |
| 10.6 | 146599 | 2023-12-19 3:09:18 | 0:00:21 | 52623 | failed install-port |
| 10.6.x86_64 | 182017 | 2023-12-18 23:57:48 | 0:00:24 | 52665 | failed install-port |
| 10.6 | 145939 | 2023-12-14 20:05:17 | 0:01:08 | 52467 | failed install-port |
| 10.6.x86_64 | 181394 | 2023-12-14 20:03:04 | 0:01:02 | 52509 | failed install-port |
| 14 | 2631 | 2023-10-24 9:57:29 | 0:13:54 | 425 | build successful |
| 10.6 | 139235 | 2023-10-11 21:14:06 | 0:00:41 | 50152 | failed install-port |
| 10.6.x86_64 | 174558 | 2023-10-11 21:11:12 | 0:00:38 | 50193 | failed install-port |
| 10.6 | 131733 | 2023-08-18 12:31:59 | 0:01:24 | 48074 | failed install-port |
| 10.6.x86_64 | 167270 | 2023-08-18 12:20:59 | 0:01:15 | 48113 | failed install-port |
| 10.6.x86_64 | 158215 | 2023-06-13 12:30:13 | 0:00:45 | 45733 | failed install-port |
| 10.6 | 123157 | 2023-06-13 12:03:27 | 0:00:47 | 45696 | failed install-port |
| 10.6 | 111672 | 2023-03-07 16:44:29 | 0:02:56 | 41971 | failed install-port |
| 10.6.x86_64 | 146789 | 2023-03-07 16:44:12 | 0:02:41 | 42004 | failed install-port |
| 13.arm64 | 5534 | 2023-03-03 11:42:01 | 0:03:32 | 3197 | build successful |
| 10.6 | 109814 | 2023-02-18 3:11:35 | 0:00:32 | 41217 | failed install-port |
| 10.6.x86_64 | 144592 | 2023-02-18 2:38:26 | 0:00:44 | 41249 | failed install-port |
| 10.6 | 104611 | 2023-01-13 14:15:02 | 0:01:58 | 39792 | failed install-port |
| 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 |