[acl2/acl2] 4c9fab: Merge commit 'a5f37b5a35e62dcdba9dd4a349cf67c6d1cc...

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
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: 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/36abf8184efd...1fc1a75e6a1c

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