z3-fstar (math/z3) Updated: 1 month, 2 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
318 build(s) found
Page 3 of 4 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.12 | 154764 | 2021-07-30 1:48:01 | 0:31:08 | 46937 | build successful |
| 10.7 | 64097 | 2021-07-30 1:38:11 | 0:06:46 | 20420 | failed install-port |
| 10.11 | 149847 | 2021-07-30 1:31:16 | 0:06:38 | 47949 | failed install-port |
| 10.14 | 95684 | 2021-07-30 1:19:06 | 0:27:12 | 29598 | build successful |
| 10.10 | 151225 | 2021-07-30 0:05:17 | 0:06:36 | 48012 | failed install-port |
| 10.8 | 56604 | 2021-07-29 23:06:39 | 0:04:00 | 18279 | failed install-port |
| 11.arm64 | 27121 | 2021-07-29 22:35:45 | 0:06:59 | 8590 | build successful |
| 10.6.x86_64 | 69220 | 2021-07-29 22:34:05 | 0:05:32 | 20383 | failed install-port |
| 10.6 | 37713 | 2021-07-29 22:31:13 | 0:06:14 | 20412 | failed install-port |
| 10.6 | 36580 | 2021-07-15 23:46:19 | 0:06:13 | 19954 | failed install-port |
| 10.6.x86_64 | 67418 | 2021-07-15 22:44:39 | 0:07:04 | 19926 | failed install-port |
| 10.8 | 55017 | 2021-07-15 20:49:08 | 0:04:04 | 17822 | failed install-port |
| 10.7 | 62049 | 2021-07-15 20:32:01 | 0:04:21 | 19964 | failed install-port |
| 10.8 | 49931 | 2021-06-15 18:36:18 | 0:05:12 | 17011 | failed install-port |
| 10.6 | 34004 | 2021-06-15 18:05:53 | 0:06:09 | 19139 | failed install-port |
| 10.6.x86_64 | 60038 | 2021-06-15 15:39:28 | 0:06:01 | 19109 | failed install-port |
| 10.7 | 56455 | 2021-06-15 13:26:18 | 0:04:14 | 19149 | failed install-port |
| 10.6 | 33878 | 2021-06-15 0:32:36 | 0:07:46 | 19109 | failed install-port |
| 10.6.x86_64 | 59887 | 2021-06-14 15:35:16 | 0:07:00 | 19079 | failed install-port |
| 10.7 | 56320 | 2021-06-14 14:13:29 | 0:05:21 | 19119 | failed install-port |
| 10.8 | 49797 | 2021-06-14 14:07:16 | 0:05:41 | 16981 | failed install-port |
| 10.6.x86_64 | 59075 | 2021-06-09 6:55:35 | 0:07:56 | 18809 | failed install-port |
| 10.6 | 33191 | 2021-06-09 6:49:40 | 0:07:33 | 18843 | failed install-port |
| 10.6.x86_64 | 58377 | 2021-06-03 23:49:14 | 0:01:01 | 18604 | failed install-dependencies |
| 10.7 | 54816 | 2021-06-03 22:16:50 | 0:05:12 | 18643 | failed install-port |
| 10.6 | 32597 | 2021-06-03 21:28:17 | 0:01:09 | 18635 | failed install-dependencies |
| 10.8 | 48379 | 2021-06-03 21:21:15 | 0:06:09 | 16504 | failed install-port |
| 10.8 | 48372 | 2021-06-03 20:32:57 | 0:05:53 | 16501 | failed install-port |
| 10.7 | 52194 | 2021-05-08 7:49:23 | 0:08:02 | 17692 | failed install-port |
| 10.8 | 45887 | 2021-05-08 7:24:00 | 0:07:18 | 15552 | failed install-port |
| 10.6 | 30707 | 2021-05-07 23:27:01 | 0:01:24 | 17681 | failed install-dependencies |
| 10.6.x86_64 | 55468 | 2021-05-07 19:14:36 | 0:01:28 | 17647 | failed install-dependencies |
| 10.8 | 36940 | 2021-01-27 23:53:50 | 0:05:28 | 12279 | failed install-port |
| 10.7 | 42644 | 2021-01-27 23:52:12 | 0:04:57 | 14421 | failed install-port |
| 10.6 | 25362 | 2021-01-27 23:44:35 | 0:05:51 | 14430 | failed install-port |
| 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 |