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 4 of 5 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.8 | 58522 | 2021-08-25 19:55:39 | 0:04:33 | 19074 | failed install-port |
| 10.6 | 38633 | 2021-08-25 19:29:10 | 0:06:27 | 21208 | failed install-port |
| 10.6.x86_64 | 70981 | 2021-08-25 19:28:49 | 0:06:16 | 21179 | failed install-port |
| 10.6 | 38628 | 2021-08-25 19:05:23 | 0:07:17 | 21207 | failed install-port |
| 10.6.x86_64 | 70975 | 2021-08-25 19:04:31 | 0:06:43 | 21178 | failed install-port |
| 10.7 | 66053 | 2021-08-25 18:56:06 | 0:04:19 | 21213 | failed install-port |
| 10.8 | 58514 | 2021-08-25 18:54:05 | 0:03:39 | 19072 | failed install-port |
| 10.9 | 157403 | 2021-08-25 18:14:09 | 0:43:50 | 48490 | build successful |
| 10.11 | 151780 | 2021-08-25 18:11:20 | 0:33:09 | 48741 | build successful |
| 10.7 | 66046 | 2021-08-25 18:06:54 | 0:03:55 | 21212 | failed install-port |
| 10.8 | 58507 | 2021-08-25 18:03:18 | 0:04:57 | 19071 | failed install-port |
| 10.6 | 38623 | 2021-08-25 18:00:33 | 0:07:04 | 21205 | failed install-port |
| 10.6.x86_64 | 70969 | 2021-08-25 17:58:27 | 0:06:37 | 21176 | failed install-port |
| 10.10 | 153154 | 2021-08-25 17:52:31 | 0:15:37 | 48804 | build successful |
| 10.6.x86_64 | 70963 | 2021-08-25 17:36:18 | 0:06:18 | 21175 | failed install-port |
| 10.6 | 38618 | 2021-08-25 17:36:13 | 0:07:12 | 21204 | failed install-port |
| 10.9 | 155481 | 2021-07-30 3:02:36 | 0:06:09 | 47695 | failed install-port |
| 10.15 | 67064 | 2021-07-30 2:16:21 | 0:20:48 | 18592 | build successful |
| 10.13 | 119154 | 2021-07-30 2:03:39 | 0:31:44 | 38889 | build successful |
| 11 | 41733 | 2021-07-30 1:51:23 | 0:27:40 | 8405 | build successful |
| 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 |