[acl2/acl2] 689bb9: [C$] Add missing ordered subtopic.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 689bb969882c79e18435b6aa04f02f05c1c9505e
https://github.com/acl2/acl2/commit/689bb969882c79e18435b6aa04f02f05c1c9505e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

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

Log Message:
-----------
[C$] Add missing ordered subtopic.


Commit: 2d60074541c778f719c1b64a3846f2b06eb57d44
https://github.com/acl2/acl2/commit/2d60074541c778f719c1b64a3846f2b06eb57d44
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
A books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validation.lisp

Log Message:
-----------
[C$] Move some code to a new file.


Commit: 12d46d37c40444cc40d7f1d9aed7175e768de5d6
https://github.com/acl2/acl2/commit/12d46d37c40444cc40d7f1d9aed7175e768de5d6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/syntax/package.lsp

Log Message:
-----------
[C$] Import symbol and avoid prefix.


Commit: b2ccbc8b9973d0d852a47646ffa802503385efaa
https://github.com/acl2/acl2/commit/b2ccbc8b9973d0d852a47646ffa802503385efaa
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/c/syntax/validation-information.lisp
A books/kestrel/c/syntax/validation-tables.lisp
M books/kestrel/c/syntax/validation.lisp

Log Message:
-----------
[C$] Move some code to a new file.


Commit: b7afbbb26903702d57c6dea52090f050032bf7a7
https://github.com/acl2/acl2/commit/b7afbbb26903702d57c6dea52090f050032bf7a7
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

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

Log Message:
-----------
[C$] Move some code to a new file.


Commit: 0a456ca59854c8699d36598394df1b23851c0724
https://github.com/acl2/acl2/commit/0a456ca59854c8699d36598394df1b23851c0724
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
A books/kestrel/c/syntax/null-pointer-constants.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validation.lisp

Log Message:
-----------
[C$] Move some code to a new file.


Commit: 715e292a6b8d8580f2436807fde3fc2ee8bf0d08
https://github.com/acl2/acl2/commit/715e292a6b8d8580f2436807fde3fc2ee8bf0d08
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

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

Log Message:
-----------
[C$] Add some doc.


Commit: 55a91ce233ef427337495aed9d4e9d21cb658838
https://github.com/acl2/acl2/commit/55a91ce233ef427337495aed9d4e9d21cb658838
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/uid.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
R books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validation.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/input-processing.lisp
M books/kestrel/c/transformation/proof-generation.lisp
M books/kestrel/c/transformation/simpadd0-doc.lisp
M books/kestrel/c/transformation/split-all-gso-doc.lisp
M books/kestrel/c/transformation/split-gso-doc.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/add-attributes.lisp
M books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/c/transformation/utilities/rename-fn.lisp
M books/kestrel/c/transformation/wrap-fn-doc.lisp
M books/kestrel/c/transformation/wrap-fn.lisp

Log Message:
-----------
[C$] Eliminate file no longer needed.

Redirect book inclusions and XDOC references.


Commit: 6e60eee7be4bed37888bfdecab09a039cb6e40b2
https://github.com/acl2/acl2/commit/6e60eee7be4bed37888bfdecab09a039cb6e40b2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

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

Log Message:
-----------
[C$] Fix XDOC link.


Compare: https://github.com/acl2/acl2/compare/f3de74de64d3...6e60eee7be4b

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

[Alessandro Coglio]

Branch: refs/heads/testing