[acl2/acl2] f1215b: [C2C] Fix add-section-attr bug

0 views
Skip to first unread message

Grant Jurgensen

unread,
Feb 6, 2026, 4:24:50 PM (4 days ago) Feb 6
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: f1215b5012c66da463b258e2e2eb2b6e3427af68
https://github.com/acl2/acl2/commit/f1215b5012c66da463b258e2e2eb2b6e3427af68
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-06 (Fri, 06 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
M books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/utilities/add-attributes.lisp

Log Message:
-----------
[C2C] Fix add-section-attr bug

Declarations with empty initializer declarator lists were being
erroneously dropped. Extended a test case to test for the desired
behavior.



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

acl2buildserver

unread,
Feb 6, 2026, 5:25:54 PM (4 days ago) Feb 6
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f1215b5012c66da463b258e2e2eb2b6e3427af68
https://github.com/acl2/acl2/commit/f1215b5012c66da463b258e2e2eb2b6e3427af68
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-06 (Fri, 06 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
M books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/utilities/add-attributes.lisp

Log Message:
-----------
[C2C] Fix add-section-attr bug

Declarations with empty initializer declarator lists were being
erroneously dropped. Extended a test case to test for the desired
behavior.


Commit: bc13f6577e0cebed432ea0ce8929603d2e542dde
https://github.com/acl2/acl2/commit/bc13f6577e0cebed432ea0ce8929603d2e542dde
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-02-06 (Fri, 06 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
M books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/utilities/add-attributes.lisp

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


Compare: https://github.com/acl2/acl2/compare/dd729c988c9d...bc13f6577e0c

acl2buildserver

unread,
Feb 6, 2026, 5:26:38 PM (4 days ago) Feb 6
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages