[acl2/acl2] 89e1c9: [C] Fix missing parents issue.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 89e1c9425be6d9c33183b690ff6c52e90f68d828
https://github.com/acl2/acl2/commit/89e1c9425be6d9c33183b690ff6c52e90f68d828
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M books/kestrel/c/language/variable-resolution-preservation.lisp

Log Message:
-----------
[C] Fix missing parents issue.



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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing

[acl2buildserver]

Branch: refs/heads/testing-kestrel

Home: https://github.com/acl2/acl2
Commit: 89e1c9425be6d9c33183b690ff6c52e90f68d828
https://github.com/acl2/acl2/commit/89e1c9425be6d9c33183b690ff6c52e90f68d828
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M books/kestrel/c/language/variable-resolution-preservation.lisp

Log Message:
-----------
[C] Fix missing parents issue.

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

Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/split-all-gso.lisp

Log Message:
-----------
Merge commit '32a5fb19b1dfc3812b004fb93cfa4374fe108630' into HEAD


Compare: https://github.com/acl2/acl2/compare/32a5fb19b1df...c4b0e52b2b57