z3-fstar (math/z3) Updated: 10 months, 2 weeks ago Add to my watchlist

F*-qualified release of the Z3 Theorem Prover

Private version of the Z3 Theorem Prover for use by (and qualified to work with) F*.

Version: 4.13.3 License: MIT GitHub
Reset

483 build(s) found

Page 5 of 5 | Showing build(s) 401 to 483

Builder Build Number Start Time Elapsed Time Watcher Build Status
10.6.x86_64 46931 2021-01-27 23:37:41 0:04:21 14443 failed install-port
11.arm64 9619 2021-01-20 6:04:57 0:10:54 2241 build successful
10.6 23048 2021-01-03 5:25:15 0:05:44 13586 failed install-port
10.6.x86_64 43361 2021-01-03 3:10:02 0:04:06 13595 failed install-port
10.7 39428 2021-01-03 2:49:15 0:04:44 13583 failed install-port
10.6 23037 2021-01-03 2:46:53 0:05:36 13584 failed install-port
11.arm64 7171 2021-01-03 2:44:55 0:00:19 1670 failed install-dependencies
10.8 34083 2021-01-03 2:38:45 0:05:41 11447 failed install-port
10.6.x86_64 43348 2021-01-03 2:19:35 0:04:13 13593 failed install-port
11.arm64 7138 2021-01-03 2:10:39 0:00:19 1668 failed install-dependencies
10.8 34073 2021-01-03 1:45:00 0:05:42 11445 failed install-port
10.7 39418 2021-01-03 1:42:21 0:04:57 13581 failed install-port
10.8 32624 2020-12-16 18:37:41 0:05:32 10914 failed install-port
10.7 37897 2020-12-16 18:36:07 0:04:55 13050 failed install-port
10.9 133614 2020-12-16 18:23:24 0:23:37 40615 build successful
10.6 22017 2020-12-16 18:23:24 0:05:35 13054 failed install-port
10.6.x86_64 41766 2020-12-16 18:08:39 0:05:32 13062 failed install-port
11.arm64 5564 2020-12-16 17:44:44 0:00:18 1135 failed install-dependencies
11 6600 2020-12-12 7:48:03 0:17:57 594 build successful
10.12 132501 2020-12-04 20:44:29 0:35:13 39253 build successful
10.10 128965 2020-12-04 19:45:06 0:21:15 40313 build successful
10.13 97146 2020-12-04 19:30:48 0:27:09 31211 build successful
10.7 36890 2020-12-04 19:13:30 0:04:53 12697 failed install-port
10.14 73114 2020-12-04 18:47:38 0:22:17 21937 build successful
10.6 21488 2020-12-04 18:32:15 0:06:05 12701 failed install-port
10.15 44449 2020-12-04 17:38:21 0:16:20 11491 build successful
10.11 127293 2020-12-04 17:28:11 0:18:09 40257 build successful
10.6.x86_64 40765 2020-12-04 17:24:20 0:04:20 12709 failed install-port
10.8 31651 2020-12-04 16:39:21 0:00:51 10561 failed install-dependencies
10.9 132698 2020-12-04 16:37:53 0:00:33 40263 failed install-dependencies
11.arm64 4715 2020-12-04 16:36:36 0:01:14 778 failed install-dependencies
10.6 21167 2020-12-02 20:11:03 0:22:08 12624 failed install-port
10.6.x86_64 40278 2020-12-02 19:27:40 0:11:58 12632 failed install-port
10.15 44016 2020-12-02 18:51:59 0:22:34 11414 build successful
10.14 72708 2020-12-02 18:51:08 0:36:49 21860 build successful
10.12 132100 2020-12-02 18:50:18 0:42:44 39176 build successful
10.13 96743 2020-12-02 18:47:35 0:42:57 31134 build successful
10.11 126880 2020-12-02 18:46:33 0:36:18 40180 build successful
10.10 128545 2020-12-02 18:45:44 0:38:28 40236 build successful
10.8 31190 2020-12-02 18:44:40 0:45:47 10484 build successful
10.7 36421 2020-12-02 18:43:25 0:45:02 12620 build successful
11.arm64 4245 2020-12-02 18:42:23 0:00:18 701 failed install-dependencies
10.9 132261 2020-12-02 18:42:07 0:33:05 40186 build successful
10.6 21155 2020-12-02 18:24:25 0:23:36 12621 failed install-port
10.6.x86_64 40263 2020-12-02 18:08:00 0:13:17 12629 failed install-port
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


Quick Links:
MacPorts
Port Information was updated:
2 hours ago
de13e8f8

Most recent build (in app's database) ran:
2 hours ago

Latest stats submission was received:
13 minutes ago