[acl2/acl2] cdd07e: [C$] Add info slot to union type specifiers.

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: cdd07efcbd41bcebf3a4cedb085d2c2765659f3e
https://github.com/acl2/acl2/commit/cdd07efcbd41bcebf3a4cedb085d2c2765659f3e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-formal-mapping-inverse.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp

Log Message:
-----------
[C$] Add info slot to union type specifiers.


Commit: a3953e5e6b06796dca84b2307a4b60800496c32d
https://github.com/acl2/acl2/commit/a3953e5e6b06796dca84b2307a4b60800496c32d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Annotate union type specifiers.


Commit: 20443e83e1534e195d613dab87c156792bd57282
https://github.com/acl2/acl2/commit/20443e83e1534e195d613dab87c156792bd57282
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

Changed paths:
M books/kestrel/c/language/implementation-environments/integer-format-templates.lisp

Log Message:
-----------
[C] Reorder some code within a file.


Commit: eed53c3aa7f2ea8ca4d1f0dd7e4bd0f215d7a8e1
https://github.com/acl2/acl2/commit/eed53c3aa7f2ea8ca4d1f0dd7e4bd0f215d7a8e1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

Changed paths:
M books/kestrel/c/language/implementation-environments/source-character-sets.lisp

Log Message:
-----------
[C] Define sample ASCII source character set.


Commit: c2e519baa80a9c9882d5314ca78acb06df4d686c
https://github.com/acl2/acl2/commit/c2e519baa80a9c9882d5314ca78acb06df4d686c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Rename a variable.

In preparation for an upcoming change.


Commit: 247622cc1c23c60f1afe01cc83178ff7894d0220
https://github.com/acl2/acl2/commit/247622cc1c23c60f1afe01cc83178ff7894d0220
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

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

Log Message:
-----------
[STS safety] add some checks.


Commit: f8890397b4116b19e47e7fe2bafc402e774c5b10
https://github.com/acl2/acl2/commit/f8890397b4116b19e47e7fe2bafc402e774c5b10
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

Changed paths:
M books/kestrel/c/language/implementation-environments/integer-format-templates.lisp
M books/kestrel/c/language/implementation-environments/source-character-sets.lisp

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


Commit: 28105293dc48e3eb20b82fc728b90c419cd14b93
https://github.com/acl2/acl2/commit/28105293dc48e3eb20b82fc728b90c419cd14b93
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

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

Log Message:
-----------
[C$] Add an irrelevant.


Commit: 091a893371a746000bbe992ec4eccbfd17d115e8
https://github.com/acl2/acl2/commit/091a893371a746000bbe992ec4eccbfd17d115e8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp

Log Message:
-----------
[C$] Improve preprocessor.

Having it traffic in preprocessing ensembles.


Commit: baa8f5d213a1fe6b7a5429cb50e2cdcd43d4c500
https://github.com/acl2/acl2/commit/baa8f5d213a1fe6b7a5429cb50e2cdcd43d4c500
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-29 (Wed, 29 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/preprocessing-abstract-syntax.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp

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


Compare: https://github.com/acl2/acl2/compare/bca6c0f06837...baa8f5d213a1

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