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 5 of 5 | Showing build(s) 401 to 438
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11.arm64 | 4233 | 2020-12-02 17:50:05 | 0:00:18 | 698 | failed install-dependencies |
| 10.6 | 21103 | 2020-12-02 4:30:20 | 0:23:24 | 12594 | failed install-port |
| 10.6.x86_64 | 40172 | 2020-12-02 4:03:41 | 0:13:26 | 12602 | failed install-port |
| 11.arm64 | 4149 | 2020-12-02 2:51:26 | 0:00:35 | 671 | failed install-dependencies |
| 10.6.x86_64 | 38254 | 2020-11-05 18:10:22 | 0:11:46 | 11782 | failed install-port |
| 10.6 | 19928 | 2020-11-05 18:00:12 | 0:21:36 | 11773 | failed install-port |
| 10.12 | 128213 | 2020-10-11 12:27:26 | 0:13:39 | 37335 | build successful |
| 10.14 | 68715 | 2020-10-08 23:34:31 | 0:18:17 | 20021 | build successful |
| 10.11 | 122931 | 2020-10-08 20:44:17 | 0:13:56 | 38337 | build successful |
| 10.10 | 124559 | 2020-10-08 12:45:19 | 0:13:22 | 38393 | build successful |
| 10.13 | 92782 | 2020-10-07 18:05:59 | 0:17:04 | 29294 | build successful |
| 10.15 | 39705 | 2020-10-07 3:18:43 | 0:13:00 | 9573 | build successful |
| 10.8 | 26965 | 2020-10-06 22:43:34 | 0:18:55 | 8640 | build successful |
| 10.9 | 128114 | 2020-10-06 21:29:25 | 0:13:03 | 38344 | build successful |
| 10.6 | 18565 | 2020-10-06 20:50:28 | 0:29:12 | 10778 | failed install-port |
| 10.6.x86_64 | 35912 | 2020-10-06 20:48:06 | 0:14:56 | 10787 | failed install-port |
| 10.7 | 32030 | 2020-10-06 20:41:36 | 0:20:10 | 10775 | build successful |
| 10.12 | 120293 | 2020-06-29 5:04:00 | 0:14:26 | 33089 | build successful |
| 10.6 | 14274 | 2020-06-26 4:29:08 | 0:26:25 | 7757 | build successful |
| 10.14 | 62330 | 2020-06-26 4:20:04 | 0:20:27 | 17000 | build successful |
| 10.11 | 116518 | 2020-06-26 4:16:30 | 0:19:25 | 35317 | build successful |
| 10.13 | 86443 | 2020-06-26 4:15:08 | 0:23:21 | 26272 | build successful |
| 10.10 | 118109 | 2020-06-26 4:13:13 | 0:23:36 | 35374 | build successful |
| 10.15 | 33107 | 2020-06-26 4:12:55 | 0:18:24 | 6551 | build successful |
| 10.6.x86_64 | 29054 | 2020-06-26 4:10:51 | 0:19:10 | 7765 | build successful |
| 10.9 | 121593 | 2020-06-26 4:05:29 | 0:14:51 | 35326 | build successful |
| 10.6 | 10041 | 2020-03-19 1:04:52 | 1:11:22 | 4353 | build successful |
| 10.6.x86_64 | 20501 | 2020-02-21 23:16:17 | 0:17:02 | 4482 | build successful |
| 10.6.x86_64 | 20071 | 2020-02-18 1:40:44 | 0:10:38 | 4356 | failed install-port |
| 10.6.x86_64 | 20065 | 2020-02-18 1:07:42 | 0:10:48 | 4355 | failed install-port |
| 10.6 | 8700 | 2020-01-27 15:32:50 | 0:21:06 | 3767 | failed install-port |
| 10.6.x86_64 | 16929 | 2020-01-27 14:17:39 | 0:10:57 | 3752 | failed install-port |
| 10.6 | 7320 | 2020-01-14 4:10:31 | 0:21:50 | 3411 | failed install-port |
| 10.6.x86_64 | 14901 | 2020-01-13 22:01:10 | 0:16:37 | 3395 | failed install-port |
| 10.6 | 2156 | 2019-11-04 6:32:29 | 0:19:01 | 666 | failed install-port |
| 10.6.x86_64 | 4244 | 2019-11-01 15:55:23 | 0:14:31 | 668 | failed install-port |
| 10.9 | 98830 | 2019-10-01 3:33:02 | 0:29:32 | 27923 | build successful |
| 10.10 | 96258 | 2019-10-01 2:14:46 | 0:27:33 | 27979 | build successful |