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

[Alessandro Coglio]

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

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

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


Commit: 72092322513fb19328a9a19a9fc1b8d3a93e2aaa
https://github.com/acl2/acl2/commit/72092322513fb19328a9a19a9fc1b8d3a93e2aaa
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/c/transformation/package.lsp

Log Message:
-----------
[C2C] Import a symbol.


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

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

Log Message:
-----------
[STS safety] Improve reporting.


Commit: 3517f295daaa8e0a667eff3767529fe24d0fdcdc
https://github.com/acl2/acl2/commit/3517f295daaa8e0a667eff3767529fe24d0fdcdc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

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

Have it traffic in Unicode characters instead of natural numbers.

This goes well with some semi-recent improvements to ASTs to use Unicode
characters instead of natural numbers.

(Here by 'Unicode character' we mean Unicode scalar value, which is a natural
numbers, but we have a dedicated fixtype for it, as opposed to using the fixtype
of natural numbers.)


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

Changed paths:
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/unicode-characters.lisp

Log Message:
-----------
[C$] Move theorem to better place.


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

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

Log Message:
-----------
[STS safety] Exclude address of member for now.


Commit: 7b3420e0244ebbedcdaf3dfa36d36dc4bc875498
https://github.com/acl2/acl2/commit/7b3420e0244ebbedcdaf3dfa36d36dc4bc875498
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/unicode-characters.lisp

Log Message:
-----------
[C$] Move and rename a theorem.


Commit: 4cd85e4bc132b847816e04fdfaea4e16ee63f1ef
https://github.com/acl2/acl2/commit/4cd85e4bc132b847816e04fdfaea4e16ee63f1ef
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

Log Message:
-----------
[STS safety] Relax check on atomic type specifiers.


Commit: 53a91c1996284a2f71d9e52b1b41bbc27d5b69a9
https://github.com/acl2/acl2/commit/53a91c1996284a2f71d9e52b1b41bbc27d5b69a9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/unicode-characters.lisp

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


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

Changed paths:
M books/kestrel/c/package.lsp

Log Message:
-----------
[C] Import some symbols.


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

Changed paths:
A books/kestrel/utilities/strings/char-code-set.lisp
M books/kestrel/utilities/strings/top.lisp

Log Message:
-----------
[strings] Add a utility.


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

Changed paths:
M books/kestrel/jsonrpc/socket.lisp

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


Commit: 76d442756f3648e978eb3e33bd4bedc785443c91
https://github.com/acl2/acl2/commit/76d442756f3648e978eb3e33bd4bedc785443c91
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

Log Message:
-----------
[STS safety] Improve doc.


Commit: 2652f87981f62335e56a1cd417e77062db505ad2
https://github.com/acl2/acl2/commit/2652f87981f62335e56a1cd417e77062db505ad2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 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 some doc.


Commit: 2b16ff4c053db0cd6ed0b5007a94c65bfe1938f3
https://github.com/acl2/acl2/commit/2b16ff4c053db0cd6ed0b5007a94c65bfe1938f3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

Log Message:
-----------
[STS safety] Add some doc.


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

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

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


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

Changed paths:
M books/kestrel/c/transformation/package.lsp

Log Message:
-----------
[C2C] Avoid importing a symbol.


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

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

Log Message:
-----------
[STS safety] Allow s.


Commit: 104e6c47ebc79b4ade1eeade6280bd4a9385293f
https://github.com/acl2/acl2/commit/104e6c47ebc79b4ade1eeade6280bd4a9385293f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

Log Message:
-----------
[STS safety] Slightly relax some checks.


Commit: 50cc25dab7c7e2573f2323e4728c43af7efd0e66
https://github.com/acl2/acl2/commit/50cc25dab7c7e2573f2323e4728c43af7efd0e66
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 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] Exclude preprocessing constructs.


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

Changed paths:
M books/kestrel/jsonrpc/socket.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
A books/kestrel/remora/primitives-evaluation-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp

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


Commit: 8575ebbd4a592651bbadbc8cd79132aab6f78f33
https://github.com/acl2/acl2/commit/8575ebbd4a592651bbadbc8cd79132aab6f78f33
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

Log Message:
-----------
[STS safety] Fix a check.


Commit: 52e2fa788f1968670a6394a4036ea8982e3dc95c
https://github.com/acl2/acl2/commit/52e2fa788f1968670a6394a4036ea8982e3dc95c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 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] Fix one check.


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

Changed paths:
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/unicode-characters.lisp

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


Commit: 8343c1e18115254c88aa46b3b614e0189356c5b8
https://github.com/acl2/acl2/commit/8343c1e18115254c88aa46b3b614e0189356c5b8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/c/package.lsp

Log Message:
-----------
[C] Import some symbols.


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

Changed paths:
M books/kestrel/c/package.lsp
A books/kestrel/utilities/strings/char-code-set.lisp
M books/kestrel/utilities/strings/top.lisp

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


Commit: 6a34ea50cc3e9b08b3d536e923f6588d74270f45
https://github.com/acl2/acl2/commit/6a34ea50cc3e9b08b3d536e923f6588d74270f45
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/projects/filesystems/utilities/cpp-syntax/package.lsp

Log Message:
-----------
Adapt to package change.


Compare: https://github.com/acl2/acl2/compare/0521b634ae68...6a34ea50cc3e

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

[Alessandro Coglio]

Branch: refs/heads/testing