z3-fstar (math/z3) Updated: 8 months, 3 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
468 build(s) found
Page 1 of 5 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11.arm64 | 127165 | 2025-11-14 12:30:30 | 0:00:23 | 48147 | failed install-port |
| 10.6.x86_64 | 251614 | 2025-11-13 5:36:10 | 0:00:07 | 75009 | failed install-dependencies |
| 10.6 | 214572 | 2025-11-13 5:26:25 | 0:00:51 | 74943 | failed install-port |
| 10.7 | 234918 | 2025-11-13 5:12:59 | 0:00:26 | 74608 | failed install-port |
| 10.11 | 304021 | 2025-11-13 4:54:38 | 0:03:08 | 102315 | failed install-port |
| 10.14 | 244938 | 2025-11-13 4:54:23 | 0:04:27 | 83663 | failed install-port |
| 12 | 143739 | 2025-11-13 4:50:10 | 0:00:52 | 51621 | failed install-port |
| 10.15 | 221673 | 2025-11-13 4:42:43 | 0:00:54 | 72776 | failed install-port |
| 10.13 | 271203 | 2025-11-13 4:39:05 | 0:04:09 | 93032 | failed install-port |
| 11 | 193910 | 2025-11-13 4:38:34 | 0:01:01 | 62746 | failed install-port |
| 10.8 | 219747 | 2025-11-13 4:37:53 | 0:02:48 | 72638 | failed install-port |
| 10.12 | 314262 | 2025-11-13 4:36:30 | 0:03:33 | 101052 | failed install-port |
| 10.10 | 312138 | 2025-11-13 4:34:56 | 0:02:50 | 102167 | failed install-port |
| 10.9 | 320228 | 2025-11-13 4:30:12 | 0:02:42 | 101842 | failed install-port |
| 12.arm64 | 155014 | 2025-11-13 4:18:13 | 0:00:19 | 51354 | failed install-port |
| 11.arm64 | 126954 | 2025-11-10 17:32:43 | 0:00:11 | 48066 | failed install-port |
| 10.13 | 270945 | 2025-11-10 17:16:36 | 0:00:20 | 92949 | failed install-port |
| 10.14 | 244680 | 2025-11-10 17:16:23 | 0:00:47 | 83580 | failed install-port |
| 12 | 143495 | 2025-11-10 17:12:11 | 0:00:23 | 51540 | failed install-port |
| 10.10 | 311857 | 2025-11-10 17:09:57 | 0:00:25 | 102083 | failed install-port |
| 10.11 | 303749 | 2025-11-10 17:08:21 | 0:00:47 | 102231 | failed install-port |
| 10.15 | 221416 | 2025-11-10 17:06:34 | 0:00:25 | 72694 | failed install-port |
| 10.6.x86_64 | 251287 | 2025-11-10 17:04:04 | 0:00:05 | 74927 | failed install-dependencies |
| 10.8 | 219464 | 2025-11-10 17:03:47 | 0:00:35 | 72556 | failed install-port |
| 10.9 | 319942 | 2025-11-10 17:00:13 | 0:00:27 | 101760 | failed install-port |
| 10.6 | 214247 | 2025-11-10 16:55:51 | 0:00:27 | 74862 | failed install-port |
| 10.7 | 234630 | 2025-11-10 16:55:49 | 0:00:31 | 74526 | failed install-port |
| 11 | 193645 | 2025-11-10 16:26:53 | 0:00:29 | 62665 | failed install-port |
| 10.12 | 313976 | 2025-11-10 16:26:44 | 0:00:26 | 100969 | failed install-port |
| 12.arm64 | 154804 | 2025-11-10 15:50:58 | 0:00:07 | 51273 | failed install-port |
| 26.arm64 | 2729 | 2025-09-19 15:27:14 | 0:05:42 | 143 | build successful |
| 11.arm64 | 117619 | 2025-09-03 9:43:17 | 0:00:22 | 45878 | failed install-port |
| 11.arm64 | 117586 | 2025-09-03 7:07:06 | 0:00:18 | 45824 | failed install-port |
| 11.arm64 | 117583 | 2025-09-03 7:03:24 | 0:00:04 | 45820 | failed install-port |
| 11.arm64 | 117582 | 2025-09-03 7:02:03 | 0:00:27 | 45819 | failed install-port |
| 12.arm64 | 151614 | 2025-09-02 0:40:40 | 0:00:29 | 49485 | failed install-port |
| 12 | 139639 | 2025-09-01 23:12:50 | 0:01:19 | 49745 | failed install-port |
| 10.6 | 209594 | 2025-09-01 22:36:21 | 0:01:14 | 73073 | failed install-dependencies |
| 10.13 | 266901 | 2025-09-01 22:29:22 | 0:03:27 | 91156 | failed install-port |
| 10.8 | 215243 | 2025-09-01 22:20:20 | 0:03:15 | 70764 | failed install-port |
| 10.6.x86_64 | 246377 | 2025-09-01 22:19:25 | 0:00:06 | 73136 | failed install-dependencies |
| 10.11 | 299593 | 2025-09-01 22:19:16 | 0:03:36 | 100437 | failed install-port |
| 10.14 | 240670 | 2025-09-01 22:18:42 | 0:04:30 | 81791 | failed install-port |
| 10.10 | 307507 | 2025-09-01 22:18:19 | 0:02:56 | 100292 | failed install-port |
| 10.12 | 309713 | 2025-09-01 22:17:59 | 0:03:23 | 99178 | failed install-port |
| 11 | 189304 | 2025-09-01 22:17:18 | 0:01:47 | 60871 | failed install-port |
| 10.15 | 217210 | 2025-09-01 22:16:53 | 0:01:26 | 70899 | failed install-port |
| 10.9 | 315494 | 2025-09-01 22:16:36 | 0:02:32 | 99968 | failed install-port |
| 10.7 | 230190 | 2025-09-01 22:16:17 | 0:03:23 | 72737 | failed install-port |
| 12.arm64 | 151577 | 2025-09-01 6:07:02 | 0:00:28 | 49431 | failed install-port |
| 11.arm64 | 116670 | 2025-08-30 23:12:31 | 0:00:11 | 45094 | failed install-port |
| 13 | 95263 | 2025-08-30 20:46:04 | 0:10:57 | 35422 | build successful |
| 14 | 66827 | 2025-08-30 14:52:17 | 0:11:45 | 23665 | build successful |
| 12 | 139575 | 2025-08-30 10:34:57 | 0:01:20 | 49691 | failed install-port |
| 12 | 139571 | 2025-08-30 10:26:41 | 0:00:47 | 49687 | failed install-port |
| 12 | 139569 | 2025-08-30 10:23:49 | 0:00:17 | 49686 | failed install-port |
| 10.13 | 266833 | 2025-08-30 8:22:57 | 0:00:13 | 91102 | failed install-port |
| 10.14 | 240607 | 2025-08-30 8:19:54 | 0:00:22 | 81737 | failed install-port |
| 10.10 | 307441 | 2025-08-30 8:18:50 | 0:00:19 | 100238 | failed install-port |
| 10.8 | 215176 | 2025-08-30 8:17:06 | 0:00:23 | 70710 | failed install-port |
| 10.7 | 230121 | 2025-08-30 8:16:37 | 0:00:20 | 72683 | failed install-port |
| 10.11 | 299535 | 2025-08-30 8:11:04 | 0:00:20 | 100383 | failed install-port |
| 10.9 | 315426 | 2025-08-30 8:05:19 | 0:00:16 | 99914 | failed install-port |
| 10.15 | 217145 | 2025-08-30 8:01:46 | 0:00:19 | 70845 | failed install-port |
| 10.12 | 309614 | 2025-08-30 8:00:17 | 0:00:19 | 99124 | failed install-port |
| 10.6 | 209520 | 2025-08-30 7:59:35 | 0:01:19 | 73019 | failed install-dependencies |
| 11 | 189212 | 2025-08-30 7:53:03 | 0:00:28 | 60817 | failed install-port |
| 15 | 38867 | 2025-08-30 7:36:20 | 0:10:56 | 11135 | build successful |
| 10.6.x86_64 | 246305 | 2025-08-30 7:30:58 | 0:00:06 | 73082 | failed install-dependencies |
| 15 | 38862 | 2025-08-30 6:34:31 | 0:00:04 | 11131 | failed install-dependencies |
| 15 | 38859 | 2025-08-30 6:32:37 | 0:00:03 | 11130 | failed install-dependencies |
| 14 | 66822 | 2025-08-30 5:55:42 | 0:00:03 | 23661 | failed install-dependencies |
| 14 | 66819 | 2025-08-30 5:53:50 | 0:00:03 | 23660 | failed install-dependencies |
| 10.14 | 240601 | 2025-08-30 5:14:26 | 0:00:06 | 81733 | failed install-dependencies |
| 10.13 | 266827 | 2025-08-30 5:13:37 | 0:00:06 | 91098 | failed install-dependencies |
| 10.10 | 307435 | 2025-08-30 5:00:38 | 0:00:07 | 100234 | failed install-dependencies |
| 10.8 | 215170 | 2025-08-30 4:57:11 | 0:00:08 | 70706 | failed install-dependencies |
| 10.7 | 230115 | 2025-08-30 4:55:48 | 0:00:08 | 72679 | failed install-dependencies |
| 10.15 | 217139 | 2025-08-30 4:53:55 | 0:00:06 | 70841 | failed install-dependencies |
| 12.arm64 | 151572 | 2025-08-30 4:52:33 | 0:00:05 | 49427 | failed install-port |
| 10.11 | 299529 | 2025-08-30 4:50:35 | 0:00:09 | 100379 | failed install-dependencies |
| 10.9 | 315420 | 2025-08-30 4:46:59 | 0:00:06 | 99910 | failed install-dependencies |
| 10.6.x86_64 | 246298 | 2025-08-30 4:33:23 | 0:00:08 | 73078 | failed install-dependencies |
| 11 | 189206 | 2025-08-30 4:23:09 | 0:00:07 | 60813 | failed install-dependencies |
| 10.12 | 309608 | 2025-08-30 4:22:08 | 0:00:07 | 99120 | failed install-dependencies |
| 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 |