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