spot (science/spot) Updated: 1 year, 5 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
214 build(s) found
Page 3 of 3 | Showing build(s) 201 to 214
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |