nixpkgs / acl2 - ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award. This package installs the main ACL2 executable acl2, as well as the build tools cert.pl and clean.pl, renamed to acl2-cert and acl2-clean. The community books are also included and certified with the `make everything` target.

Homepage - https://www.cs.utexas.edu/users/moore/acl2/

Maintainers - Keshav Kini - Michael Raskin

Releases

8.4 (expand/collapse)
From commit 02c142a2 to 00460bd6
8.3 (expand/collapse)
From commit 074ef76e to 074ef76e
8.4 (expand/collapse)
From commit 00910f76 to 07557e3b
8.3 (expand/collapse)
From commit 012009ec to 012009ec
8.4 (expand/collapse)
From commit 05cf40db to 05e11f84
8.3 (expand/collapse)
From commit 06d67bb2 to 06d67bb2
8.4 (expand/collapse)
From commit 04e6b03f to 049444dc
8.3 (expand/collapse)
From commit 0798ed1a to 0798ed1a
8.4 (expand/collapse)
From commit 024414f5 to 00037f74
8.3 (expand/collapse)
From commit 066544a7 to 012a9df9
8.2 (expand/collapse)
From commit 05a16be9 to 05a16be9
8.3 (expand/collapse)
From commit 049b68be to 0456d939
8.2 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
8.3 (expand/collapse)
From commit 02af4389 to 008e7e32
8.2 (expand/collapse)
From commit 0218f30a to 03399906
8.1 (expand/collapse)
From commit 0767de3d to 0767de3d
8.2 (expand/collapse)
From commit 03d6c406 to 00610756
8.1 (expand/collapse)
From commit 0412ee2a to 0412ee2a
8.2 (expand/collapse)
From commit 01d06dc3 to 05c1addd
8.1 (expand/collapse)
From commit 071167e6 to 071167e6
8.2 (expand/collapse)
From commit 03be5e7a to 03f48ebe
8.1 (expand/collapse)
From commit 00972dc8 to 00972dc8
8.2 (expand/collapse)
From commit 00263c93 to 03a32ec6
8.1 (expand/collapse)
From commit 00a52224 to 00a52224
8.2 (expand/collapse)
From commit 02ea1812 to 02ea1812
8.1 (expand/collapse)
From commit 05b2996d to 03c07393
8.2 (expand/collapse)
From commit 06b04301 to 06b04301
8.1 (expand/collapse)
From commit 0153edf9 to 0153edf9
8.2 (expand/collapse)
From commit 075d79aa to 075d79aa
8.1 (expand/collapse)
From commit 0607adde to 044cd208
8.0 (expand/collapse)
From commit 02a3726a to 02a3726a
8.1 (expand/collapse)
From commit 075e4883 to 0111c7d8
5 (expand/collapse)
From commit 044ceae2 to 044ceae2
8.1 (expand/collapse)
From commit 07a3f3fb to 0560caa5
8.0 (expand/collapse)
From commit 028164ef to 028164ef
8.1 (expand/collapse)
From commit 056c03ae to 02602b2c
8.0 (expand/collapse)
From commit 0329e26f to 0329e26f
8.1 (expand/collapse)
From commit 0602e6dd to 011f1c73
8.0 (expand/collapse)
From commit 0652ed17 to 0214f9e2
7.4 (expand/collapse)
From commit 0364cf66 to 00b24f7a
5 (expand/collapse)
From commit 05b90907 to 05f9a366
7.4 (expand/collapse)
From commit 03022323 to 03022323
5 (expand/collapse)
From commit 03bcadd4 to 01a7d703
7.4 (expand/collapse)
From commit 00269f66 to 0711fe96
5 (expand/collapse)
From commit 07e2460a to 07e2460a
7.4 (expand/collapse)
From commit 0094ca20 to 0094ca20
5 (expand/collapse)
From commit 05ff927d to 07cb41b1