z3-fstar (math/z3) Updated: 7 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
438 build(s) found
Page 1 of 5 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 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 |