z3-fstar (math/z3) Updated: 8 months, 1 week 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
438 build(s) found
Page 2 of 5 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11.arm64 | 113205 | 2025-08-10 20:33:07 | 0:00:01 | 41576 | failed install-dependencies |
| 13 | 92913 | 2025-07-29 23:43:01 | 0:00:03 | 34605 | failed install-dependencies |
| 14.arm64 | 59378 | 2025-07-29 12:05:50 | 0:00:01 | 22454 | failed install-dependencies |
| 15 | 34572 | 2025-07-29 11:38:36 | 0:00:03 | 10254 | failed install-dependencies |
| 15.arm64 | 23335 | 2025-07-29 5:55:20 | 0:00:02 | 9444 | failed install-dependencies |
| 14 | 63845 | 2025-07-29 5:17:32 | 0:00:03 | 22834 | failed install-dependencies |
| 10.14 | 237703 | 2025-07-29 3:43:04 | 0:00:07 | 80937 | failed install-dependencies |
| 10.13 | 263935 | 2025-07-29 3:38:47 | 0:00:08 | 90303 | failed install-dependencies |
| 12 | 136753 | 2025-07-29 3:30:47 | 0:00:06 | 48874 | failed install-dependencies |
| 10.10 | 303577 | 2025-07-29 3:15:46 | 0:00:07 | 99372 | failed install-dependencies |
| 10.15 | 214160 | 2025-07-29 3:14:13 | 0:00:05 | 70041 | failed install-dependencies |
| 10.8 | 211167 | 2025-07-29 3:11:25 | 0:00:08 | 69828 | failed install-dependencies |
| 10.11 | 295912 | 2025-07-29 3:09:50 | 0:00:08 | 99524 | failed install-dependencies |
| 10.9 | 311211 | 2025-07-29 3:03:27 | 0:00:09 | 99040 | failed install-dependencies |
| 10.7 | 225944 | 2025-07-29 3:00:42 | 0:00:06 | 71792 | failed install-dependencies |
| 10.6.x86_64 | 241146 | 2025-07-29 2:41:36 | 0:00:09 | 72135 | failed install-dependencies |
| 10.12 | 306199 | 2025-07-29 2:37:56 | 0:00:06 | 98290 | failed install-dependencies |
| 11 | 186057 | 2025-07-29 2:37:55 | 0:00:06 | 59998 | failed install-dependencies |
| 10.6 | 204620 | 2025-07-29 2:27:13 | 0:01:23 | 72083 | failed install-dependencies |
| 13.arm64 | 86176 | 2025-07-29 1:51:18 | 0:00:01 | 34364 | failed install-dependencies |
| 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 |