acl2 (math/acl2) Add to my watchlist

Applicative Common Lisp / A Computational Logic

ACL2 (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
Reset

44 build(s) found
Builder Build Number Start Time Elapsed Time Watcher Build Status
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