z3-fstar (math/z3) Updated: 1 month, 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
318 build(s) found
Page 1 of 4 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 29867 | 2025-03-28 19:59:43 | 0:00:21 | 7401 | failed install-dependencies |
| 15 | 29865 | 2025-03-28 19:58:23 | 0:00:21 | 7400 | failed install-dependencies |
| 15 | 29863 | 2025-03-28 19:56:48 | 0:00:21 | 7398 | failed install-dependencies |
| 15.arm64 | 18078 | 2025-03-28 17:12:06 | 0:00:11 | 6578 | failed install-dependencies |
| 15.arm64 | 18076 | 2025-03-28 17:11:00 | 0:00:11 | 6577 | failed install-dependencies |
| 15.arm64 | 18073 | 2025-03-28 17:08:28 | 0:00:11 | 6575 | failed install-dependencies |
| 13 | 88787 | 2025-03-28 5:42:54 | 0:00:20 | 31742 | failed install-dependencies |
| 13 | 88785 | 2025-03-28 5:41:13 | 0:00:20 | 31741 | failed install-dependencies |
| 13 | 88783 | 2025-03-28 5:38:39 | 0:00:20 | 31739 | failed install-dependencies |
| 14.arm64 | 54279 | 2025-03-27 23:50:07 | 0:00:11 | 19591 | failed install-dependencies |
| 14.arm64 | 54277 | 2025-03-27 23:49:02 | 0:00:10 | 19590 | failed install-dependencies |
| 14.arm64 | 54275 | 2025-03-27 23:47:29 | 0:00:11 | 19589 | failed install-dependencies |
| 14.arm64 | 54273 | 2025-03-27 23:45:53 | 0:00:11 | 19587 | failed install-dependencies |
| 10.6 | 197943 | 2025-03-27 17:09:18 | 0:01:07 | 69218 | failed install-dependencies |
| 10.8 | 204710 | 2025-03-27 16:53:05 | 0:00:44 | 66965 | failed install-dependencies |
| 10.8 | 204708 | 2025-03-27 16:50:32 | 0:00:41 | 66964 | failed install-dependencies |
| 10.6 | 197939 | 2025-03-27 16:48:29 | 0:01:10 | 69217 | failed install-dependencies |
| 10.8 | 204706 | 2025-03-27 16:47:00 | 0:00:43 | 66962 | failed install-dependencies |
| 10.6.x86_64 | 233891 | 2025-03-27 16:43:14 | 0:00:48 | 69268 | failed install-dependencies |
| 13.arm64 | 81526 | 2025-03-27 16:42:54 | 0:00:10 | 31495 | failed install-dependencies |
| 10.12 | 299895 | 2025-03-27 16:41:52 | 0:00:51 | 95415 | failed install-dependencies |
| 10.15 | 208342 | 2025-03-27 16:41:27 | 0:00:50 | 67178 | failed install-dependencies |
| 11 | 180042 | 2025-03-27 16:41:06 | 0:00:49 | 57126 | failed install-dependencies |
| 10.11 | 289880 | 2025-03-27 16:40:38 | 0:00:56 | 96662 | failed install-dependencies |
| 10.9 | 304519 | 2025-03-27 16:40:19 | 0:00:52 | 96174 | failed install-dependencies |
| 10.7 | 219238 | 2025-03-27 16:39:49 | 0:00:38 | 68927 | failed install-dependencies |
| 10.13 | 257708 | 2025-03-27 16:39:29 | 0:00:44 | 87474 | failed install-dependencies |
| 10.10 | 296975 | 2025-03-27 16:39:06 | 0:00:45 | 96501 | failed install-dependencies |
| 10.14 | 231587 | 2025-03-27 16:38:41 | 0:00:44 | 78111 | failed install-dependencies |
| 12 | 130917 | 2025-03-27 16:38:17 | 0:00:40 | 46002 | failed install-dependencies |
| 13.arm64 | 81524 | 2025-03-27 16:37:50 | 0:00:10 | 31494 | failed install-dependencies |
| 14 | 59059 | 2025-03-27 16:37:10 | 0:00:21 | 19972 | failed install-dependencies |
| 10.6.x86_64 | 233888 | 2025-03-27 16:36:55 | 0:00:45 | 69267 | failed install-dependencies |
| 10.15 | 208340 | 2025-03-27 16:35:37 | 0:00:48 | 67177 | failed install-dependencies |
| 10.12 | 299893 | 2025-03-27 16:35:15 | 0:00:56 | 95414 | failed install-dependencies |
| 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 |