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 3 of 5 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11 | 180040 | 2025-03-27 16:34:21 | 0:00:47 | 57125 | failed install-dependencies |
| 10.11 | 289878 | 2025-03-27 16:34:00 | 0:00:54 | 96661 | failed install-dependencies |
| 10.9 | 304517 | 2025-03-27 16:32:12 | 0:00:48 | 96173 | failed install-dependencies |
| 12 | 130915 | 2025-03-27 16:31:58 | 0:00:38 | 46001 | failed install-dependencies |
| 10.13 | 257706 | 2025-03-27 16:31:44 | 0:00:45 | 87473 | failed install-dependencies |
| 10.7 | 219236 | 2025-03-27 16:30:54 | 0:00:44 | 68926 | failed install-dependencies |
| 10.10 | 296973 | 2025-03-27 16:30:30 | 0:00:45 | 96500 | failed install-dependencies |
| 10.14 | 231585 | 2025-03-27 16:30:13 | 0:00:43 | 78110 | failed install-dependencies |
| 14 | 59057 | 2025-03-27 16:29:49 | 0:00:21 | 19971 | failed install-dependencies |
| 13.arm64 | 81522 | 2025-03-27 16:29:15 | 0:00:10 | 31493 | failed install-dependencies |
| 10.6.x86_64 | 233885 | 2025-03-27 16:27:05 | 0:00:42 | 69265 | failed install-dependencies |
| 10.7 | 219234 | 2025-03-27 16:23:08 | 0:00:42 | 68924 | failed install-dependencies |
| 10.6 | 197935 | 2025-03-27 16:22:41 | 0:01:05 | 69215 | failed install-dependencies |
| 10.14 | 231583 | 2025-03-27 16:20:08 | 0:00:43 | 78108 | failed install-dependencies |
| 10.11 | 289876 | 2025-03-27 16:20:08 | 0:00:56 | 96659 | failed install-dependencies |
| 10.12 | 299891 | 2025-03-27 16:18:54 | 0:00:53 | 95412 | failed install-dependencies |
| 10.13 | 257704 | 2025-03-27 16:18:46 | 0:00:45 | 87471 | failed install-dependencies |
| 10.10 | 296971 | 2025-03-27 16:17:06 | 0:00:54 | 96498 | failed install-dependencies |
| 10.9 | 304515 | 2025-03-27 16:16:18 | 0:00:54 | 96171 | failed install-dependencies |
| 10.15 | 208337 | 2025-03-27 16:14:28 | 0:00:55 | 67175 | failed install-dependencies |
| 11 | 180037 | 2025-03-27 16:14:26 | 0:00:51 | 57123 | failed install-dependencies |
| 12 | 130912 | 2025-03-27 16:13:17 | 0:00:42 | 45999 | failed install-dependencies |
| 14 | 59054 | 2025-03-27 16:11:35 | 0:00:20 | 19969 | failed install-dependencies |
| 13.arm64 | 81519 | 2025-03-27 16:10:47 | 0:00:10 | 31491 | failed install-dependencies |
| 13.arm64 | 80453 | 2025-03-12 7:35:19 | 0:00:10 | 30949 | failed install-dependencies |
| 14.arm64 | 53109 | 2025-03-11 19:11:17 | 0:00:10 | 19042 | failed install-dependencies |
| 13 | 87851 | 2025-03-10 1:03:37 | 0:00:22 | 31239 | failed install-dependencies |
| 10.15 | 207297 | 2025-03-09 6:19:48 | 0:00:47 | 66634 | failed install-dependencies |
| 15.arm64 | 9861 | 2025-03-09 5:27:52 | 0:00:12 | 5346 | failed install-dependencies |
| 14 | 57906 | 2025-03-09 5:14:32 | 0:00:25 | 19427 | failed install-dependencies |
| 10.13 | 256510 | 2025-03-09 4:30:02 | 0:01:06 | 86928 | failed install-dependencies |
| 10.11 | 288477 | 2025-03-09 4:22:58 | 0:00:57 | 96117 | failed install-dependencies |
| 10.10 | 295414 | 2025-03-08 20:30:29 | 0:00:55 | 95955 | failed install-dependencies |
| 10.8 | 203041 | 2025-03-08 19:45:03 | 0:00:43 | 66420 | failed install-dependencies |
| 10.7 | 217382 | 2025-03-08 19:36:24 | 0:00:51 | 68382 | failed install-dependencies |
| 10.9 | 302924 | 2025-03-08 18:36:28 | 0:00:50 | 95627 | failed install-dependencies |
| 10.12 | 298579 | 2025-03-08 15:33:18 | 0:00:49 | 94870 | failed install-dependencies |
| 12 | 129748 | 2025-03-08 14:28:40 | 0:00:52 | 45458 | failed install-dependencies |
| 11 | 178856 | 2025-03-08 12:42:06 | 0:00:48 | 56580 | failed install-dependencies |
| 15.arm64 | 9031 | 2025-03-08 11:27:47 | 0:00:12 | 5069 | failed install-dependencies |
| 10.14 | 230340 | 2025-03-08 11:23:48 | 0:00:54 | 77566 | failed install-dependencies |
| 10.6 | 195642 | 2025-03-08 8:59:18 | 0:01:16 | 68672 | failed install-dependencies |
| 10.6.x86_64 | 231311 | 2025-03-08 7:57:48 | 0:00:53 | 68722 | failed install-dependencies |
| 15 | 28144 | 2025-03-08 7:29:28 | 0:00:23 | 6854 | failed install-dependencies |
| 15.arm64 | 7102 | 2025-03-05 14:43:19 | 0:00:12 | 3459 | failed install-dependencies |
| 13.arm64 | 80110 | 2025-03-04 19:21:15 | 0:00:12 | 30672 | failed install-dependencies |
| 15.arm64 | 5417 | 2025-03-03 7:48:13 | 0:00:13 | 1684 | failed install-dependencies |
| 14.arm64 | 52724 | 2025-03-02 19:30:51 | 0:00:11 | 18765 | failed install-dependencies |
| 13 | 87417 | 2025-02-28 11:21:11 | 0:00:22 | 30917 | failed install-dependencies |
| 10.15 | 206887 | 2025-02-28 2:59:42 | 0:00:50 | 66360 | failed install-dependencies |
| 14 | 57452 | 2025-02-28 1:47:45 | 0:00:22 | 19151 | failed install-dependencies |
| 10.13 | 256076 | 2025-02-28 1:44:44 | 0:00:44 | 86656 | failed install-dependencies |
| 11 | 178451 | 2025-02-28 1:36:09 | 0:00:47 | 56304 | failed install-dependencies |
| 12 | 129357 | 2025-02-28 1:35:26 | 0:00:37 | 45183 | failed install-dependencies |
| 10.14 | 229905 | 2025-02-28 1:33:23 | 0:00:46 | 77289 | failed install-dependencies |
| 10.9 | 302120 | 2025-02-28 1:20:31 | 0:00:51 | 95350 | failed install-dependencies |
| 10.11 | 287728 | 2025-02-28 1:13:22 | 0:00:51 | 95840 | failed install-dependencies |
| 10.12 | 297823 | 2025-02-28 1:02:01 | 0:00:51 | 94592 | failed install-dependencies |
| 10.8 | 202227 | 2025-02-28 0:58:28 | 0:00:41 | 66143 | failed install-dependencies |
| 10.7 | 216576 | 2025-02-28 0:53:24 | 0:00:46 | 68105 | failed install-dependencies |
| 10.10 | 294643 | 2025-02-28 0:50:55 | 0:00:43 | 95679 | failed install-dependencies |
| 10.6 | 194605 | 2025-02-28 0:35:22 | 0:01:05 | 68394 | failed install-dependencies |
| 10.6.x86_64 | 230171 | 2025-02-28 0:29:28 | 0:00:46 | 68444 | failed install-dependencies |
| 10.6 | 190021 | 2024-12-25 1:42:46 | 0:00:29 | 66781 | failed install-port |
| 10.6.x86_64 | 225709 | 2024-12-25 1:40:36 | 0:00:39 | 66831 | failed install-port |
| 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 |