spot (science/spot) Updated: 6 months, 1 week ago Add to my watchlist

Spot is an object-oriented model checking library written in C++.
Version: 2.11.6 License: GPL-3 GitHub
Reset

206 build(s) found

Page 1 of 3 | Showing build(s) 1 to 100

Builder Build Number Start Time Elapsed Time Watcher Build Status
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
10.10 163358 2021-11-25 18:34:14 0:03:26 52209 failed install-port
10.14 107521 2021-11-25 18:13:18 0:23:56 33795 build successful
10.13 131141 2021-11-25 18:02:21 0:09:47 43085 failed install-port
11.arm64 35489 2021-11-25 17:34:13 0:08:37 12784 build successful
10.12 166751 2021-11-25 17:22:45 0:04:32 51131 failed install-port
10.6 45721 2021-11-25 16:20:10 0:42:12 24613 build successful
10.11 162001 2021-11-25 12:20:13 0:04:11 52139 build successful
10.8 68664 2021-11-25 12:19:52 0:06:22 22470 build successful