spot (science/spot) Updated: 2 years, 2 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
237 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.13 | 270649 | 2025-11-06 0:15:54 | 0:04:59 | 92817 | failed install-port |
| 10.11 | 303432 | 2025-11-05 15:04:08 | 0:01:54 | 102099 | failed install-port |
| 10.7 | 234306 | 2025-11-05 14:51:38 | 0:29:53 | 74394 | failed install-port |
| 10.12 | 313668 | 2025-11-05 14:47:34 | 0:04:14 | 100837 | failed install-port |
| 10.8 | 219152 | 2025-11-05 14:44:43 | 0:31:48 | 72424 | failed install-port |
| 10.10 | 311522 | 2025-11-05 14:42:58 | 0:01:36 | 101951 | failed install-port |
| 10.9 | 319612 | 2025-11-05 14:37:43 | 0:23:53 | 101628 | failed install-port |
| 26.arm64 | 12138 | 2025-09-29 3:49:11 | 0:08:30 | 621 | build successful |
| 10.8 | 211477 | 2025-08-01 6:28:11 | 0:20:34 | 69900 | failed install-port |
| 10.11 | 296207 | 2025-08-01 6:24:38 | 0:01:26 | 99596 | failed install-port |
| 10.13 | 264232 | 2025-08-01 6:18:03 | 0:06:28 | 90375 | failed install-port |
| 10.10 | 303879 | 2025-08-01 6:17:24 | 0:01:06 | 99444 | failed install-port |
| 10.12 | 306496 | 2025-08-01 6:17:13 | 0:03:45 | 98362 | failed install-port |
| 10.9 | 311514 | 2025-08-01 6:16:54 | 0:22:19 | 99112 | failed install-port |
| 10.7 | 226255 | 2025-08-01 6:15:57 | 0:18:26 | 71864 | failed install-port |
| 10.12 | 299670 | 2025-03-24 17:53:06 | 0:04:03 | 95304 | failed install-port |
| 10.13 | 257496 | 2025-03-24 17:28:14 | 0:06:08 | 87362 | failed install-port |
| 10.7 | 218898 | 2025-03-23 17:00:04 | 0:21:54 | 68815 | failed install-port |
| 10.11 | 289596 | 2025-03-23 16:57:48 | 0:01:23 | 96551 | failed install-port |
| 10.8 | 204398 | 2025-03-23 16:57:04 | 0:23:47 | 66853 | failed install-port |
| 10.10 | 296675 | 2025-03-23 16:56:59 | 0:00:57 | 96390 | failed install-port |
| 10.9 | 304225 | 2025-03-23 16:53:17 | 0:21:22 | 96062 | failed install-port |
| 15.arm64 | 15836 | 2025-03-15 19:48:42 | 0:07:57 | 6075 | build successful |
| 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 |