[acl2/acl2] 7d6427: [safestruct] Fix doc.

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 7d6427ff35e131cf45c2eb7e1dfdb9e9a906be9d
https://github.com/acl2/acl2/commit/7d6427ff35e131cf45c2eb7e1dfdb9e9a906be9d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-19 (Fri, 19 Jun 2026)

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

Log Message:
-----------
[safestruct] Fix doc.


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

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

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


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

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

Log Message:
-----------
[C2C] Avoid a symbol conflict in a package.


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

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

Log Message:
-----------
[safestruct] Add checks on types.


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

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

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


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

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

Log Message:
-----------
[sts] Remove local theorem no longer needed.


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

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

Log Message:
-----------
[C2C] Rename file.


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

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

Log Message:
-----------
[STS safety] Make the checkers specific to STS.

STS = Struct Type Split


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

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

Log Message:
-----------
[STS safe] Update some links.


Compare: https://github.com/acl2/acl2/compare/c47f381a7d85...124c092b1f72

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

[Alessandro Coglio]

Branch: refs/heads/master

Commit: 2eea7a47a6579dbda42123fd187475a19b42a805
https://github.com/acl2/acl2/commit/2eea7a47a6579dbda42123fd187475a19b42a805

Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:

M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html

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


Commit: 273d7f7658f6ee752ed49e18bff0e30fb053020f
https://github.com/acl2/acl2/commit/273d7f7658f6ee752ed49e18bff0e30fb053020f
Author: Eric McCarthy <mcca...@kestrel.edu>

Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:

M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] grammar/parser/abstractor no longer produce a shape :dim


Commit: 22b66c84d2c38e19ecbb81bd600b6925d0218e81
https://github.com/acl2/acl2/commit/22b66c84d2c38e19ecbb81bd600b6925d0218e81

Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:

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

Log Message:
-----------
[CPP] Adapt to changes to C$ package.


Commit: e1ac89851eb88f2b26bfcfd8f37ee1f4e0899c47
https://github.com/acl2/acl2/commit/e1ac89851eb88f2b26bfcfd8f37ee1f4e0899c47

Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:

M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp

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


Compare: https://github.com/acl2/acl2/compare/e192548b43fb...e1ac89851eb8

[Alessandro Coglio]

Branch: refs/heads/testing