[acl2/acl2] 566fe5: Merge commit '7e60429435ee0b26527f61f9190a2e84cdec...

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 566fe539ee37046e76e2a26826cbe4a191b94092
https://github.com/acl2/acl2/commit/566fe539ee37046e76e2a26826cbe4a191b94092
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/kestrel/arm/rules.lisp
M books/kestrel/axe/rules3.lisp
R books/kestrel/bv/.sys/ru...@useless-runes.lsp
M books/kestrel/bv/rules.lisp
M books/kestrel/file-io-light/open-output-channel.lisp
M books/kestrel/file-io-light/read-bytes-from-channel.lisp
M books/kestrel/json-parser/parse-json.lisp

Log Message:
-----------
Merge commit '7e60429435ee0b26527f61f9190a2e84cdec003d' into HEAD


Commit: 46791b596da8f890808c6e08325a05b348d41597
https://github.com/acl2/acl2/commit/46791b596da8f890808c6e08325a05b348d41597
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/projects/abnf/tree-operations/subtree-operations.lisp

Log Message:
-----------
[ABNF] Add an adjacency predicate for paths.


Commit: 1f1db6499259cf01d8deb689c12e2c131290ccf3
https://github.com/acl2/acl2/commit/1f1db6499259cf01d8deb689c12e2c131290ccf3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/projects/abnf/tree-operations/subtree-operations.lisp

Log Message:
-----------
[ABNF] Add more tree path ops.


Commit: b3a8714f4ad6c7a70d6238936cd3c577c3044c08
https://github.com/acl2/acl2/commit/b3a8714f4ad6c7a70d6238936cd3c577c3044c08
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/kestrel/arm/rules.lisp
M books/kestrel/axe/rules3.lisp
R books/kestrel/bv/.sys/ru...@useless-runes.lsp
M books/kestrel/bv/rules.lisp
M books/kestrel/file-io-light/open-output-channel.lisp
M books/kestrel/file-io-light/read-bytes-from-channel.lisp
M books/kestrel/json-parser/parse-json.lisp

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


Commit: 8f87a5c30b213a3aeb3034cb0c54bb09e484aefd
https://github.com/acl2/acl2/commit/8f87a5c30b213a3aeb3034cb0c54bb09e484aefd
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/kestrel/c/atc/abstract-syntax.lisp
M books/kestrel/c/atc/tutorial.lisp
M books/kestrel/c/language/abstract-syntax.lisp
M books/kestrel/c/language/implementation-environments/char-formats.lisp
M books/kestrel/c/language/implementation-environments/integer-format-templates.lisp
M books/kestrel/c/language/implementation-environments/integer-formats.lisp
M books/kestrel/c/language/implementation-environments/schar-formats.lisp
M books/kestrel/c/language/implementation-environments/top.lisp
M books/kestrel/c/language/implementation-environments/uchar-formats.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/implementation-environments.lisp
A books/kestrel/c/syntax/preprocessing-abstract-syntax.lisp
M books/kestrel/c/syntax/preprocessor-evaluator.lisp
R books/kestrel/c/syntax/preprocessor-files.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor.lisp

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


Compare: https://github.com/acl2/acl2/compare/238b4abe084d...8f87a5c30b21

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