By default, certification is done with 4 parallel tasks. This can be changed by overriding the ACL2_CERTIFY_OPTS build argument. (i.e. using docker build --build-arg ACL2_CERTIFY_OPTS="-j 2")
-
Notifications
You must be signed in to change notification settings - Fork 0
mister-walter/acl2s-docker
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system