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 3 of 3 | Showing build(s) 201 to 237
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.10 | 83078 | 2019-03-24 6:40:01 | 0:39:32 | 23160 | build successful |
| 10.14 | 27151 | 2019-03-24 5:02:27 | 0:30:08 | 4795 | build successful |
| 10.11 | 82593 | 2019-03-24 2:33:17 | 0:19:41 | 23114 | build successful |
| 10.9 | 85125 | 2019-03-24 0:18:07 | 0:25:09 | 23109 | build successful |
| 10.5_ppc | 87130 | 2018-12-11 16:11:10 | 0:00:32 | 19884 | failed install-dependencies |
| 10.5_ppc | 86562 | 2018-12-05 21:29:57 | 0:00:33 | 19741 | failed install-dependencies |