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 2 of 3 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.14 | 107508 | 2021-11-25 12:19:38 | 0:05:00 | 33789 | build successful |
| 10.12 | 166738 | 2021-11-25 12:19:19 | 0:03:40 | 51125 | build successful |
| 10.7 | 76487 | 2021-11-25 12:19:07 | 0:05:55 | 24612 | build successful |
| 10.10 | 163345 | 2021-11-25 12:18:59 | 0:03:54 | 52203 | build successful |
| 10.9 | 168030 | 2021-11-25 12:18:52 | 0:05:09 | 51888 | build successful |
| 10.13 | 131128 | 2021-11-25 12:18:44 | 0:04:33 | 43079 | build successful |
| 10.15 | 79445 | 2021-11-25 12:18:36 | 0:04:56 | 22780 | build successful |
| 11 | 54304 | 2021-11-25 12:15:43 | 0:04:55 | 12596 | build successful |
| 12.arm64 | 28773 | 2021-11-25 12:06:56 | 0:06:52 | 1591 | build successful |
| 10.6 | 34575 | 2021-06-20 19:20:57 | 0:48:41 | 19283 | build successful |
| 10.6.x86_64 | 60973 | 2021-06-20 15:55:40 | 0:30:42 | 19254 | build successful |
| 10.15 | 61223 | 2021-06-17 7:20:40 | 0:20:17 | 17372 | build successful |
| 10.14 | 89854 | 2021-06-17 6:30:25 | 0:16:03 | 28377 | build successful |
| 10.11 | 144837 | 2021-06-17 3:26:11 | 0:15:27 | 46724 | build successful |
| 11 | 34591 | 2021-06-17 2:14:37 | 0:23:22 | 7179 | build successful |
| 10.13 | 114211 | 2021-06-16 23:48:18 | 0:14:07 | 37669 | build successful |
| 10.12 | 149748 | 2021-06-16 22:56:56 | 0:14:36 | 45716 | build successful |
| 10.10 | 146243 | 2021-06-16 22:36:17 | 0:12:00 | 46791 | build successful |
| 10.6 | 34128 | 2021-06-16 21:36:32 | 0:00:51 | 19180 | failed install-dependencies |
| 10.9 | 150338 | 2021-06-16 19:47:24 | 0:30:46 | 46471 | build successful |
| 10.6.x86_64 | 60177 | 2021-06-16 18:06:45 | 0:00:45 | 19150 | failed install-dependencies |
| 10.7 | 56600 | 2021-06-16 17:51:49 | 0:25:08 | 19190 | build successful |
| 10.8 | 50074 | 2021-06-16 17:13:00 | 0:30:56 | 17052 | build successful |
| 11.arm64 | 23508 | 2021-06-16 13:51:51 | 0:09:40 | 7355 | build successful |
| 10.6 | 33674 | 2021-06-13 14:08:29 | 0:39:39 | 19060 | build successful |
| 10.6.x86_64 | 59707 | 2021-06-13 14:08:23 | 0:33:12 | 19027 | build successful |
| 11.arm64 | 22923 | 2021-06-13 14:08:13 | 0:07:34 | 7232 | build successful |
| 10.15 | 51246 | 2021-03-18 22:14:02 | 0:17:31 | 13410 | build successful |
| 10.9 | 138481 | 2021-02-14 14:43:57 | 0:25:09 | 42273 | build successful |
| 10.6.x86_64 | 47837 | 2021-02-12 23:58:54 | 0:00:32 | 14737 | failed install-dependencies |
| 11 | 19613 | 2021-02-05 8:37:22 | 0:24:49 | 2706 | build successful |
| 10.7 | 43569 | 2021-02-05 5:37:48 | 0:29:37 | 14714 | build successful |
| 10.14 | 78687 | 2021-02-05 5:36:38 | 0:25:30 | 23916 | build successful |
| 10.11 | 133091 | 2021-02-05 5:35:54 | 0:20:12 | 42263 | build successful |
| 10.13 | 102892 | 2021-02-05 5:33:25 | 0:19:04 | 33223 | build successful |
| 10.8 | 37704 | 2021-02-05 5:33:25 | 0:34:04 | 12572 | build successful |
| 10.12 | 138127 | 2021-02-05 5:33:02 | 0:18:19 | 41256 | build successful |
| 10.10 | 134647 | 2021-02-05 5:32:37 | 0:17:08 | 42321 | build successful |
| 10.6 | 25929 | 2021-02-05 5:31:36 | 0:00:46 | 14723 | failed install-dependencies |
| 11 | 5981 | 2020-12-08 12:32:35 | 0:24:27 | 358 | build successful |
| 10.6.x86_64 | 39986 | 2020-12-01 1:33:21 | 0:00:33 | 12540 | failed install-dependencies |
| 10.6 | 20976 | 2020-12-01 1:33:02 | 0:00:42 | 12532 | failed install-dependencies |
| 11.arm64 | 3946 | 2020-12-01 1:32:46 | 0:00:08 | 609 | failed install-dependencies |
| 10.15 | 43209 | 2020-11-25 2:13:52 | 0:19:18 | 11118 | build successful |
| 10.12 | 131353 | 2020-11-25 1:16:04 | 0:20:31 | 38880 | build successful |
| 10.6.x86_64 | 39321 | 2020-11-24 23:56:13 | 0:00:33 | 12333 | failed install-dependencies |
| 10.14 | 71931 | 2020-11-24 23:01:48 | 0:22:18 | 21566 | build successful |
| 10.13 | 95987 | 2020-11-24 22:38:55 | 0:17:15 | 30839 | build successful |
| 10.11 | 126122 | 2020-11-24 21:16:45 | 0:25:16 | 39882 | build successful |
| 10.8 | 30311 | 2020-11-24 21:16:36 | 0:47:09 | 10186 | build successful |
| 10.9 | 131418 | 2020-11-24 21:16:25 | 0:33:59 | 39889 | build successful |
| 10.10 | 127768 | 2020-11-24 21:16:10 | 0:23:29 | 39938 | build successful |
| 10.6 | 20541 | 2020-11-24 21:16:01 | 0:00:44 | 12325 | failed install-dependencies |
| 10.7 | 35490 | 2020-11-24 21:15:49 | 0:38:16 | 12322 | build successful |
| 11.arm64 | 2929 | 2020-11-24 21:15:40 | 0:00:08 | 400 | failed install-dependencies |
| 10.12 | 121081 | 2020-07-07 7:21:02 | 0:15:33 | 33590 | build successful |
| 10.7 | 24360 | 2020-06-26 16:29:38 | 0:27:23 | 7027 | build successful |
| 10.8 | 17051 | 2020-06-18 20:55:13 | 0:28:42 | 4893 | build successful |
| 10.10 | 117024 | 2020-06-18 7:38:35 | 0:13:22 | 34651 | build successful |
| 10.6 | 13396 | 2020-05-28 6:49:28 | 0:00:39 | 7026 | failed install-dependencies |
| 10.15 | 31496 | 2020-05-27 19:17:42 | 0:22:06 | 5824 | build successful |
| 10.14 | 60734 | 2020-05-27 19:10:21 | 0:20:38 | 16274 | build successful |
| 10.6.x86_64 | 27358 | 2020-05-27 19:04:19 | 0:00:49 | 7028 | failed install-dependencies |
| 10.9 | 119967 | 2020-05-27 18:58:37 | 0:11:18 | 34599 | failed install-port |
| 10.11 | 114914 | 2020-05-27 18:44:52 | 0:18:27 | 34588 | build successful |
| 10.13 | 84840 | 2020-05-27 18:44:15 | 0:20:22 | 25546 | build successful |
| 10.6 | 6635 | 2020-01-02 5:38:34 | 0:01:03 | 3054 | failed install-dependencies |
| 10.6.x86_64 | 13777 | 2020-01-02 4:46:28 | 0:00:40 | 3039 | failed install-dependencies |
| 10.9 | 109026 | 2020-01-02 3:11:19 | 0:11:35 | 30636 | failed install-port |