spot (science/spot) Updated: 7 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
206 build(s) found
Page 2 of 3 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.15 | 16676 | 2019-12-25 23:45:17 | 0:19:45 | 1717 | build successful |
| 10.6 | 3063 | 2019-11-13 1:14:59 | 0:00:41 | 1033 | failed install-dependencies |
| 10.8 | 6954 | 2019-11-12 5:07:05 | 0:29:57 | 1620 | build successful |
| 10.6.x86_64 | 6391 | 2019-11-09 4:01:33 | 0:00:37 | 1035 | failed install-dependencies |
| 10.7 | 6683 | 2019-11-07 0:14:56 | 0:33:22 | 1032 | build successful |
| 10.13 | 69071 | 2019-10-26 7:08:54 | 0:20:37 | 19611 | build successful |
| 10.11 | 99349 | 2019-10-25 1:27:12 | 0:18:48 | 28653 | build successful |
| 10.10 | 100420 | 2019-10-23 11:21:55 | 0:14:40 | 28694 | build successful |
| 10.14 | 43523 | 2019-10-22 22:51:42 | 0:18:39 | 10328 | build successful |
| 10.9 | 103162 | 2019-10-22 13:10:44 | 0:29:25 | 28639 | failed install-port |
| 10.12 | 103934 | 2019-10-22 12:50:14 | 0:20:11 | 27633 | build successful |
| 10.13 | 61564 | 2019-08-08 17:47:17 | 0:17:17 | 17482 | build successful |
| 10.12 | 96215 | 2019-08-08 15:55:59 | 0:27:22 | 25502 | build successful |
| 10.14 | 35783 | 2019-08-08 15:55:50 | 0:26:06 | 8197 | build successful |
| 10.11 | 91400 | 2019-08-08 15:55:41 | 0:16:20 | 26518 | build successful |
| 10.10 | 91913 | 2019-08-08 15:55:21 | 0:32:19 | 26562 | build successful |
| 10.9 | 94073 | 2019-08-08 15:54:59 | 0:28:46 | 26507 | build successful |
| 10.12 | 93126 | 2019-06-09 16:19:26 | 0:25:07 | 24186 | build successful |
| 10.10 | 88552 | 2019-06-09 16:03:34 | 0:31:06 | 25243 | build successful |
| 10.14 | 32626 | 2019-06-09 16:00:18 | 0:18:58 | 6876 | build successful |
| 10.13 | 58454 | 2019-06-09 15:59:51 | 0:18:30 | 16162 | build successful |
| 10.11 | 88038 | 2019-06-09 15:54:54 | 0:17:14 | 25196 | build successful |
| 10.9 | 90665 | 2019-06-09 15:40:37 | 0:23:05 | 25189 | build successful |
| 10.12 | 91439 | 2019-05-13 3:54:20 | 0:23:27 | 23448 | build successful |
| 10.10 | 86724 | 2019-05-13 3:16:38 | 0:29:32 | 24504 | build successful |
| 10.11 | 86230 | 2019-05-13 0:37:22 | 0:17:49 | 24456 | build successful |
| 10.13 | 56743 | 2019-05-12 23:17:38 | 0:21:42 | 15424 | build successful |
| 10.9 | 88728 | 2019-05-12 17:20:52 | 0:21:59 | 24449 | build successful |
| 10.14 | 30773 | 2019-05-12 14:26:42 | 0:18:20 | 6135 | build successful |
| 10.12 | 87848 | 2019-03-24 12:57:09 | 0:21:55 | 22109 | build successful |
| 10.13 | 53108 | 2019-03-24 8:55:11 | 0:19:35 | 14083 | build successful |