[acl2/acl2] c4b201: [STS safety] Relax checks on initializers with des...

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: c4b20182389ec6af95aef76e07182d931595e445
https://github.com/acl2/acl2/commit/c4b20182389ec6af95aef76e07182d931595e445
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

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

Log Message:
-----------
[STS safety] Relax checks on initializers with designators.


Commit: 2e4ebd41dd0577425be283c923fccd8d42587d30
https://github.com/acl2/acl2/commit/2e4ebd41dd0577425be283c923fccd8d42587d30
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

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

Log Message:
-----------
[STS safety] Add safety checks to several tests.


Commit: 027ef5e77d5fc46824fa12920195cd8a63a56a31
https://github.com/acl2/acl2/commit/027ef5e77d5fc46824fa12920195cd8a63a56a31
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

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

Log Message:
-----------
[STS] Lift a safety check restriction.


Compare: https://github.com/acl2/acl2/compare/3d8b5eaa1d6b...027ef5e77d5f

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