[acl2/acl2] 955904: [Remora] Add a structural predicate.

[acl2buildserver]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 955904d54248c09445cc689f75cbd976a6b17274
https://github.com/acl2/acl2/commit/955904d54248c09445cc689f75cbd976a6b17274
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

Log Message:
-----------
[Remora] Add a structural predicate.


Commit: 0e8a219ea3f3d379935284989bca4bae76e15910
https://github.com/acl2/acl2/commit/0e8a219ea3f3d379935284989bca4bae76e15910
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

Log Message:
-----------
[Remora] Add a structural op.


Commit: 24be2c2789e9b5a918563fb2d852febaf111da52
https://github.com/acl2/acl2/commit/24be2c2789e9b5a918563fb2d852febaf111da52
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/c/package.lsp
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/unicode-characters.lisp
M books/kestrel/c/transformation/package.lsp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
A books/kestrel/utilities/strings/char-code-set.lisp
M books/kestrel/utilities/strings/top.lisp
M books/projects/filesystems/utilities/cpp-syntax/package.lsp

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


Commit: f0b8bc37708efcbd9166e04cfd4d2c187199d760
https://github.com/acl2/acl2/commit/f0b8bc37708efcbd9166e04cfd4d2c187199d760
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-06-27 (Sat, 27 Jun 2026)

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

Log Message:
-----------
Merge commit '24be2c2789e9b5a918563fb2d852febaf111da52' into HEAD


Compare: https://github.com/acl2/acl2/compare/6d232162e467...f0b8bc37708e

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

[acl2buildserver]

Branch: refs/heads/testing