spot (science/spot) Updated: 1 year, 5 months ago Add to my watchlist
Spot is an object-oriented model checking library written in C++.Version: 2.11.6 License: GPL-3
GitHub
214 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 9977 | 2024-10-11 1:24:58 | 0:11:13 | 894 | build successful |
| 10.13 | 242260 | 2024-08-11 6:48:55 | 0:07:19 | 80161 | failed install-port |
| 10.8 | 187751 | 2024-08-11 6:16:02 | 0:27:50 | 59650 | failed install-port |
| 10.10 | 280031 | 2024-08-11 6:08:34 | 0:01:13 | 89185 | failed install-port |
| 10.7 | 201353 | 2024-08-11 6:06:13 | 0:23:56 | 61597 | failed install-port |
| 10.9 | 287359 | 2024-08-11 5:52:45 | 0:19:27 | 88857 | failed install-port |
| 10.11 | 274019 | 2024-08-11 5:10:41 | 0:01:28 | 89347 | failed install-port |
| 10.12 | 283337 | 2024-08-11 5:07:42 | 0:03:49 | 88061 | failed install-port |
| 14.arm64 | 5971 | 2024-01-16 16:14:26 | 0:07:12 | 3247 | build successful |
| 10.11 | 246591 | 2023-12-27 22:26:53 | 0:02:30 | 80447 | failed install-port |
| 10.13 | 215879 | 2023-12-27 22:22:48 | 0:06:51 | 71291 | failed install-port |
| 10.12 | 255572 | 2023-12-27 22:22:46 | 0:03:51 | 79239 | failed install-port |
| 10.8 | 159513 | 2023-12-27 22:22:15 | 0:20:12 | 50816 | failed install-port |
| 10.9 | 257775 | 2023-12-27 22:18:53 | 0:19:16 | 80026 | failed install-port |
| 10.7 | 171785 | 2023-12-27 22:18:53 | 0:20:24 | 52759 | failed install-port |
| 10.10 | 250992 | 2023-12-27 22:18:46 | 0:01:32 | 80334 | failed install-port |
| 14 | 6053 | 2023-11-02 15:16:16 | 0:13:38 | 1241 | build successful |
| 11.arm64 | 103167 | 2023-09-19 6:51:19 | 0:07:12 | 37307 | build successful |
| 12.arm64 | 106632 | 2023-09-19 4:06:17 | 0:07:01 | 26116 | build successful |
| 10.14 | 180606 | 2023-09-19 3:55:04 | 0:18:45 | 58405 | build successful |
| 12 | 82504 | 2023-09-19 3:13:17 | 0:25:30 | 26109 | build successful |
| 10.13 | 205563 | 2023-09-19 3:13:08 | 0:04:13 | 67647 | failed install-port |
| 10.12 | 244820 | 2023-09-19 2:08:04 | 0:03:17 | 75595 | failed install-port |
| 10.11 | 236162 | 2023-09-19 1:42:54 | 0:00:55 | 76801 | failed install-port |
| 11 | 127856 | 2023-09-19 1:33:23 | 0:25:55 | 37313 | build successful |
| 10.10 | 240014 | 2023-09-19 1:19:16 | 0:01:02 | 76690 | failed install-port |
| 10.7 | 160552 | 2023-09-19 1:18:11 | 0:29:44 | 49110 | failed install-port |
| 10.8 | 148893 | 2023-09-19 1:17:59 | 0:30:39 | 47171 | failed install-port |
| 10.6 | 136594 | 2023-09-19 1:17:49 | 0:41:13 | 49330 | build successful |
| 10.6.x86_64 | 171872 | 2023-09-19 1:17:30 | 0:40:24 | 49372 | build successful |
| 10.9 | 246598 | 2023-09-19 1:17:20 | 0:28:34 | 76381 | failed install-port |
| 10.15 | 156254 | 2023-09-19 1:17:11 | 0:30:40 | 47392 | build successful |
| 13 | 49825 | 2023-09-19 1:17:01 | 0:15:14 | 11863 | build successful |
| 13.arm64 | 36140 | 2023-09-19 1:16:51 | 0:08:27 | 11723 | build successful |
| 10.7 | 158137 | 2023-08-30 8:40:50 | 0:15:48 | 48450 | failed install-port |
| 10.10 | 237686 | 2023-08-30 8:24:32 | 0:01:42 | 76031 | failed install-port |
| 10.8 | 146557 | 2023-08-30 8:20:37 | 0:20:43 | 46509 | failed install-port |
| 10.9 | 244219 | 2023-08-30 8:10:19 | 0:20:37 | 75720 | failed install-port |
| 10.11 | 233985 | 2023-08-30 7:46:36 | 0:02:07 | 76143 | failed install-port |
| 10.12 | 242540 | 2023-08-30 7:38:02 | 0:04:00 | 74936 | failed install-port |
| 10.13 | 203373 | 2023-08-30 7:34:32 | 0:08:06 | 66988 | failed install-port |
| 10.7 | 142848 | 2023-05-06 16:53:54 | 0:26:41 | 43860 | failed install-port |
| 10.8 | 133092 | 2023-05-05 17:58:22 | 0:15:18 | 41923 | failed install-port |
| 10.6 | 117818 | 2023-05-05 14:12:42 | 0:31:18 | 44088 | build successful |
| 10.10 | 224224 | 2023-05-05 10:02:37 | 0:01:32 | 71438 | failed install-port |
| 10.14 | 165462 | 2023-05-05 5:23:43 | 0:27:45 | 53205 | build successful |
| 11.arm64 | 91426 | 2023-05-05 3:14:58 | 0:08:21 | 32098 | build successful |
| 10.13 | 190905 | 2023-05-05 2:32:15 | 0:05:48 | 62443 | failed install-port |
| 12.arm64 | 93142 | 2023-05-05 0:54:13 | 0:08:56 | 20902 | build successful |
| 12 | 68085 | 2023-05-05 0:45:13 | 0:20:28 | 20904 | build successful |
| 10.15 | 140340 | 2023-05-04 23:33:35 | 0:22:00 | 42196 | build successful |
| 10.6.x86_64 | 153142 | 2023-05-04 22:06:46 | 0:28:57 | 44125 | build successful |
| 10.11 | 221162 | 2023-05-04 21:59:43 | 0:01:47 | 71564 | failed install-port |
| 10.9 | 230447 | 2023-05-04 20:16:14 | 0:18:00 | 71138 | failed install-port |
| 11 | 113173 | 2023-05-04 20:16:02 | 0:23:34 | 32112 | build successful |
| 10.12 | 229797 | 2023-05-04 20:15:50 | 0:03:54 | 70363 | failed install-port |
| 13 | 31642 | 2023-05-04 20:15:38 | 0:15:12 | 6654 | build successful |
| 13.arm64 | 20749 | 2023-05-04 20:15:23 | 0:07:27 | 6494 | build successful |
| 13.arm64 | 5634 | 2023-03-03 13:29:02 | 0:07:03 | 3279 | build successful |
| 10.11 | 211917 | 2023-02-20 19:56:53 | 0:03:07 | 68755 | failed install-port |
| 10.12 | 219713 | 2023-02-20 19:56:38 | 0:04:38 | 67556 | failed install-port |
| 10.13 | 181583 | 2023-02-20 19:56:28 | 0:05:04 | 59634 | failed install-port |
| 10.10 | 214900 | 2023-02-20 19:56:18 | 0:02:06 | 68636 | failed install-port |
| 13 | 11593 | 2023-01-08 16:35:39 | 0:12:48 | 1679 | build successful |
| 10.11 | 206781 | 2023-01-08 13:58:57 | 0:02:32 | 66928 | failed install-port |
| 10.10 | 209278 | 2023-01-08 13:57:43 | 0:02:01 | 66808 | failed install-port |
| 10.12 | 214016 | 2023-01-08 13:57:32 | 0:04:16 | 65727 | failed install-port |
| 10.13 | 176549 | 2023-01-08 13:57:11 | 0:05:23 | 57806 | failed install-port |
| 10.13 | 153024 | 2022-06-04 16:41:18 | 0:06:44 | 49991 | failed install-port |
| 10.10 | 185528 | 2022-06-04 16:33:33 | 0:02:37 | 58986 | failed install-port |
| 10.11 | 184454 | 2022-06-04 16:31:56 | 0:03:10 | 59101 | failed install-port |
| 10.12 | 188909 | 2022-06-04 16:05:14 | 0:03:36 | 57905 | failed install-port |
| 10.13 | 141779 | 2022-02-11 3:57:40 | 0:08:37 | 46213 | failed install-port |
| 10.8 | 80038 | 2022-02-10 23:49:18 | 0:44:59 | 25678 | build successful |
| 10.14 | 118271 | 2022-02-10 23:26:30 | 0:28:15 | 36982 | build successful |
| 10.7 | 88681 | 2022-02-10 23:14:50 | 0:40:48 | 27624 | build successful |
| 10.10 | 174195 | 2022-02-10 22:05:37 | 0:02:31 | 55209 | failed install-port |
| 12 | 21237 | 2022-02-10 14:43:03 | 0:40:56 | 4645 | build successful |
| 10.15 | 90803 | 2022-02-10 12:17:16 | 0:21:46 | 25983 | build successful |
| 10.11 | 172913 | 2022-02-10 11:11:22 | 0:02:57 | 55319 | failed install-port |
| 10.9 | 178968 | 2022-02-10 10:54:57 | 0:29:38 | 54898 | build successful |
| 10.12 | 177559 | 2022-02-10 2:27:22 | 0:03:50 | 54129 | failed install-port |
| 11 | 63813 | 2022-02-10 1:48:03 | 0:27:02 | 15861 | build successful |
| 12.arm64 | 42330 | 2022-02-10 0:41:10 | 0:07:06 | 4628 | build successful |
| 10.6 | 58516 | 2022-02-09 21:43:50 | 0:55:35 | 27805 | build successful |
| 10.6.x86_64 | 92617 | 2022-02-09 19:22:29 | 0:59:01 | 27766 | build successful |
| 11.arm64 | 46485 | 2022-02-09 16:22:28 | 0:07:39 | 15802 | build successful |
| 10.11 | 171359 | 2022-01-24 15:38:51 | 0:02:58 | 54719 | failed install-port |
| 10.13 | 140224 | 2022-01-24 15:25:21 | 0:05:12 | 45614 | failed install-port |
| 10.12 | 176003 | 2022-01-24 14:58:56 | 0:03:17 | 53530 | failed install-port |
| 10.10 | 172630 | 2022-01-24 14:57:52 | 0:02:04 | 54609 | failed install-port |
| 12 | 5908 | 2021-12-07 1:58:06 | 0:26:47 | 1388 | build successful |
| 12.arm64 | 29623 | 2021-11-26 5:22:17 | 0:07:53 | 1603 | build successful |
| 10.8 | 68677 | 2021-11-25 19:56:32 | 0:32:20 | 22476 | build successful |
| 10.7 | 76503 | 2021-11-25 19:00:17 | 0:40:15 | 24618 | build successful |
| 10.6.x86_64 | 81071 | 2021-11-25 18:52:15 | 0:35:41 | 24586 | build successful |
| 10.11 | 162014 | 2021-11-25 18:45:20 | 0:04:28 | 52145 | failed install-port |
| 10.9 | 168043 | 2021-11-25 18:38:42 | 0:36:03 | 51894 | build successful |
| 10.15 | 79458 | 2021-11-25 18:34:31 | 0:26:58 | 22786 | build successful |
| 11 | 54319 | 2021-11-25 18:34:23 | 0:25:18 | 12602 | build successful |