z3-fstar (math/z3) Add to my watchlist

F*-qualified release of the Z3 Theorem Prover

Private version of the Z3 theorem prover for use by (and qualified to work with) F*.

Version: 4.8.5 License: MIT GitHub
Reset

211 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 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
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