spot (science/spot) Updated: 1 week ago Add to my watchlist
Spot is an object-oriented model checking library written in C++.Version: 2.14.5 License: GPL-3
GitHub
266 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 12.arm64 | 163426 | 2026-04-14 8:30:08 | 0:11:23 | 55653 | build successful |
| 11.arm64 | 134745 | 2026-04-13 7:11:17 | 0:10:57 | 52334 | build successful |
| 12 | 154315 | 2026-04-10 8:30:39 | 0:28:30 | 55932 | build successful |
| 13.arm64 | 101567 | 2026-04-10 8:10:59 | 0:09:45 | 41696 | build successful |
| 15.arm64 | 41562 | 2026-04-10 0:39:24 | 0:09:51 | 16814 | build successful |
| 14 | 80662 | 2026-04-09 15:01:38 | 0:11:57 | 30147 | build successful |
| 26.arm64 | 32403 | 2026-04-09 12:04:34 | 0:08:41 | 6541 | build successful |
| 10.15 | 232579 | 2026-04-09 4:13:13 | 0:26:23 | 77104 | build successful |
| 15 | 55003 | 2026-04-09 4:05:48 | 0:11:35 | 17651 | build successful |
| 11 | 206143 | 2026-04-08 22:47:17 | 0:27:22 | 67363 | build successful |
| 10.13 | 283291 | 2026-04-08 22:39:42 | 0:36:22 | 97391 | build successful |
| 10.14 | 256248 | 2026-04-08 22:14:03 | 0:30:46 | 87986 | build successful |
| 14.arm64 | 75041 | 2026-04-08 19:38:23 | 0:11:10 | 29720 | build successful |
| 13 | 107406 | 2026-04-08 19:05:20 | 0:12:23 | 41623 | build successful |
| 10.12 | 328216 | 2026-04-08 18:50:16 | 0:16:29 | 105723 | failed install-port |
| 10.6 | 230350 | 2026-04-08 12:43:23 | 0:52:28 | 79659 | build successful |
| 10.6.x86_64 | 267658 | 2026-04-08 12:37:21 | 0:50:46 | 79726 | build successful |
| 10.7 | 249291 | 2026-04-08 12:34:25 | 0:16:56 | 78993 | failed install-port |
| 10.10 | 327093 | 2026-04-08 12:33:47 | 0:16:14 | 106580 | failed install-port |
| 10.11 | 317747 | 2026-04-08 12:32:59 | 0:14:02 | 106860 | failed install-port |
| 10.8 | 234372 | 2026-04-08 12:32:11 | 0:17:33 | 77097 | failed install-port |
| 10.9 | 335450 | 2026-04-08 12:31:29 | 0:14:04 | 106466 | failed install-port |
| 10.8 | 227914 | 2026-02-08 6:28:30 | 0:17:54 | 75131 | failed install-port |
| 10.10 | 320475 | 2026-02-07 20:33:46 | 0:00:56 | 104633 | failed install-port |
| 10.7 | 243318 | 2026-02-07 19:30:32 | 0:18:30 | 77082 | failed install-port |
| 10.9 | 328504 | 2026-02-06 21:47:25 | 0:18:26 | 104296 | failed install-port |
| 10.11 | 311488 | 2026-02-04 22:28:22 | 0:01:27 | 104697 | failed install-port |
| 10.13 | 277421 | 2026-02-04 16:49:05 | 0:09:16 | 95374 | failed install-port |
| 10.12 | 321076 | 2026-02-04 2:11:04 | 0:03:49 | 103392 | failed install-port |
| 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 |