[acl2/acl2] fdcf06: [Remora] Fix recent extension of no-capture predic...

0 views

Skip to first unread message

Alessandro Coglio

unread,

May 29, 2026, 5:57:07 PM (3 days ago) May 29

to acl2-...@googlegroups.com

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: fdcf0690a1cf5bca105c965b1732c9420dde97cb
https://github.com/acl2/acl2/commit/fdcf0690a1cf5bca105c965b1732c9420dde97cb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Fix recent extension of no-capture predicates.

Commit: 179376ce40b0eee534dbf2eaacc777322da97abf
https://github.com/acl2/acl2/commit/179376ce40b0eee534dbf2eaacc777322da97abf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Add a missing check.

Commit: 9652b76c4e0bff303f02c0ed111ccf855fb16d64
https://github.com/acl2/acl2/commit/9652b76c4e0bff303f02c0ed111ccf855fb16d64
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Rename two functions.

Commit: 28f762eca2cffb9df82baf05a4687f46b16652cd
https://github.com/acl2/acl2/commit/28f762eca2cffb9df82baf05a4687f46b16652cd
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Add a function.

Commit: 682b736eac0f793fe92d80e8deb8166cc6b7195f
https://github.com/acl2/acl2/commit/682b736eac0f793fe92d80e8deb8166cc6b7195f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Redirect some calls for consolidation.

Commit: 01afd19a8332974252302402fc38d943ae10bec8
https://github.com/acl2/acl2/commit/01afd19a8332974252302402fc38d943ae10bec8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Remove function no longer needed.

Commit: 27288566810763397947336aba7f7b8a4bafd866
https://github.com/acl2/acl2/commit/27288566810763397947336aba7f7b8a4bafd866
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remore] Redirect and eliminate another function.

Commit: 0671387adf6f064c513d208cec5db2fb6730398b
https://github.com/acl2/acl2/commit/0671387adf6f064c513d208cec5db2fb6730398b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Simplify a function name.

Commit: b8b0dd7ad53396181f9bc09ad9c918f28062ae2b
https://github.com/acl2/acl2/commit/b8b0dd7ad53396181f9bc09ad9c918f28062ae2b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Simplify function name.

Commit: 87fb80a88b2ecea13c2c8af25770884c090a8c08
https://github.com/acl2/acl2/commit/87fb80a88b2ecea13c2c8af25770884c090a8c08
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remore] Factor some code.

Commit: face2390bf47561ee55c4024556268e1d6de5356
https://github.com/acl2/acl2/commit/face2390bf47561ee55c4024556268e1d6de5356
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Reorder some code.

Commit: 37efcec69cc5fe16d6f3574522d61a036b8c1278
https://github.com/acl2/acl2/commit/37efcec69cc5fe16d6f3574522d61a036b8c1278
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Factor some code.

Commit: 40ab219553da34f917db1a24a07f5c021242d8d5
https://github.com/acl2/acl2/commit/40ab219553da34f917db1a24a07f5c021242d8d5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/apt/doc.lisp
M books/kestrel/arm/def-inst.lisp
M books/kestrel/arm/encodings.lisp
M books/kestrel/arm/instructions.lisp
M books/kestrel/arm/memory.lisp
M books/kestrel/arm/rules.lisp
M books/kestrel/arm/step.lisp
M books/kestrel/arm/tests/simple.lisp
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/arm/run-until-return.lisp

Log Message:
-----------
Merge.

Commit: b53452d04c4da7f5616e30d134f4c5da55f5a87f
https://github.com/acl2/acl2/commit/b53452d04c4da7f5616e30d134f4c5da55f5a87f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Fix some no-capture checks.

Commit: 0fdfdfcd576f4aaf70759c0f6d303f94ef85f549
https://github.com/acl2/acl2/commit/0fdfdfcd576f4aaf70759c0f6d303f94ef85f549
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Factor some code.

Commit: 270efc316eb812171fefaa0f210c38d6dd4a9d40
https://github.com/acl2/acl2/commit/270efc316eb812171fefaa0f210c38d6dd4a9d40
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/centaur/fty/bitstruct.lisp

Log Message:
-----------
[FTY] Allow XDOC constructors in `defbitstruct`.

Commit: c620c808c48f9a6edd0395f5a2d18a8877b7e492
https://github.com/acl2/acl2/commit/c620c808c48f9a6edd0395f5a2d18a8877b7e492
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Reorder some code.

Commit: fc9df58abf0ec339502ffd85052861ee532de73d
https://github.com/acl2/acl2/commit/fc9df58abf0ec339502ffd85052861ee532de73d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Factor some code.

Commit: 7c28cc4a499697fe076c62eee718654a4c4bad51
https://github.com/acl2/acl2/commit/7c28cc4a499697fe076c62eee718654a4c4bad51
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Factor some code.

Commit: 71a58f65d177e32c8ecbe69abf2b73dfce1794c2
https://github.com/acl2/acl2/commit/71a58f65d177e32c8ecbe69abf2b73dfce1794c2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/fty/string-set.lisp

Log Message:
-----------
[FTY] Add a theorem.

Commit: 89c5b96be01a94910c253a722ac95654290e624e
https://github.com/acl2/acl2/commit/89c5b96be01a94910c253a722ac95654290e624e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remora] Remove local theorem now in library.

Commit: de1f0223b18e512b86371fe41d78610fbea5bcbb
https://github.com/acl2/acl2/commit/de1f0223b18e512b86371fe41d78610fbea5bcbb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/package.lsp

Log Message:
-----------
[Remore] Import symbol and avoid prefix.

Commit: ec6d2d8e031fcd2fc7a9622daff19e35be83bc7d
https://github.com/acl2/acl2/commit/ec6d2d8e031fcd2fc7a9622daff19e35be83bc7d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-variable-operations.lisp

Log Message:
-----------
[Remore] Fix XDOC links.

Commit: e87cd16b10bf4267c55c717172ae63dcaeae636e
https://github.com/acl2/acl2/commit/e87cd16b10bf4267c55c717172ae63dcaeae636e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
A books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/syntax/input-files-doc.lisp
A books/kestrel/c/syntax/null-pointer-constants.lisp
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/uid.lisp
A books/kestrel/c/syntax/validation-annotations.lisp
R books/kestrel/c/syntax/validation-information.lisp
A books/kestrel/c/syntax/validation-tables.lisp
M books/kestrel/c/syntax/validation.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/input-processing.lisp
M books/kestrel/c/transformation/proof-generation.lisp
M books/kestrel/c/transformation/simpadd0-doc.lisp
M books/kestrel/c/transformation/split-all-gso-doc.lisp
M books/kestrel/c/transformation/split-gso-doc.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/add-attributes.lisp
M books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/c/transformation/utilities/rename-fn.lisp
M books/kestrel/c/transformation/wrap-fn-doc.lisp
M books/kestrel/c/transformation/wrap-fn.lisp

Log Message:
-----------
Merge.

Commit: d96c777d25f7316d0ee4139ab2e61d7787ddc392
https://github.com/acl2/acl2/commit/d96c777d25f7316d0ee4139ab2e61d7787ddc392
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
A books/projects/hol-in-acl2/LICENSE

Log Message:
-----------
Add license for files that do not have a license.

Commit: 138259282a81207b8f98b4fb28ccf06ba2a10d30
https://github.com/acl2/acl2/commit/138259282a81207b8f98b4fb28ccf06ba2a10d30
Author: Alessandro Coglio <2409151...@users.noreply.github.com>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/centaur/fty/bitstruct.lisp

Log Message:
-----------
Merge pull request #1944 from acoglio/mac5

[FTY] Allow XDOC constructors in `defbitstruct`.

Commit: 3a6f7ac220bbf9b7acec3e2d4a9c1bed63bedb59
https://github.com/acl2/acl2/commit/3a6f7ac220bbf9b7acec3e2d4a9c1bed63bedb59
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
A books/projects/hol-in-acl2/LICENSE

Log Message:
-----------
Merge.

Commit: 81ddd786d82916618f3a39eb4c2ef98261d3e084
https://github.com/acl2/acl2/commit/81ddd786d82916618f3a39eb4c2ef98261d3e084
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/centaur/fty/bitstruct.lisp

Log Message:
-----------
Merge.

Compare: https://github.com/acl2/acl2/compare/6e60eee7be4b...81ddd786d829

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

acl2buildserver

unread,

May 29, 2026, 11:23:25 PM (3 days ago) May 29

to acl2-...@googlegroups.com

Branch: refs/heads/master

Commit: 3a6f7ac220bbf9b7acec3e2d4a9c1bed63bedb59
https://github.com/acl2/acl2/commit/3a6f7ac220bbf9b7acec3e2d4a9c1bed63bedb59
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
A books/projects/hol-in-acl2/LICENSE

Log Message:
-----------
Merge.

Commit: 81ddd786d82916618f3a39eb4c2ef98261d3e084
https://github.com/acl2/acl2/commit/81ddd786d82916618f3a39eb4c2ef98261d3e084
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/centaur/fty/bitstruct.lisp

Log Message:
-----------
Merge.

Commit: 4f70ba53940690632347c0b04cd02106fd78ca46
https://github.com/acl2/acl2/commit/4f70ba53940690632347c0b04cd02106fd78ca46
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:

M books/kestrel/fty/string-set.lisp

M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/package.lsp

Log Message:
-----------

Merge commit '81ddd786d82916618f3a39eb4c2ef98261d3e084' into HEAD

Compare: https://github.com/acl2/acl2/compare/f8b0a5bdec74...4f70ba539406

acl2buildserver

unread,

May 29, 2026, 11:24:43 PM (3 days ago) May 29

to acl2-...@googlegroups.com

Branch: refs/heads/testing

acl2buildserver

unread,

May 29, 2026, 11:41:23 PM (3 days ago) May 29

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel

Commit: 270efc316eb812171fefaa0f210c38d6dd4a9d40
https://github.com/acl2/acl2/commit/270efc316eb812171fefaa0f210c38d6dd4a9d40