acl2 (math/acl2) Add to my watchlist
Applicative Common Lisp / A Computational LogicACL2 (Applicative Common Lisp / A Computational Logic) is the successor to nqthm, the Boyer-Moore theorem prover. ACL2 can be used to automatically or semi-automatically prove theorems and has been used extensively in real applications (e.g., proving the correctness of certain calculations in the floating point unit of the AMD K5 microprocessor. ACL2 is a very large, multipurpose system. You can use it as a programming language, a specification language, a modeling language, a formal mathematical logic, or a semi-automatic theorem prover. Because the meta-language is the same as the language (a subset of Common Lisp), it is very flexible.
Version: 8.3 License: BSD
GitHub
58 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 8657 | 2024-10-09 17:03:50 | 0:05:42 | 817 | build successful |
| 12.arm64 | 133789 | 2024-07-31 0:41:32 | 0:00:21 | 38196 | failed install-port |
| 13.arm64 | 67566 | 2024-07-30 18:52:50 | 0:00:35 | 23809 | failed install-port |
| 14.arm64 | 38173 | 2024-07-30 13:06:47 | 0:00:26 | 11899 | failed install-port |
| 14.arm64 | 8827 | 2024-01-19 15:38:03 | 0:00:25 | 4224 | failed install-port |
| 14 | 10398 | 2023-11-12 4:58:18 | 0:05:30 | 1634 | build successful |
| 11.arm64 | 101802 | 2023-09-02 0:21:46 | 0:00:23 | 36750 | failed install-port |
| 13.arm64 | 34481 | 2023-09-01 21:49:22 | 0:00:23 | 11165 | failed install-port |
| 12.arm64 | 105081 | 2023-09-01 10:39:50 | 0:00:26 | 25557 | failed install-port |
| 12.arm64 | 103235 | 2023-08-18 16:18:01 | 0:00:24 | 24849 | failed install-port |
| 10.6 | 131652 | 2023-08-17 20:52:43 | 0:14:02 | 48060 | build successful |
| 13.arm64 | 31958 | 2023-08-17 20:45:35 | 0:02:23 | 10455 | failed install-port |
| 11.arm64 | 98076 | 2023-07-21 22:13:52 | 0:00:27 | 35049 | failed install-port |
| 13.arm64 | 8157 | 2023-03-06 2:22:54 | 0:02:23 | 3934 | failed install-port |
| 10.6 | 104552 | 2023-01-13 11:52:45 | 0:00:07 | 39781 | failed install-dependencies |
| 11.arm64 | 78880 | 2022-12-28 2:09:08 | 0:01:23 | 26893 | failed install-port |
| 13 | 7709 | 2022-12-28 1:27:24 | 0:07:09 | 1094 | build successful |
| 12.arm64 | 79568 | 2022-12-28 1:12:07 | 0:03:11 | 15710 | failed install-port |
| 12 | 53692 | 2022-12-28 0:59:21 | 0:10:50 | 15698 | build successful |
| 10.6 | 100331 | 2022-12-28 0:58:57 | 0:00:16 | 38903 | failed install-dependencies |
| 12 | 33044 | 2022-06-10 21:30:06 | 0:00:39 | 8678 | failed install-dependencies |
| 10.6 | 77158 | 2022-06-10 21:21:36 | 0:00:06 | 31855 | failed install-dependencies |
| 11.arm64 | 54481 | 2022-05-24 1:38:49 | 0:01:17 | 19126 | failed install-port |
| 12 | 30228 | 2022-05-23 15:39:16 | 0:00:17 | 7965 | failed install-dependencies |
| 12.arm64 | 51749 | 2022-05-23 15:38:51 | 0:03:19 | 7955 | failed install-port |
| 10.6 | 71282 | 2022-05-23 15:37:07 | 0:00:30 | 31132 | failed install-dependencies |
| 11.arm64 | 43471 | 2022-01-16 9:05:16 | 0:00:52 | 14849 | failed install-port |
| 12 | 14990 | 2022-01-16 4:54:01 | 0:00:15 | 3542 | failed install-dependencies |
| 12.arm64 | 38925 | 2022-01-16 3:29:02 | 0:02:43 | 3672 | failed install-port |
| 10.6 | 54110 | 2022-01-16 3:27:53 | 0:00:20 | 26852 | failed install-dependencies |
| 12 | 11322 | 2022-01-07 5:26:07 | 0:00:21 | 3098 | failed install-dependencies |
| 12.arm64 | 28640 | 2021-11-25 10:25:33 | 0:02:55 | 1591 | failed install-port |
| 10.6 | 33772 | 2021-06-14 2:18:19 | 0:00:39 | 19081 | failed install-dependencies |
| 11.arm64 | 23037 | 2021-06-13 17:34:17 | 0:00:59 | 7254 | failed install-port |
| 11.arm64 | 17638 | 2021-04-24 12:05:29 | 0:01:16 | 5108 | failed install-port |
| 10.6 | 29805 | 2021-04-17 20:19:04 | 0:00:31 | 16963 | failed install-dependencies |
| 10.6.x86_64 | 53989 | 2021-04-17 20:18:56 | 0:13:00 | 16929 | build successful |
| 11 | 28103 | 2021-04-17 20:18:49 | 0:12:10 | 4944 | build successful |
| 10.14 | 84615 | 2021-04-17 20:18:42 | 0:13:36 | 26150 | build successful |
| 10.13 | 108931 | 2021-04-17 20:18:34 | 0:11:08 | 35444 | build successful |
| 10.12 | 144401 | 2021-04-17 20:18:26 | 0:10:53 | 43482 | build successful |
| 10.15 | 55714 | 2021-04-17 20:18:18 | 0:09:44 | 15149 | build successful |
| 10.8 | 44317 | 2021-04-17 20:18:11 | 0:11:00 | 14825 | build successful |
| 10.11 | 139358 | 2021-04-17 20:18:04 | 0:11:18 | 44499 | build successful |
| 10.10 | 140838 | 2021-04-17 20:17:57 | 0:10:14 | 44561 | build successful |
| 10.7 | 50647 | 2021-04-17 20:17:50 | 0:10:16 | 16969 | build successful |
| 10.9 | 144774 | 2021-04-17 20:17:43 | 0:08:37 | 44237 | build successful |
| 11.arm64 | 14909 | 2021-03-19 6:34:02 | 0:00:02 | 3895 | failed install-dependencies |
| 11 | 11548 | 2021-01-02 13:40:41 | 0:11:24 | 1556 | build successful |
| 11.arm64 | 6960 | 2021-01-02 12:33:12 | 0:00:03 | 1653 | failed install-dependencies |
| 10.6.x86_64 | 16868 | 2020-01-27 5:26:36 | 0:14:21 | 3743 | build successful |
| 10.15 | 18855 | 2020-01-03 23:19:18 | 0:24:55 | 1828 | build successful |
| 10.10 | 93299 | 2019-08-24 15:00:33 | 0:09:46 | 27017 | build successful |
| 10.12 | 97379 | 2019-08-24 14:17:57 | 0:11:32 | 25957 | build successful |
| 10.9 | 95742 | 2019-08-24 13:06:17 | 0:07:32 | 26963 | build successful |
| 10.14 | 36977 | 2019-08-24 12:45:20 | 0:10:54 | 8652 | build successful |
| 10.13 | 62723 | 2019-08-24 12:39:59 | 0:08:52 | 17937 | build successful |
| 10.11 | 92716 | 2019-08-24 11:24:31 | 0:10:57 | 26974 | build successful |