z3-fstar-legacy (math/z3) Updated: 18 hours 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
15 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |