abella (math/abella) Updated: 4 months, 2 weeks ago Add to my watchlist
Interactive theorem proverAbella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding.
Version: 2.0.8.3 License: GPL-3
GitHub
53 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 17949 | 2024-10-20 22:05:24 | 0:00:50 | 2424 | build successful |
| 10.11 | 272481 | 2024-07-30 13:08:23 | 0:00:36 | 88935 | failed install-dependencies |
| 10.10 | 278375 | 2024-07-30 13:05:56 | 0:00:22 | 88773 | failed install-dependencies |
| 10.9 | 285702 | 2024-07-30 13:04:52 | 0:00:25 | 88445 | failed install-dependencies |
| 10.8 | 186145 | 2024-07-30 13:01:54 | 0:00:40 | 59238 | failed install-dependencies |
| 10.6 | 175569 | 2024-07-30 13:01:09 | 0:00:22 | 61429 | failed install-dependencies |
| 10.7 | 199590 | 2024-07-30 12:59:55 | 0:00:23 | 61185 | failed install-dependencies |
| 10.6.x86_64 | 211339 | 2024-07-30 12:58:58 | 0:00:21 | 61473 | failed install-dependencies |
| 12.arm64 | 132300 | 2024-07-09 5:32:40 | 0:00:51 | 37501 | build successful |
| 13 | 73854 | 2024-07-09 4:51:06 | 0:00:50 | 23379 | build successful |
| 10.6.x86_64 | 208759 | 2024-07-09 1:20:59 | 0:00:16 | 60763 | failed install-dependencies |
| 12 | 113199 | 2024-07-09 0:30:40 | 0:00:49 | 37599 | build successful |
| 10.13 | 239584 | 2024-07-09 0:28:12 | 0:00:37 | 79068 | build successful |
| 10.14 | 213698 | 2024-07-09 0:15:20 | 0:01:44 | 69739 | build successful |
| 10.15 | 190644 | 2024-07-09 0:13:01 | 0:00:44 | 58807 | build successful |
| 10.11 | 270575 | 2024-07-08 23:58:54 | 0:00:10 | 88227 | failed install-dependencies |
| 10.9 | 283665 | 2024-07-08 23:54:29 | 0:00:10 | 87737 | failed install-dependencies |
| 10.6 | 173014 | 2024-07-08 23:45:18 | 0:00:17 | 60719 | failed install-dependencies |
| 10.8 | 184045 | 2024-07-08 23:12:25 | 0:00:11 | 58530 | failed install-dependencies |
| 10.10 | 276444 | 2024-07-08 22:58:27 | 0:00:09 | 88065 | failed install-dependencies |
| 10.7 | 197454 | 2024-07-08 22:41:56 | 0:00:12 | 60477 | failed install-dependencies |
| 14.arm64 | 36271 | 2024-07-08 22:13:07 | 0:00:26 | 11219 | build successful |
| 10.12 | 280167 | 2024-07-08 19:57:54 | 0:00:45 | 86943 | build successful |
| 11 | 161455 | 2024-07-08 19:43:55 | 0:00:44 | 48735 | build successful |
| 14 | 42956 | 2024-07-08 17:54:30 | 0:00:37 | 11577 | build successful |
| 13.arm64 | 65916 | 2024-07-08 15:59:14 | 0:00:23 | 23122 | build successful |
| 14.arm64 | 8826 | 2024-01-19 15:37:22 | 0:00:39 | 4224 | build successful |
| 14 | 10397 | 2023-11-12 4:56:43 | 0:01:34 | 1634 | build successful |
| 10.8 | 144716 | 2023-08-17 21:40:28 | 0:02:01 | 45900 | failed install-dependencies |
| 10.7 | 156305 | 2023-08-17 21:35:18 | 0:00:37 | 47840 | failed install-dependencies |
| 10.6.x86_64 | 167127 | 2023-08-17 20:56:42 | 0:00:20 | 48099 | failed install-dependencies |
| 10.6 | 131651 | 2023-08-17 20:52:12 | 0:00:30 | 48060 | failed install-dependencies |
| 13.arm64 | 2493 | 2023-02-26 8:15:11 | 0:00:14 | 720 | build successful |
| 10.6 | 104551 | 2023-01-13 11:52:33 | 0:00:08 | 39781 | failed install-dependencies |
| 10.8 | 118982 | 2023-01-13 8:51:41 | 0:00:08 | 37596 | failed install-dependencies |
| 10.6.x86_64 | 139254 | 2023-01-13 8:51:17 | 0:00:08 | 39811 | failed install-dependencies |
| 10.7 | 129752 | 2023-01-13 8:50:51 | 0:00:07 | 39553 | failed install-dependencies |
| 11.arm64 | 77584 | 2022-12-20 7:51:18 | 0:00:39 | 26559 | build successful |
| 13 | 3942 | 2022-12-19 19:48:05 | 0:00:29 | 740 | build successful |
| 12.arm64 | 78268 | 2022-12-19 15:36:14 | 0:00:37 | 15376 | build successful |
| 10.6 | 98685 | 2022-12-19 15:36:02 | 0:00:22 | 38570 | failed install-dependencies |
| 10.6.x86_64 | 133703 | 2022-12-19 15:35:50 | 0:00:16 | 38600 | failed install-dependencies |
| 10.15 | 123993 | 2022-12-19 15:35:39 | 0:02:39 | 36680 | build successful |
| 11 | 96342 | 2022-12-19 15:35:28 | 0:01:40 | 26592 | build successful |
| 10.12 | 211936 | 2022-12-19 15:35:14 | 0:01:29 | 64838 | build successful |
| 10.11 | 204769 | 2022-12-19 15:35:01 | 0:01:34 | 66034 | build successful |
| 12 | 52808 | 2022-12-19 15:34:51 | 0:01:27 | 15370 | build successful |
| 10.14 | 150212 | 2022-12-19 15:34:40 | 0:01:41 | 47689 | build successful |
| 10.9 | 212552 | 2022-12-19 15:34:30 | 0:01:21 | 65607 | build successful |
| 10.8 | 114412 | 2022-12-19 15:34:20 | 0:00:26 | 36387 | failed install-dependencies |
| 10.13 | 174580 | 2022-12-19 15:34:06 | 0:01:15 | 56922 | build successful |
| 10.10 | 207097 | 2022-12-19 15:33:55 | 0:01:12 | 65914 | build successful |
| 10.7 | 125028 | 2022-12-19 15:33:33 | 0:00:11 | 38345 | failed install-dependencies |