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 2 of 5 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 209512 | 2025-08-30 4:19:07 | 0:01:22 | 73015 | failed install-dependencies |
| 13 | 95258 | 2025-08-30 4:12:45 | 0:00:03 | 35418 | failed install-dependencies |
| 13 | 95255 | 2025-08-30 4:10:36 | 0:00:03 | 35417 | failed install-dependencies |
| 12.arm64 | 151569 | 2025-08-30 3:07:28 | 0:00:06 | 49425 | failed install-port |
| 10.6 | 209502 | 2025-08-30 2:48:09 | 0:01:03 | 73014 | failed install-dependencies |
| 10.8 | 215161 | 2025-08-30 2:35:38 | 0:00:06 | 70705 | failed install-dependencies |
| 10.7 | 230106 | 2025-08-30 2:34:40 | 0:00:05 | 72678 | failed install-dependencies |
| 10.14 | 240592 | 2025-08-30 2:33:31 | 0:00:06 | 81732 | failed install-dependencies |
| 10.15 | 217130 | 2025-08-30 2:31:44 | 0:00:06 | 70840 | failed install-dependencies |
| 10.13 | 266818 | 2025-08-30 2:31:32 | 0:00:06 | 91097 | failed install-dependencies |
| 10.11 | 299520 | 2025-08-30 2:31:05 | 0:00:10 | 100378 | failed install-dependencies |
| 10.6.x86_64 | 246288 | 2025-08-30 2:30:57 | 0:00:05 | 73077 | failed install-dependencies |
| 10.12 | 309599 | 2025-08-30 2:30:43 | 0:00:07 | 99119 | failed install-dependencies |
| 10.10 | 307426 | 2025-08-30 2:30:21 | 0:00:05 | 100233 | failed install-dependencies |
| 11 | 189197 | 2025-08-30 2:29:42 | 0:00:07 | 60812 | failed install-dependencies |
| 10.9 | 315411 | 2025-08-30 2:29:26 | 0:00:06 | 99909 | failed install-dependencies |
| 14 | 65887 | 2025-08-22 6:49:08 | 0:00:04 | 23434 | failed install-dependencies |
| 11.arm64 | 114534 | 2025-08-21 7:52:08 | 0:00:02 | 42336 | failed install-dependencies |
| 11.arm64 | 114532 | 2025-08-21 7:51:07 | 0:00:03 | 42335 | failed install-dependencies |
| 11.arm64 | 114530 | 2025-08-21 7:47:59 | 0:00:01 | 42333 | failed install-dependencies |
| 12 | 138397 | 2025-08-20 5:03:22 | 0:00:06 | 49443 | failed install-dependencies |
| 10.14 | 239386 | 2025-08-20 4:49:45 | 0:00:06 | 81501 | failed install-dependencies |
| 12.arm64 | 149497 | 2025-08-20 1:49:20 | 0:00:23 | 48595 | failed install-port |
| 13 | 94345 | 2025-08-19 16:57:37 | 0:00:03 | 35163 | failed install-dependencies |
| 10.12 | 307920 | 2025-08-18 22:30:16 | 0:00:07 | 98830 | failed install-dependencies |
| 10.13 | 265532 | 2025-08-18 21:32:38 | 0:00:06 | 90832 | failed install-dependencies |
| 15 | 37292 | 2025-08-18 4:13:51 | 0:00:03 | 10811 | failed install-dependencies |
| 10.15 | 215776 | 2025-08-18 1:02:17 | 0:00:12 | 70552 | failed install-dependencies |
| 10.8 | 213190 | 2025-08-18 0:37:42 | 0:00:09 | 70369 | failed install-dependencies |
| 10.11 | 297650 | 2025-08-18 0:21:04 | 0:00:10 | 100051 | failed install-dependencies |
| 10.6.x86_64 | 243607 | 2025-08-17 23:57:06 | 0:00:06 | 72708 | failed install-dependencies |
| 10.6.x86_64 | 243607 | 2025-08-17 23:57:06 | 0:00:06 | 72708 | failed install-dependencies |
| 10.6 | 206895 | 2025-08-17 23:46:35 | 0:01:11 | 72646 | failed install-dependencies |
| 10.6 | 206895 | 2025-08-17 23:46:35 | 0:01:11 | 72646 | failed install-dependencies |
| 11 | 187691 | 2025-08-17 20:31:19 | 0:00:07 | 60515 | failed install-dependencies |
| 10.9 | 313138 | 2025-08-17 20:00:20 | 0:00:07 | 99575 | failed install-dependencies |
| 10.7 | 228001 | 2025-08-17 19:54:10 | 0:00:05 | 72337 | failed install-dependencies |
| 10.10 | 305413 | 2025-08-17 19:46:31 | 0:00:08 | 99902 | failed install-dependencies |
| 14.arm64 | 60315 | 2025-08-17 17:27:28 | 0:06:55 | 22938 | build successful |
| 15.arm64 | 24787 | 2025-08-17 0:15:22 | 0:05:59 | 9924 | build successful |
| 13.arm64 | 87064 | 2025-08-15 3:46:19 | 0:06:45 | 34798 | build successful |
| 12.arm64 | 147874 | 2025-08-14 11:41:07 | 0:00:05 | 45837 | failed install-port |
| 12.arm64 | 147873 | 2025-08-14 11:39:53 | 0:00:05 | 45836 | failed install-port |
| 12.arm64 | 147872 | 2025-08-14 11:36:52 | 0:00:23 | 45834 | failed install-port |
| 12.arm64 | 147099 | 2025-08-12 11:49:12 | 0:00:07 | 45077 | failed install-port |
| 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 |