[acl2/acl2] 5118ec: [STS safety] Add checks for initializer declarators.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 5118ece9d8f7b08e56145e74759aa340e03bfd55
https://github.com/acl2/acl2/commit/5118ece9d8f7b08e56145e74759aa340e03bfd55
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-29 (Mon, 29 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp

Log Message:
-----------
[STS safety] Add checks for initializer declarators.


Commit: e50716e0b29b5075e183169fc3c93a7936d58151
https://github.com/acl2/acl2/commit/e50716e0b29b5075e183169fc3c93a7936d58151
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-29 (Mon, 29 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp

Log Message:
-----------
[STS safety] Add checks on non-abstract parameter declarators.


Commit: d931eb6f3fe1396a64de3adadd65a5a285cf2bd9
https://github.com/acl2/acl2/commit/d931eb6f3fe1396a64de3adadd65a5a285cf2bd9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-29 (Mon, 29 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp

Log Message:
-----------
[STS safety] Simplify some code.


Commit: 902073ecbed8f7fa5126f0b2f1efc52ce1f89734
https://github.com/acl2/acl2/commit/902073ecbed8f7fa5126f0b2f1efc52ce1f89734
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-29 (Mon, 29 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp

Log Message:
-----------
[C$] Export more symbols.


Commit: 3a426b980a5e38bcbe647bb418e990de8acc8bd3
https://github.com/acl2/acl2/commit/3a426b980a5e38bcbe647bb418e990de8acc8bd3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-29 (Mon, 29 Jun 2026)

Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp

Log Message:
-----------
[STS safety] Add checks on function definition types.


Commit: 8da5b9838859cc977cfbd0b3fc49f2f50f611a38
https://github.com/acl2/acl2/commit/8da5b9838859cc977cfbd0b3fc49f2f50f611a38
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-29 (Mon, 29 Jun 2026)

Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp

Log Message:
-----------
[STS safety] Remove rejection of declarators.


Compare: https://github.com/acl2/acl2/compare/436b643abf8c...8da5b9838859

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

[Alessandro Coglio]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel