gr1c (math/gr1c) Updated: 8 months ago Add to my watchlist
Tools for GR(1) synthesis and related activitiesA collection of tools for GR(1) synthesis and related activities. Its core functionality is checking realizability of and synthesizing strategies for GR(1) specifications, though it does much more.
Version: 0.13.2 License: BSD
GitHub
67 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 14780 | 2024-10-16 18:27:16 | 0:00:25 | 1848 | failed install-port |
| 10.7 | 199603 | 2024-07-30 13:45:19 | 0:00:06 | 61185 | failed install-dependencies |
| 10.8 | 186156 | 2024-07-30 13:25:32 | 0:00:07 | 59238 | failed install-dependencies |
| 14 | 33307 | 2024-03-23 17:32:41 | 0:00:28 | 7300 | build successful |
| 10.7 | 181926 | 2024-03-23 16:35:44 | 0:00:06 | 56223 | failed install-dependencies |
| 12.arm64 | 121404 | 2024-03-23 4:06:54 | 0:00:08 | 33227 | build successful |
| 12 | 101077 | 2024-03-23 3:03:54 | 0:00:38 | 33243 | build successful |
| 10.14 | 200110 | 2024-03-23 1:06:23 | 0:00:27 | 65510 | build successful |
| 13.arm64 | 53657 | 2024-03-23 0:00:58 | 0:00:09 | 18858 | build successful |
| 13 | 64722 | 2024-03-22 23:55:48 | 0:00:46 | 19119 | build successful |
| 10.11 | 256056 | 2024-03-22 23:08:51 | 0:00:25 | 83916 | build successful |
| 11 | 147342 | 2024-03-22 23:06:23 | 0:00:36 | 44429 | build successful |
| 10.13 | 225396 | 2024-03-22 23:00:37 | 0:00:27 | 74759 | build successful |
| 10.15 | 176430 | 2024-03-22 22:56:01 | 0:00:30 | 54502 | build successful |
| 10.8 | 169244 | 2024-03-22 22:20:53 | 0:00:02 | 54284 | failed install-dependencies |
| 10.12 | 265453 | 2024-03-22 22:07:26 | 0:00:24 | 82701 | build successful |
| 10.10 | 261058 | 2024-03-22 22:01:15 | 0:00:26 | 83807 | build successful |
| 10.9 | 268227 | 2024-03-22 21:45:23 | 0:00:24 | 83492 | build successful |
| 10.6 | 158280 | 2024-03-22 21:31:38 | 0:00:30 | 56446 | build successful |
| 10.6.x86_64 | 193997 | 2024-03-22 21:26:31 | 0:00:25 | 56494 | build successful |
| 14.arm64 | 21340 | 2024-03-22 21:13:16 | 0:00:12 | 6972 | build successful |
| 14 | 27457 | 2024-01-23 8:40:44 | 0:11:05 | 4843 | failed install-port |
| 14.arm64 | 10474 | 2024-01-22 9:21:43 | 0:00:45 | 4390 | failed install-port |
| 14 | 13782 | 2023-11-25 4:24:25 | 0:00:28 | 2177 | failed install-port |
| 11.arm64 | 100336 | 2023-08-24 16:54:22 | 0:00:13 | 36044 | failed install-port |
| 12 | 78831 | 2023-08-19 2:47:04 | 0:01:09 | 24846 | failed install-port |
| 12.arm64 | 103260 | 2023-08-18 17:29:33 | 0:00:10 | 24850 | failed install-port |
| 11 | 124046 | 2023-08-18 5:09:18 | 0:00:32 | 36047 | failed install-port |
| 13 | 44871 | 2023-08-17 22:39:00 | 0:00:33 | 10599 | failed install-port |
| 13.arm64 | 31983 | 2023-08-17 22:02:38 | 0:00:11 | 10456 | failed install-port |
| 13.arm64 | 11979 | 2023-03-09 12:04:55 | 0:00:10 | 4257 | failed install-port |
| 11.arm64 | 81456 | 2023-01-13 10:34:45 | 0:00:16 | 27763 | failed install-port |
| 12 | 55895 | 2023-01-13 10:25:45 | 0:01:11 | 16567 | failed install-port |
| 11 | 99410 | 2023-01-13 10:05:33 | 0:00:57 | 27786 | failed install-port |
| 13 | 14728 | 2023-01-13 9:52:14 | 0:01:29 | 2045 | failed install-port |
| 12.arm64 | 82217 | 2023-01-13 8:55:45 | 0:00:13 | 16580 | failed install-port |
| 11.arm64 | 57873 | 2022-06-11 4:59:03 | 0:00:17 | 19845 | failed install-port |
| 12 | 31611 | 2022-06-03 21:57:36 | 0:02:28 | 8383 | failed install-port |
| 12.arm64 | 53336 | 2022-06-03 16:12:41 | 0:00:20 | 8375 | failed install-port |
| 11.arm64 | 56049 | 2022-06-03 14:17:06 | 0:00:27 | 19549 | failed install-port |
| 11 | 74351 | 2022-06-03 11:09:13 | 0:02:06 | 19606 | failed install-port |
| 11.arm64 | 54530 | 2022-05-24 2:10:03 | 0:00:14 | 19136 | failed install-port |
| 11 | 73174 | 2022-05-24 0:47:35 | 0:00:44 | 19199 | failed install-port |
| 12 | 30291 | 2022-05-23 22:34:53 | 0:00:40 | 7976 | failed install-port |
| 12.arm64 | 51833 | 2022-05-23 22:27:45 | 0:00:10 | 7966 | failed install-port |
| 12 | 15082 | 2022-01-16 11:12:02 | 0:00:33 | 3545 | failed install-port |
| 11.arm64 | 43489 | 2022-01-16 9:14:09 | 0:00:14 | 14850 | failed install-port |
| 11 | 60980 | 2022-01-16 4:53:53 | 0:00:39 | 14914 | failed install-port |
| 12.arm64 | 38945 | 2022-01-16 4:41:51 | 0:00:10 | 3673 | failed install-port |
| 12.arm64 | 24899 | 2021-11-22 17:17:31 | 0:00:19 | 1470 | failed install-port |
| 11 | 34219 | 2021-06-14 7:22:27 | 0:01:20 | 7098 | failed install-port |
| 11.arm64 | 23086 | 2021-06-14 3:54:55 | 0:00:16 | 7273 | failed install-port |
| 11 | 18320 | 2021-01-31 4:54:15 | 0:01:23 | 2493 | failed install-port |
| 11.arm64 | 10392 | 2021-01-31 1:50:06 | 0:00:22 | 2639 | failed install-port |
| 11 | 11614 | 2021-01-02 18:21:45 | 0:01:16 | 1557 | failed install-port |
| 11.arm64 | 7028 | 2021-01-02 13:43:40 | 0:00:18 | 1654 | failed install-port |
| 10.6.x86_64 | 16877 | 2020-01-27 6:25:36 | 0:04:51 | 3743 | build successful |
| 10.6 | 8660 | 2020-01-27 5:10:42 | 0:06:06 | 3758 | build successful |
| 10.13 | 76940 | 2020-01-27 4:00:20 | 0:01:15 | 22296 | build successful |
| 10.14 | 51904 | 2020-01-27 3:58:33 | 0:01:09 | 13021 | build successful |
| 10.11 | 107106 | 2020-01-27 3:48:29 | 0:01:04 | 31338 | build successful |
| 10.8 | 14165 | 2020-01-27 3:47:36 | 0:01:08 | 3731 | build successful |
| 10.12 | 112224 | 2020-01-27 3:41:16 | 0:01:15 | 30318 | build successful |
| 10.7 | 15658 | 2020-01-27 3:33:54 | 0:00:45 | 3734 | build successful |
| 10.10 | 108635 | 2020-01-27 3:31:04 | 0:01:02 | 31386 | build successful |
| 10.9 | 111247 | 2020-01-27 3:23:18 | 0:00:48 | 31329 | build successful |
| 10.15 | 19407 | 2020-01-06 9:23:37 | 0:01:31 | 1835 | build successful |