[acl2/acl2] e48d78: [C$] Export more symbols.

[Alessandro Coglio]

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

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

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


Commit: 477cfa18323b7f562aa95be8310eb85a824b71a7
https://github.com/acl2/acl2/commit/477cfa18323b7f562aa95be8310eb85a824b71a7
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
M books/kestrel/c/transformation/struct-type-split.lisp

Log Message:
-----------
[STS safety] Pass additional information.

The additional information are the type completions, so that (in an upcoming
commit) we can use that to deepen certain checks.


Commit: f9968a2f079c36296de9486581a8e88033ee58f2
https://github.com/acl2/acl2/commit/f9968a2f079c36296de9486581a8e88033ee58f2
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] Add a recursion limit to a clique.

In preparation for an extension.


Commit: 68f84dfed2194d03f7cc69263291923bf42f05b6
https://github.com/acl2/acl2/commit/68f84dfed2194d03f7cc69263291923bf42f05b6
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
M books/kestrel/c/transformation/struct-type-split.lisp

Log Message:
-----------
[STS safety] Pass validation table.

This is also needed, to look up tagged struct members.


Commit: d9ff6a5c46c3b14fc6cc6c1bad3143cfb508a65e
https://github.com/acl2/acl2/commit/d9ff6a5c46c3b14fc6cc6c1bad3143cfb508a65e
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 safe] Improve a check.

For cast expressions, improve the 'may refer' check to also look up members
of tagged struct and union types.


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

Changed paths:
M books/kestrel/arithmetic-light/mod.lisp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/logext.lisp
M books/kestrel/memory/make-memory-region-machinery.lisp
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-derived-fixtypes.lisp
M books/kestrel/remora/abstract-syntax-matching-operations.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/desugaring.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/monomorphize.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/unique-names.lisp
M books/kestrel/remora/values-to-abstract-syntax.lisp

Log Message:
-----------
Merge.


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/12160a9624bf...027ef5e77d5f

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

[Alessandro Coglio]

Branch: refs/heads/testing