z3-fstar-legacy (math/z3) Updated: 10 months, 1 week ago Add to my watchlist
Legacy F*-qualified release of the Z3 Theorem ProverPrivate version of the Z3 Theorem Prover for use by (and qualified to work with) F* (legacy version).
Version: 4.8.5 License: MIT
GitHub
201 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.x86_64 | 253794 | 2025-12-09 3:39:02 | 0:14:36 | 75783 | failed install-port |
| 10.6.x86_64 | 251613 | 2025-11-13 5:20:29 | 0:15:39 | 75009 | failed install-port |
| 10.6.x86_64 | 251286 | 2025-11-10 16:39:01 | 0:25:01 | 74927 | failed install-port |
| 10.6 | 214246 | 2025-11-10 16:23:19 | 0:32:30 | 74862 | build successful |
| 26.arm64 | 2728 | 2025-09-19 15:23:33 | 0:03:40 | 143 | build successful |
| 10.6 | 209593 | 2025-09-01 22:35:58 | 0:00:22 | 73073 | failed install-port |
| 10.6.x86_64 | 246376 | 2025-09-01 22:17:39 | 0:01:45 | 73136 | failed install-port |
| 11.arm64 | 116669 | 2025-08-30 23:08:56 | 0:03:32 | 45094 | build successful |
| 13 | 95262 | 2025-08-30 20:38:48 | 0:07:12 | 35422 | build successful |
| 14 | 66826 | 2025-08-30 14:44:28 | 0:07:47 | 23665 | build successful |
| 12 | 139568 | 2025-08-30 10:05:28 | 0:18:19 | 49686 | build successful |
| 10.6 | 209519 | 2025-08-30 7:59:06 | 0:00:28 | 73019 | failed install-port |
| 10.11 | 299534 | 2025-08-30 7:39:54 | 0:31:08 | 100383 | build successful |
| 10.12 | 309613 | 2025-08-30 7:33:14 | 0:26:59 | 99124 | build successful |
| 10.8 | 215175 | 2025-08-30 7:32:48 | 0:44:17 | 70710 | build successful |
| 10.7 | 230120 | 2025-08-30 7:32:25 | 0:44:09 | 72683 | build successful |
| 10.9 | 315425 | 2025-08-30 7:32:00 | 0:33:17 | 99914 | build successful |
| 10.13 | 266832 | 2025-08-30 7:31:35 | 0:51:20 | 91102 | build successful |
| 10.10 | 307440 | 2025-08-30 7:31:07 | 0:47:40 | 100238 | build successful |
| 11 | 189211 | 2025-08-30 7:30:43 | 0:22:17 | 60817 | build successful |
| 10.14 | 240606 | 2025-08-30 7:30:17 | 0:49:35 | 81737 | build successful |
| 10.15 | 217144 | 2025-08-30 7:29:52 | 0:31:52 | 70845 | build successful |
| 10.6.x86_64 | 246304 | 2025-08-30 7:29:29 | 0:01:28 | 73082 | failed install-port |
| 15 | 38866 | 2025-08-30 7:28:53 | 0:07:23 | 11135 | build successful |
| 15 | 38861 | 2025-08-30 6:34:05 | 0:00:24 | 11131 | failed install-port |
| 15 | 38858 | 2025-08-30 6:32:26 | 0:00:09 | 11130 | failed install-port |
| 15.arm64 | 27247 | 2025-08-30 6:31:05 | 0:05:10 | 10322 | build successful |
| 14.arm64 | 61991 | 2025-08-30 6:30:10 | 0:05:09 | 23297 | build successful |
| 13.arm64 | 88816 | 2025-08-30 6:02:28 | 0:03:41 | 35205 | build successful |
| 14 | 66821 | 2025-08-30 5:55:16 | 0:00:24 | 23661 | failed install-port |
| 14 | 66818 | 2025-08-30 5:53:40 | 0:00:09 | 23660 | failed install-port |
| 10.13 | 266826 | 2025-08-30 5:12:50 | 0:00:46 | 91098 | failed install-port |
| 10.14 | 240600 | 2025-08-30 5:10:41 | 0:03:43 | 81733 | failed install-port |
| 10.10 | 307434 | 2025-08-30 4:59:46 | 0:00:50 | 100234 | failed install-port |
| 10.8 | 215169 | 2025-08-30 4:55:48 | 0:01:21 | 70706 | failed install-port |
| 10.7 | 230114 | 2025-08-30 4:54:43 | 0:01:02 | 72679 | failed install-port |
| 10.15 | 217138 | 2025-08-30 4:53:05 | 0:00:47 | 70841 | failed install-port |
| 10.11 | 299528 | 2025-08-30 4:49:21 | 0:01:13 | 100379 | failed install-port |
| 10.9 | 315419 | 2025-08-30 4:46:14 | 0:00:41 | 99910 | failed install-port |
| 10.6.x86_64 | 246297 | 2025-08-30 4:32:26 | 0:00:56 | 73078 | failed install-port |
| 11 | 189205 | 2025-08-30 4:22:10 | 0:00:59 | 60813 | failed install-port |
| 10.12 | 309607 | 2025-08-30 4:21:19 | 0:00:47 | 99120 | failed install-port |
| 10.6 | 209511 | 2025-08-30 4:17:43 | 0:01:22 | 73015 | failed install-port |
| 13 | 95257 | 2025-08-30 4:12:20 | 0:00:18 | 35418 | failed install-port |
| 13 | 95254 | 2025-08-30 4:10:11 | 0:00:23 | 35417 | failed install-port |
| 12.arm64 | 151568 | 2025-08-30 3:03:16 | 0:04:10 | 49425 | build successful |
| 10.6 | 209501 | 2025-08-30 2:47:49 | 0:00:19 | 73014 | failed install-port |
| 10.14 | 240591 | 2025-08-30 2:32:04 | 0:01:25 | 81732 | failed install-port |
| 10.8 | 215160 | 2025-08-30 2:31:44 | 0:03:52 | 70705 | failed install-port |
| 10.7 | 230105 | 2025-08-30 2:31:18 | 0:03:21 | 72678 | failed install-port |
| 10.15 | 217129 | 2025-08-30 2:30:32 | 0:01:09 | 70840 | failed install-port |
| 11 | 189196 | 2025-08-30 2:28:20 | 0:01:19 | 60812 | failed install-port |
| 10.6.x86_64 | 246287 | 2025-08-30 2:27:59 | 0:02:55 | 73077 | failed install-port |
| 10.13 | 266817 | 2025-08-30 2:27:27 | 0:04:01 | 91097 | failed install-port |
| 10.10 | 307425 | 2025-08-30 2:27:06 | 0:03:12 | 100233 | failed install-port |
| 10.12 | 309598 | 2025-08-30 2:26:44 | 0:03:56 | 99119 | failed install-port |
| 10.9 | 315410 | 2025-08-30 2:26:25 | 0:02:58 | 99909 | failed install-port |
| 10.11 | 299519 | 2025-08-30 2:26:07 | 0:04:56 | 100378 | failed install-port |
| 14 | 65886 | 2025-08-22 6:48:14 | 0:00:52 | 23434 | failed install-port |
| 11.arm64 | 114533 | 2025-08-21 7:52:00 | 0:00:04 | 42336 | failed install-port |
| 11.arm64 | 114531 | 2025-08-21 7:51:01 | 0:00:04 | 42335 | failed install-port |
| 11.arm64 | 114529 | 2025-08-21 7:47:32 | 0:00:23 | 42333 | failed install-port |
| 12 | 138396 | 2025-08-20 5:02:09 | 0:01:11 | 49443 | failed install-port |
| 10.14 | 239385 | 2025-08-20 4:45:01 | 0:04:42 | 81501 | failed install-port |
| 13 | 94344 | 2025-08-19 16:56:58 | 0:00:36 | 35163 | failed install-port |
| 10.12 | 307919 | 2025-08-18 22:25:32 | 0:04:28 | 98830 | failed install-port |
| 10.13 | 265531 | 2025-08-18 21:28:31 | 0:04:02 | 90832 | failed install-port |
| 15 | 37291 | 2025-08-18 4:13:06 | 0:00:42 | 10811 | failed install-port |
| 10.15 | 215775 | 2025-08-18 1:00:24 | 0:01:31 | 70552 | failed install-port |
| 10.8 | 213189 | 2025-08-18 0:32:08 | 0:05:31 | 70369 | failed install-port |
| 10.11 | 297649 | 2025-08-18 0:15:19 | 0:05:43 | 100051 | failed install-port |
| 10.6.x86_64 | 243606 | 2025-08-17 23:55:23 | 0:01:36 | 72708 | failed install-port |
| 10.6.x86_64 | 243606 | 2025-08-17 23:55:23 | 0:01:36 | 72708 | failed install-port |
| 10.6 | 206894 | 2025-08-17 23:46:13 | 0:00:20 | 72646 | failed install-port |
| 10.6 | 206894 | 2025-08-17 23:46:13 | 0:00:20 | 72646 | failed install-port |
| 11 | 187690 | 2025-08-17 20:30:02 | 0:01:04 | 60515 | failed install-port |
| 10.9 | 313137 | 2025-08-17 19:56:43 | 0:03:34 | 99575 | failed install-port |
| 10.7 | 228000 | 2025-08-17 19:49:55 | 0:04:13 | 72337 | failed install-port |
| 10.10 | 305412 | 2025-08-17 19:42:47 | 0:03:40 | 99902 | failed install-port |
| 14.arm64 | 60314 | 2025-08-17 17:19:55 | 0:07:31 | 22938 | build successful |
| 15.arm64 | 24786 | 2025-08-17 0:10:50 | 0:04:27 | 9924 | build successful |
| 13.arm64 | 87063 | 2025-08-15 3:41:28 | 0:04:47 | 34798 | build successful |
| 12.arm64 | 147098 | 2025-08-12 11:44:31 | 0:04:39 | 45077 | build successful |
| 11.arm64 | 113204 | 2025-08-10 20:32:48 | 0:00:18 | 41576 | failed install-port |
| 13 | 92912 | 2025-07-29 23:42:53 | 0:00:07 | 34605 | failed install-port |
| 14.arm64 | 59377 | 2025-07-29 12:05:44 | 0:00:05 | 22454 | failed install-port |
| 15 | 34571 | 2025-07-29 11:38:27 | 0:00:07 | 10254 | failed install-port |
| 15.arm64 | 23334 | 2025-07-29 5:55:05 | 0:00:13 | 9444 | failed install-port |
| 14 | 63844 | 2025-07-29 5:17:23 | 0:00:08 | 22834 | failed install-port |
| 10.14 | 237702 | 2025-07-29 3:38:47 | 0:04:15 | 80937 | failed install-port |
| 10.13 | 263934 | 2025-07-29 3:37:41 | 0:01:02 | 90303 | failed install-port |
| 12 | 136752 | 2025-07-29 3:29:25 | 0:01:20 | 48874 | failed install-port |
| 10.10 | 303576 | 2025-07-29 3:14:33 | 0:01:11 | 99372 | failed install-port |
| 10.15 | 214159 | 2025-07-29 3:13:23 | 0:00:48 | 70041 | failed install-port |
| 10.8 | 211166 | 2025-07-29 3:09:58 | 0:01:25 | 69828 | failed install-port |
| 10.11 | 295911 | 2025-07-29 3:08:49 | 0:00:59 | 99524 | failed install-port |
| 10.9 | 311210 | 2025-07-29 3:02:39 | 0:00:46 | 99040 | failed install-port |
| 10.7 | 225943 | 2025-07-29 2:59:32 | 0:01:08 | 71792 | failed install-port |
| 10.6.x86_64 | 241145 | 2025-07-29 2:40:23 | 0:01:07 | 72135 | failed install-port |
| 10.12 | 306198 | 2025-07-29 2:37:10 | 0:00:45 | 98290 | failed install-port |