[acl2/acl2] 6ec7a6: Merge commit '932e0fb45ffbf990a166591e6f21c55b198c...

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 6ec7a60c3c8c7516d33f2088f4a448b57920c3fc
https://github.com/acl2/acl2/commit/6ec7a60c3c8c7516d33f2088f4a448b57920c3fc
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocess-file.lisp
A books/kestrel/fty/string-stringlist-map.lisp
M books/kestrel/fty/top.lisp

Log Message:
-----------
Merge commit '932e0fb45ffbf990a166591e6f21c55b198c75b3' into HEAD


Commit: 5f09671b126ea98b58f19b3f0b1c5b37fa448983
https://github.com/acl2/acl2/commit/5f09671b126ea98b58f19b3f0b1c5b37fa448983
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

Log Message:
-----------
Merge commit '41d19a76b750623bffa8f86e368c92e98ac56275' into HEAD


Commit: 959827a75151e4c919372d4afa619372a1973c94
https://github.com/acl2/acl2/commit/959827a75151e4c919372d4afa619372a1973c94
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/grammar.abnf
M books/kestrel/c/syntax/keywords.lisp
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/parser.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Add support for `__real__` and `__imag__` GCC extensions.


Commit: 9f20cc8458b11334149d793e7b4f4883c12db5ba
https://github.com/acl2/acl2/commit/9f20cc8458b11334149d793e7b4f4883c12db5ba
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

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


Commit: 24fddbaec733c0e4e2aaac648fa7a75166c6ea90
https://github.com/acl2/acl2/commit/24fddbaec733c0e4e2aaac648fa7a75166c6ea90
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/grammar.abnf
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/parser.lisp
M books/kestrel/c/syntax/unambiguity.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Add support for GCC label attributes.


Commit: 4c9fab6a3988eb50334f4acd8ee5fae2b04485d4
https://github.com/acl2/acl2/commit/4c9fab6a3988eb50334f4acd8ee5fae2b04485d4
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/fty/bin-digit-char-list.lisp
M books/kestrel/fty/dec-digit-char-list.lisp
M books/kestrel/fty/hex-digit-char-list.lisp
M books/kestrel/fty/oct-digit-char-list.lisp
M books/kestrel/fty/string-stringlist-alist.lisp
M books/kestrel/fty/strings-decimal-fty.lisp
M books/kestrel/fty/symbol-pseudoeventform-alist.lisp
M books/kestrel/fty/symbol-pseudoterm-alist.lisp

Log Message:
-----------
Merge commit 'a5f37b5a35e62dcdba9dd4a349cf67c6d1ccc26d' into HEAD


Commit: 10434dd9bb41ff27884341481f0694d02161e782
https://github.com/acl2/acl2/commit/10434dd9bb41ff27884341481f0694d02161e782
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/grammar.abnf
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/parser.lisp

Log Message:
-----------
[C$] Add support for GCC empty translation units.


Commit: 36abf8184efde8c3279f6fb88fc34a47c7da5a89
https://github.com/acl2/acl2/commit/36abf8184efde8c3279f6fb88fc34a47c7da5a89
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/fty/bin-digit-char-list.lisp
M books/kestrel/fty/dec-digit-char-list.lisp
M books/kestrel/fty/hex-digit-char-list.lisp
M books/kestrel/fty/oct-digit-char-list.lisp
M books/kestrel/fty/string-stringlist-alist.lisp
M books/kestrel/fty/strings-decimal-fty.lisp
M books/kestrel/fty/symbol-pseudoeventform-alist.lisp
M books/kestrel/fty/symbol-pseudoterm-alist.lisp

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


Commit: 7f666992a7188475caf1d734b7865c2e0b4ef262
https://github.com/acl2/acl2/commit/7f666992a7188475caf1d734b7865c2e0b4ef262
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/input-files-doc.lisp

Log Message:
-----------
[C$] Clarify some `input-files` user doc.


Commit: 6d88c8f8452f2ad9b2a055569a79472d78b4e9a5
https://github.com/acl2/acl2/commit/6d88c8f8452f2ad9b2a055569a79472d78b4e9a5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/output-files-doc.lisp

Log Message:
-----------
[C$] Clarify some `output-files` user doc.


Commit: 8f73bdf594f1874628b56a0171c219402c7c24a5
https://github.com/acl2/acl2/commit/8f73bdf594f1874628b56a0171c219402c7c24a5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
A books/kestrel/c/transformation/input-processing.lisp

Log Message:
-----------
[C2C] Add two general input processors.


Commit: 381f8ab0bd9a91c796ef53f73594525f028a3c5e
https://github.com/acl2/acl2/commit/381f8ab0bd9a91c796ef53f73594525f028a3c5e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/transformation/simpadd0.lisp

Log Message:
-----------
[C2C] Simplify `simpadd0` input processing.

Use newly introuced general input processors.


Commit: fc84e2f9dd5f9ec1301f4f57db280266374147d9
https://github.com/acl2/acl2/commit/fc84e2f9dd5f9ec1301f4f57db280266374147d9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/transformation/proof-generation.lisp
M books/kestrel/c/transformation/simpadd0.lisp

Log Message:
-----------
[C2C] Rename a function, which is more general than `simpadd0`.


Commit: 64554a501841b457ad16ead6208db508d81bdb70
https://github.com/acl2/acl2/commit/64554a501841b457ad16ead6208db508d81bdb70
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/transformation/top.lisp

Log Message:
-----------
[C2C] Expand some doc.


Commit: 329b53762f1051af743c55dffc6a38419ec06de4
https://github.com/acl2/acl2/commit/329b53762f1051af743c55dffc6a38419ec06de4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/top.lisp

Log Message:
-----------
[C2C] Expand and move some general doc.


Commit: c39692ec0afeacb0ef3a48f008d492b0c17fc2b0
https://github.com/acl2/acl2/commit/c39692ec0afeacb0ef3a48f008d492b0c17fc2b0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/parser.lisp

Log Message:
-----------
[C$] Update theorem name.


Commit: c36d2d5c3862a599b8ff7281fa339c22beb6a4c2
https://github.com/acl2/acl2/commit/c36d2d5c3862a599b8ff7281fa339c22beb6a4c2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/parser.lisp

Log Message:
-----------
[C$] Update XDOC link.


Commit: 1fc1a75e6a1c6ef12a0d47bf3d78a46e99195d3e
https://github.com/acl2/acl2/commit/1fc1a75e6a1c6ef12a0d47bf3d78a46e99195d3e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

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


Compare: https://github.com/acl2/acl2/compare/a5f37b5a35e6...1fc1a75e6a1c

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