[acl2/acl2] 0d4fd3: Added certification performed under books/projects...

0 views

Skip to first unread message

MattKaufmann

unread,

Mar 4, 2026, 12:37:26 PM (13 hours ago) Mar 4

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 0d4fd30ad31c495757998d88aac942338c2c3b7c
https://github.com/acl2/acl2/commit/0d4fd30ad31c495757998d88aac942338c2c3b7c
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/GNUmakefile
M books/projects/acl2-in-hol/.acl2holrc.bash
A books/projects/acl2-in-hol/Makefile
M books/projects/acl2-in-hol/README-acl2
A books/projects/acl2-in-hol/lisp/cert_pl_exclude
M books/projects/acl2-in-hol/tests/doit
M books/projects/acl2-in-hol/tests/inputs/PKGS.lsp
M books/projects/acl2-in-hol/tests/inputs/PKGS.sml
A books/projects/acl2-in-hol/tests/inputs/cert_pl_exclude

Log Message:
-----------
Added certification performed under books/projects/acl2-in-hol/ to the regression. Also made package-related updates there.

Thanks to Eric Smith for suggesting this regression addition, which
removes a step from release preparations.

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

acl2buildserver

unread,

Mar 4, 2026, 12:38:38 PM (13 hours ago) Mar 4

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Alessandro Coglio

unread,

Mar 4, 2026, 11:54:24 PM (1 hour ago) Mar 4

to acl2-...@googlegroups.com

Branch: refs/heads/testing-user-01

Home: https://github.com/acl2/acl2
Commit: 0d4fd30ad31c495757998d88aac942338c2c3b7c
https://github.com/acl2/acl2/commit/0d4fd30ad31c495757998d88aac942338c2c3b7c
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/GNUmakefile
M books/projects/acl2-in-hol/.acl2holrc.bash
A books/projects/acl2-in-hol/Makefile
M books/projects/acl2-in-hol/README-acl2
A books/projects/acl2-in-hol/lisp/cert_pl_exclude
M books/projects/acl2-in-hol/tests/doit
M books/projects/acl2-in-hol/tests/inputs/PKGS.lsp
M books/projects/acl2-in-hol/tests/inputs/PKGS.sml
A books/projects/acl2-in-hol/tests/inputs/cert_pl_exclude

Log Message:
-----------
Added certification performed under books/projects/acl2-in-hol/ to the regression. Also made package-related updates there.

Thanks to Eric Smith for suggesting this regression addition, which
removes a step from release preparations.

Commit: 75a5274267f3324839b8048a8839b84e7a21e5f7
https://github.com/acl2/acl2/commit/75a5274267f3324839b8048a8839b84e7a21e5f7

Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:

M books/projects/acl2-in-hol/.acl2holrc.bash

Log Message:
-----------
Bug fix for script

Commit: 75e7749218320c4a420d78e0733046af8128670d
https://github.com/acl2/acl2/commit/75e7749218320c4a420d78e0733046af8128670d

Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/GNUmakefile

Log Message:
-----------
Temporarily remove new "make" target projects/acl2-in-hol/tests/success.txt until a problem with it is addressed (perhaps need csh installed on leeroy2).

Commit: 201a403f33650202d36020dc3c3622513efde81f
https://github.com/acl2/acl2/commit/201a403f33650202d36020dc3c3622513efde81f

Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/GNUmakefile
M books/projects/acl2-in-hol/.acl2holrc.bash

M books/projects/acl2-in-hol/README-acl2
A books/projects/acl2-in-hol/lisp/a2ml.bash
R books/projects/acl2-in-hol/lisp/a2ml.csh
A books/projects/acl2-in-hol/lisp/axioms-essence.bash
R books/projects/acl2-in-hol/lisp/axioms-essence.csh
A books/projects/acl2-in-hol/lisp/book-essence.bash
R books/projects/acl2-in-hol/lisp/book-essence.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/a2ml.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/axioms-essence.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/book-essence.csh
M books/projects/acl2-in-hol/tests/.gitignore
M books/projects/acl2-in-hol/tests/doit

Log Message:
-----------
Converted csh scripts to bash scripts for acl2-in-hol project.

Commit: 2fac17700aa05e5243d2fbf08e723010fb5e0c43
https://github.com/acl2/acl2/commit/2fac17700aa05e5243d2fbf08e723010fb5e0c43
Author: Matt Kaufmann <kauf...@cs.utexas.edu>