z3-fstar-legacy (math/z3) Updated: 1 month 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
98 build(s) found
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
15 | 29866 | 2025-03-28 19:59:33 | 0:00:08 | 7401 | failed install-port |
15 | 29864 | 2025-03-28 19:58:13 | 0:00:08 | 7400 | failed install-port |
15 | 29862 | 2025-03-28 19:55:58 | 0:00:47 | 7398 | failed install-port |
15.arm64 | 18077 | 2025-03-28 17:12:00 | 0:00:05 | 6578 | failed install-port |
15.arm64 | 18075 | 2025-03-28 17:10:37 | 0:00:22 | 6577 | failed install-port |
15.arm64 | 18072 | 2025-03-28 17:07:44 | 0:00:23 | 6575 | failed install-port |
13 | 88786 | 2025-03-28 5:42:44 | 0:00:08 | 31742 | failed install-port |
13 | 88784 | 2025-03-28 5:41:04 | 0:00:08 | 31741 | failed install-port |
13 | 88782 | 2025-03-28 5:37:54 | 0:00:43 | 31739 | failed install-port |
14.arm64 | 54278 | 2025-03-27 23:49:59 | 0:00:06 | 19591 | failed install-port |
14.arm64 | 54276 | 2025-03-27 23:48:55 | 0:00:05 | 19590 | failed install-port |
14.arm64 | 54274 | 2025-03-27 23:47:22 | 0:00:05 | 19589 | failed install-port |
14.arm64 | 54272 | 2025-03-27 23:45:28 | 0:00:22 | 19587 | failed install-port |
10.6 | 197942 | 2025-03-27 17:08:58 | 0:00:20 | 69218 | failed install-port |
10.8 | 204709 | 2025-03-27 16:52:44 | 0:00:19 | 66965 | failed install-port |
10.8 | 204707 | 2025-03-27 16:50:14 | 0:00:14 | 66964 | failed install-port |
10.6 | 197938 | 2025-03-27 16:48:04 | 0:00:22 | 69217 | failed install-port |
13.arm64 | 81525 | 2025-03-27 16:42:47 | 0:00:04 | 31495 | failed install-port |
10.6.x86_64 | 233890 | 2025-03-27 16:42:22 | 0:00:48 | 69268 | failed install-port |
10.8 | 204705 | 2025-03-27 16:41:54 | 0:04:55 | 66962 | failed install-port |
10.12 | 299894 | 2025-03-27 16:41:28 | 0:00:22 | 95415 | failed install-port |
10.15 | 208341 | 2025-03-27 16:41:02 | 0:00:20 | 67178 | failed install-port |
11 | 180041 | 2025-03-27 16:40:41 | 0:00:24 | 57126 | failed install-port |
10.11 | 289879 | 2025-03-27 16:40:19 | 0:00:17 | 96662 | failed install-port |
10.9 | 304518 | 2025-03-27 16:39:55 | 0:00:16 | 96174 | failed install-port |
10.7 | 219237 | 2025-03-27 16:39:32 | 0:00:11 | 68927 | failed install-port |
10.13 | 257707 | 2025-03-27 16:39:09 | 0:00:17 | 87474 | failed install-port |
10.10 | 296974 | 2025-03-27 16:38:43 | 0:00:12 | 96501 | failed install-port |
10.14 | 231586 | 2025-03-27 16:38:22 | 0:00:17 | 78111 | failed install-port |
12 | 130916 | 2025-03-27 16:37:58 | 0:00:16 | 46002 | failed install-port |
13.arm64 | 81523 | 2025-03-27 16:37:34 | 0:00:06 | 31494 | failed install-port |
14 | 59058 | 2025-03-27 16:37:00 | 0:00:08 | 19972 | failed install-port |
10.6.x86_64 | 233887 | 2025-03-27 16:36:05 | 0:00:42 | 69267 | failed install-port |
10.12 | 299892 | 2025-03-27 16:34:48 | 0:00:24 | 95414 | failed install-port |
10.15 | 208339 | 2025-03-27 16:34:24 | 0:01:04 | 67177 | failed install-port |
10.11 | 289877 | 2025-03-27 16:33:41 | 0:00:17 | 96661 | failed install-port |
11 | 180039 | 2025-03-27 16:32:58 | 0:01:12 | 57125 | failed install-port |
10.9 | 304516 | 2025-03-27 16:31:54 | 0:00:16 | 96173 | failed install-port |
10.13 | 257705 | 2025-03-27 16:31:25 | 0:00:17 | 87473 | failed install-port |
12 | 130914 | 2025-03-27 16:31:00 | 0:00:55 | 46001 | failed install-port |
10.7 | 219235 | 2025-03-27 16:30:37 | 0:00:14 | 68926 | failed install-port |
10.10 | 296972 | 2025-03-27 16:30:13 | 0:00:14 | 96500 | failed install-port |
10.14 | 231584 | 2025-03-27 16:29:47 | 0:00:18 | 78110 | failed install-port |
14 | 59056 | 2025-03-27 16:29:20 | 0:00:27 | 19971 | failed install-port |
13.arm64 | 81521 | 2025-03-27 16:28:58 | 0:00:14 | 31493 | failed install-port |
10.6.x86_64 | 233884 | 2025-03-27 16:26:46 | 0:00:17 | 69265 | failed install-port |
10.7 | 219233 | 2025-03-27 16:22:55 | 0:00:12 | 68924 | failed install-port |
10.6 | 197934 | 2025-03-27 16:22:19 | 0:00:19 | 69215 | failed install-port |
10.14 | 231582 | 2025-03-27 16:19:41 | 0:00:22 | 78108 | failed install-port |
10.11 | 289875 | 2025-03-27 16:19:39 | 0:00:20 | 96659 | failed install-port |
10.12 | 299890 | 2025-03-27 16:18:30 | 0:00:23 | 95412 | failed install-port |
10.13 | 257703 | 2025-03-27 16:18:26 | 0:00:18 | 87471 | failed install-port |
10.10 | 296970 | 2025-03-27 16:16:46 | 0:00:17 | 96498 | failed install-port |
10.9 | 304514 | 2025-03-27 16:15:59 | 0:00:18 | 96171 | failed install-port |
10.15 | 208336 | 2025-03-27 16:14:05 | 0:00:21 | 67175 | failed install-port |
11 | 180036 | 2025-03-27 16:13:57 | 0:00:26 | 57123 | failed install-port |
12 | 130911 | 2025-03-27 16:12:56 | 0:00:19 | 45999 | failed install-port |
14 | 59053 | 2025-03-27 16:11:22 | 0:00:11 | 19969 | failed install-port |
13.arm64 | 81518 | 2025-03-27 16:10:34 | 0:00:10 | 31491 | failed install-port |
13.arm64 | 80452 | 2025-03-12 7:35:13 | 0:00:05 | 30949 | failed install-port |
14.arm64 | 53108 | 2025-03-11 19:10:54 | 0:00:21 | 19042 | failed install-port |
13 | 87850 | 2025-03-10 1:03:21 | 0:00:15 | 31239 | failed install-port |
10.15 | 207296 | 2025-03-09 6:19:29 | 0:00:18 | 66634 | failed install-port |
15.arm64 | 9860 | 2025-03-09 5:27:44 | 0:00:07 | 5346 | failed install-port |
14 | 57905 | 2025-03-09 5:14:14 | 0:00:17 | 19427 | failed install-port |
10.13 | 256509 | 2025-03-09 4:29:35 | 0:00:26 | 86928 | failed install-port |
10.11 | 288476 | 2025-03-09 4:22:36 | 0:00:21 | 96117 | failed install-port |
10.10 | 295413 | 2025-03-08 20:30:07 | 0:00:21 | 95955 | failed install-port |
10.8 | 203040 | 2025-03-08 19:44:38 | 0:00:22 | 66420 | failed install-port |
10.7 | 217381 | 2025-03-08 19:36:06 | 0:00:17 | 68382 | failed install-port |
10.9 | 302923 | 2025-03-08 18:36:09 | 0:00:18 | 95627 | failed install-port |
10.12 | 298578 | 2025-03-08 15:32:59 | 0:00:19 | 94870 | failed install-port |
12 | 129747 | 2025-03-08 14:28:10 | 0:00:29 | 45458 | failed install-port |
11 | 178855 | 2025-03-08 12:41:42 | 0:00:23 | 56580 | failed install-port |
15.arm64 | 9030 | 2025-03-08 11:27:33 | 0:00:13 | 5069 | failed install-port |
10.14 | 230339 | 2025-03-08 11:23:20 | 0:00:27 | 77566 | failed install-port |
10.6 | 195641 | 2025-03-08 8:58:52 | 0:00:25 | 68672 | failed install-port |
10.6.x86_64 | 231310 | 2025-03-08 7:57:25 | 0:00:21 | 68722 | failed install-port |
15 | 28143 | 2025-03-08 7:29:14 | 0:00:13 | 6854 | failed install-port |
15.arm64 | 7101 | 2025-03-05 14:43:06 | 0:00:08 | 3459 | failed install-port |
13.arm64 | 80109 | 2025-03-04 19:21:08 | 0:00:06 | 30672 | failed install-port |
15.arm64 | 5416 | 2025-03-03 7:48:04 | 0:00:07 | 1684 | failed install-port |
14.arm64 | 52723 | 2025-03-02 19:30:27 | 0:00:15 | 18765 | failed install-port |
13 | 87416 | 2025-02-28 11:20:56 | 0:00:13 | 30917 | failed install-port |
10.15 | 206886 | 2025-02-28 2:59:20 | 0:00:21 | 66360 | failed install-port |
14 | 57451 | 2025-02-28 1:47:30 | 0:00:14 | 19151 | failed install-port |
10.13 | 256075 | 2025-02-28 1:44:27 | 0:00:15 | 86656 | failed install-port |
11 | 178450 | 2025-02-28 1:35:41 | 0:00:23 | 56304 | failed install-port |
12 | 129356 | 2025-02-28 1:35:06 | 0:00:19 | 45183 | failed install-port |
10.14 | 229904 | 2025-02-28 1:32:58 | 0:00:23 | 77289 | failed install-port |
10.9 | 302119 | 2025-02-28 1:20:12 | 0:00:17 | 95350 | failed install-port |
10.11 | 287727 | 2025-02-28 1:13:00 | 0:00:19 | 95840 | failed install-port |
10.12 | 297822 | 2025-02-28 1:01:37 | 0:00:21 | 94592 | failed install-port |
10.8 | 202226 | 2025-02-28 0:58:10 | 0:00:16 | 66143 | failed install-port |
10.7 | 216575 | 2025-02-28 0:53:10 | 0:00:12 | 68105 | failed install-port |
10.10 | 294642 | 2025-02-28 0:50:37 | 0:00:15 | 95679 | failed install-port |
10.6 | 194604 | 2025-02-28 0:35:02 | 0:00:19 | 68394 | failed install-port |
10.6.x86_64 | 230170 | 2025-02-28 0:29:01 | 0:00:22 | 68444 | failed install-port |