[acl2/acl2] b1413e: [C$] Improve grammar organization.

[Alessandro Coglio]

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

Changed paths:
M books/kestrel/c/syntax/grammar/expressions.abnf
M books/kestrel/c/syntax/grammar/grammar-rest.abnf

Log Message:
-----------
[C$] Improve grammar organization.


Commit: 8f3bfa983a78ef2870eed16b4a7ed29ebfc648c4
https://github.com/acl2/acl2/commit/8f3bfa983a78ef2870eed16b4a7ed29ebfc648c4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

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

Log Message:
-----------
[C$] Remove unneeded book inclusion.


Commit: 216821064b72d8eb97f17da546f6a750aaf3f4b5
https://github.com/acl2/acl2/commit/216821064b72d8eb97f17da546f6a750aaf3f4b5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/centaur/fty/bitstruct.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
A books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/syntax/input-files-doc.lisp
A books/kestrel/c/syntax/null-pointer-constants.lisp
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/uid.lisp
A books/kestrel/c/syntax/validation-annotations.lisp
R books/kestrel/c/syntax/validation-information.lisp
A books/kestrel/c/syntax/validation-tables.lisp
M books/kestrel/c/syntax/validation.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.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/simpadd0.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/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn-doc.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
M books/projects/acl2-in-hol/.acl2holrc.bash
A books/projects/hol-in-acl2/LICENSE

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


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

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/keywords-c17-noext.abnf
R books/kestrel/c/syntax/grammar/keywords-c17.abnf

Log Message:
-----------
[C$] Rename a grammar file.


Commit: 5736ae6f0ad7bb796d26ff04f55d08194cebb3ac
https://github.com/acl2/acl2/commit/5736ae6f0ad7bb796d26ff04f55d08194cebb3ac
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/keywords-c23-noext.abnf
R books/kestrel/c/syntax/grammar/keywords-c23.abnf

Log Message:
-----------
[C$] Rename a grammar file.


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

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/keywords-c17-clang-nocheri.abnf
R books/kestrel/c/syntax/grammar/keywords-c17-clang.abnf

Log Message:
-----------
[C$] Rename a grammar file.


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

Changed paths:
A books/kestrel/c/syntax/abstract-syntax-formal-subset.lisp
R books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp

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


Commit: 784a821d46181f2f391c4ddfea60c9e6cda0779f
https://github.com/acl2/acl2/commit/784a821d46181f2f391c4ddfea60c9e6cda0779f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/keywords-c23-clang-nocheri.abnf
R books/kestrel/c/syntax/grammar/keywords-c23-clang.abnf

Log Message:
-----------
[C$] Rename a grammar file.


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

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

Log Message:
-----------
[C$] Move validation table operations.

So they are in the file about validation tables. And it makes the validator file
a little smaller and faster to certify (in itself).


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

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

Log Message:
-----------
[C$] Fix some code indentation.


Commit: 007cb85ab834a44f6192b9fdf53d23a707aa9bc2
https://github.com/acl2/acl2/commit/007cb85ab834a44f6192b9fdf53d23a707aa9bc2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-formal-subset.lisp
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp

Log Message:
-----------
[C$] Rename XDOC topic.


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

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/keywords-c17.abnf
M books/kestrel/c/syntax/grammar/keywords.abnf

Log Message:
-----------
[C$] Refactor some grammar files.


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

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/keywords-c23.abnf
M books/kestrel/c/syntax/grammar/keywords.abnf

Log Message:
-----------
[C$] Refactor some grammar files.


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

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

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


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

Changed paths:
A books/kestrel/c/syntax/abstract-syntax-formal-mapping.lisp
M books/kestrel/c/syntax/langdef-mapping-inverse.lisp
R books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/transformation/constant-propagation.lisp

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


Commit: 8a8d9db0957dda4ecb3ffb06e5484acec917833f
https://github.com/acl2/acl2/commit/8a8d9db0957dda4ecb3ffb06e5484acec917833f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-formal-mapping.lisp
M books/kestrel/c/syntax/abstract-syntax-formal-subset.lisp
M books/kestrel/c/syntax/implementation-environments.lisp
M books/kestrel/c/syntax/langdef-mapping-inverse.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp

Log Message:
-----------
[C$] Rename an XDOC topic.


Commit: 7ee6a016a1fd81b99edac6e63a42b6a836b65813
https://github.com/acl2/acl2/commit/7ee6a016a1fd81b99edac6e63a42b6a836b65813
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/keywords-gcc-clang.abnf
M books/kestrel/c/syntax/grammar/keywords.abnf

Log Message:
-----------
[C$] Refactor some grammar files.


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

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/keywords-gcc-clang.abnf
M books/kestrel/c/syntax/grammar/keywords.abnf

Log Message:
-----------
[C$] Refactor some grammar files.


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

Changed paths:
A books/kestrel/c/syntax/abstract-syntax-formal-mapping-inverse.lisp
R books/kestrel/c/syntax/langdef-mapping-inverse.lisp
M books/kestrel/c/syntax/top.lisp

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


Commit: 64030127e068683c9cc20d47c028cba808e83430
https://github.com/acl2/acl2/commit/64030127e068683c9cc20d47c028cba808e83430
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/keywords-cheri.abnf
A books/kestrel/c/syntax/grammar/keywords-clang.abnf
A books/kestrel/c/syntax/grammar/keywords-gcc.abnf
M books/kestrel/c/syntax/grammar/keywords.abnf

Log Message:
-----------
[C$] Refactor some grammar files.


Commit: 5abf085d7df49e2983ffa4be006e1ad0d5562aad
https://github.com/acl2/acl2/commit/5abf085d7df49e2983ffa4be006e1ad0d5562aad
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/characters-c17.abnf
M books/kestrel/c/syntax/grammar/characters-c23.abnf
M books/kestrel/c/syntax/grammar/characters.abnf
M books/kestrel/c/syntax/grammar/comments.abnf
M books/kestrel/c/syntax/grammar/keywords-c17.abnf
M books/kestrel/c/syntax/grammar/keywords-c23.abnf
M books/kestrel/c/syntax/grammar/keywords-cheri.abnf
M books/kestrel/c/syntax/grammar/keywords-clang.abnf
M books/kestrel/c/syntax/grammar/keywords-gcc-clang.abnf
M books/kestrel/c/syntax/grammar/keywords-gcc.abnf
R books/kestrel/c/syntax/grammar/keywords.abnf

Log Message:
-----------
[C$] Remove file and streamline some doc.


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

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-formal-mapping-inverse.lisp
M books/kestrel/c/syntax/top.lisp

Log Message:
-----------
[C$] Rename an XDOC topic.


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

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

Log Message:
-----------
[C$] Remove obsolete phrase.


Commit: 3a3109af12fef37c8de7bdc8c9856648bb9858dd
https://github.com/acl2/acl2/commit/3a3109af12fef37c8de7bdc8c9856648bb9858dd
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/keywords-c17-clang-cheri.abnf
M books/kestrel/c/syntax/grammar/keywords-c17-clang-nocheri.abnf
M books/kestrel/c/syntax/grammar/keywords-c17-gcc.abnf
M books/kestrel/c/syntax/grammar/keywords-c17-noext.abnf
M books/kestrel/c/syntax/grammar/keywords-c23-clang-cheri.abnf
M books/kestrel/c/syntax/grammar/keywords-c23-clang-nocheri.abnf
M books/kestrel/c/syntax/grammar/keywords-c23-gcc.abnf
M books/kestrel/c/syntax/grammar/keywords-c23-noext.abnf

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


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

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/character-constants-c17.abnf
M books/kestrel/c/syntax/grammar/character-constants-c23.abnf
M books/kestrel/c/syntax/grammar/character-constants.abnf
M books/kestrel/c/syntax/grammar/comments.abnf
M books/kestrel/c/syntax/grammar/constants-c17.abnf
M books/kestrel/c/syntax/grammar/constants-c23.abnf
M books/kestrel/c/syntax/grammar/enumeration-constants.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c17-gcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c17-nogcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c17.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23-gcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23-nogcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23.abnf
M books/kestrel/c/syntax/grammar/floating-constants.abnf
M books/kestrel/c/syntax/grammar/identifier-lists.abnf
M books/kestrel/c/syntax/grammar/identifiers-c17.abnf
M books/kestrel/c/syntax/grammar/identifiers-c23.abnf
M books/kestrel/c/syntax/grammar/identifiers.abnf
M books/kestrel/c/syntax/grammar/integer-constants-c17.abnf
M books/kestrel/c/syntax/grammar/integer-constants-c23.abnf
M books/kestrel/c/syntax/grammar/integer-constants.abnf
M books/kestrel/c/syntax/grammar/simple-escapes-ext.abnf
M books/kestrel/c/syntax/grammar/simple-escapes-std.abnf
M books/kestrel/c/syntax/grammar/string-literals-c17.abnf
M books/kestrel/c/syntax/grammar/string-literals-c23.abnf
M books/kestrel/c/syntax/grammar/universal-character-names.abnf

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


Commit: 5a7b53cc33c818e1a7fea8e52ff1a6d13d17fd4a
https://github.com/acl2/acl2/commit/5a7b53cc33c818e1a7fea8e52ff1a6d13d17fd4a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/fty/string-set.lisp
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/package.lsp

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


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

Changed paths:
M books/kestrel/c/syntax/grammar/character-constants-c17.abnf
M books/kestrel/c/syntax/grammar/character-constants-c23.abnf
M books/kestrel/c/syntax/grammar/character-constants.abnf
M books/kestrel/c/syntax/grammar/constants-c17.abnf
M books/kestrel/c/syntax/grammar/constants-c23.abnf
M books/kestrel/c/syntax/grammar/enumeration-constants.abnf
M books/kestrel/c/syntax/grammar/expressions-ext.abnf
M books/kestrel/c/syntax/grammar/expressions-std.abnf
M books/kestrel/c/syntax/grammar/expressions.abnf
M books/kestrel/c/syntax/grammar/header-names.abnf
M books/kestrel/c/syntax/grammar/lexemes.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions.abnf
M books/kestrel/c/syntax/grammar/preprocessing-lexemes.abnf
M books/kestrel/c/syntax/grammar/preprocessing-numbers-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-numbers-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-tokens-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-tokens-c23.abnf
M books/kestrel/c/syntax/grammar/punctuators-c17.abnf
M books/kestrel/c/syntax/grammar/punctuators-c23.abnf
M books/kestrel/c/syntax/grammar/simple-escapes-ext.abnf
M books/kestrel/c/syntax/grammar/simple-escapes-std.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas-c17.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas-c23.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas.abnf
M books/kestrel/c/syntax/grammar/tokens.abnf

Log Message:
-----------
[C$] Make some doc more consistent.


Commit: 8666d3d1695cdf8cf53c35f240126cad429bcc0c
https://github.com/acl2/acl2/commit/8666d3d1695cdf8cf53c35f240126cad429bcc0c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
A books/kestrel/c/syntax/abstract-syntax-formal-mapping-direct.lisp
M books/kestrel/c/syntax/abstract-syntax-formal-mapping-inverse.lisp
R books/kestrel/c/syntax/abstract-syntax-formal-mapping.lisp
M books/kestrel/c/syntax/abstract-syntax-formal-subset.lisp
M books/kestrel/c/syntax/implementation-environments.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/transformation/constant-propagation.lisp

Log Message:
-----------
[C$] Rename a file and a topic for consistency.


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

Changed paths:
M books/kestrel/fty/string-set.lisp
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/package.lsp

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


Commit: 1fa5f929731779e7235e491a041e77c06b601fb8
https://github.com/acl2/acl2/commit/1fa5f929731779e7235e491a041e77c06b601fb8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/character-constants-c17.abnf
M books/kestrel/c/syntax/grammar/character-constants-c23.abnf
M books/kestrel/c/syntax/grammar/constants-c17.abnf
M books/kestrel/c/syntax/grammar/encoding-prefixes.abnf
M books/kestrel/c/syntax/grammar/enumeration-constants.abnf
M books/kestrel/c/syntax/grammar/expressions-ext.abnf
M books/kestrel/c/syntax/grammar/expressions-std.abnf
M books/kestrel/c/syntax/grammar/expressions.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c17-gcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c17-nogcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23-gcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23-nogcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23.abnf
M books/kestrel/c/syntax/grammar/header-names.abnf
M books/kestrel/c/syntax/grammar/identifier-lists.abnf
M books/kestrel/c/syntax/grammar/identifiers.abnf
M books/kestrel/c/syntax/grammar/keywords-c17.abnf
M books/kestrel/c/syntax/grammar/keywords-c23.abnf
M books/kestrel/c/syntax/grammar/keywords-cheri.abnf
M books/kestrel/c/syntax/grammar/keywords-clang.abnf
M books/kestrel/c/syntax/grammar/keywords-gcc-clang.abnf
M books/kestrel/c/syntax/grammar/keywords-gcc.abnf
M books/kestrel/c/syntax/grammar/lexemes.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions.abnf
M books/kestrel/c/syntax/grammar/preprocessing-lexemes.abnf
M books/kestrel/c/syntax/grammar/preprocessing-numbers-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-numbers-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-tokens-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-tokens-c23.abnf
M books/kestrel/c/syntax/grammar/punctuators-c17.abnf
M books/kestrel/c/syntax/grammar/punctuators-c23.abnf
M books/kestrel/c/syntax/grammar/simple-escapes-ext.abnf
M books/kestrel/c/syntax/grammar/simple-escapes-std.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas-c17.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas-c23.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas.abnf
M books/kestrel/c/syntax/grammar/tokens.abnf

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


Commit: 5312bff402c5c05710d634d98fcbfbd6e5ed3187
https://github.com/acl2/acl2/commit/5312bff402c5c05710d634d98fcbfbd6e5ed3187
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/character-constants-c17.abnf
M books/kestrel/c/syntax/grammar/character-constants-c23.abnf
M books/kestrel/c/syntax/grammar/character-constants.abnf
M books/kestrel/c/syntax/grammar/characters-c17.abnf
M books/kestrel/c/syntax/grammar/characters-c23.abnf
M books/kestrel/c/syntax/grammar/characters.abnf
M books/kestrel/c/syntax/grammar/comments.abnf
M books/kestrel/c/syntax/grammar/constants-c17.abnf
M books/kestrel/c/syntax/grammar/constants-c23.abnf
M books/kestrel/c/syntax/grammar/encoding-prefixes.abnf
M books/kestrel/c/syntax/grammar/enumeration-constants.abnf
M books/kestrel/c/syntax/grammar/expressions-ext.abnf
M books/kestrel/c/syntax/grammar/expressions-std.abnf
M books/kestrel/c/syntax/grammar/expressions.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c17-gcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c17-nogcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c17.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23-gcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23-nogcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23.abnf
M books/kestrel/c/syntax/grammar/floating-constants.abnf
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
M books/kestrel/c/syntax/grammar/header-names.abnf
M books/kestrel/c/syntax/grammar/identifier-lists.abnf
M books/kestrel/c/syntax/grammar/identifiers-c17.abnf
M books/kestrel/c/syntax/grammar/identifiers-c23.abnf
M books/kestrel/c/syntax/grammar/identifiers.abnf
M books/kestrel/c/syntax/grammar/integer-constants-c17.abnf
M books/kestrel/c/syntax/grammar/integer-constants-c23.abnf
M books/kestrel/c/syntax/grammar/integer-constants.abnf
M books/kestrel/c/syntax/grammar/keywords-c17-clang-cheri.abnf
A books/kestrel/c/syntax/grammar/keywords-c17-clang-nocheri.abnf
R books/kestrel/c/syntax/grammar/keywords-c17-clang.abnf
M books/kestrel/c/syntax/grammar/keywords-c17-gcc.abnf
A books/kestrel/c/syntax/grammar/keywords-c17-noext.abnf
M books/kestrel/c/syntax/grammar/keywords-c17.abnf
M books/kestrel/c/syntax/grammar/keywords-c23-clang-cheri.abnf
A books/kestrel/c/syntax/grammar/keywords-c23-clang-nocheri.abnf
R books/kestrel/c/syntax/grammar/keywords-c23-clang.abnf
M books/kestrel/c/syntax/grammar/keywords-c23-gcc.abnf
A books/kestrel/c/syntax/grammar/keywords-c23-noext.abnf
M books/kestrel/c/syntax/grammar/keywords-c23.abnf
A books/kestrel/c/syntax/grammar/keywords-cheri.abnf
A books/kestrel/c/syntax/grammar/keywords-clang.abnf
A books/kestrel/c/syntax/grammar/keywords-gcc-clang.abnf
A books/kestrel/c/syntax/grammar/keywords-gcc.abnf
R books/kestrel/c/syntax/grammar/keywords.abnf
M books/kestrel/c/syntax/grammar/lexemes.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-expressions.abnf
M books/kestrel/c/syntax/grammar/preprocessing-lexemes.abnf
M books/kestrel/c/syntax/grammar/preprocessing-numbers-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-numbers-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-tokens-c17.abnf
M books/kestrel/c/syntax/grammar/preprocessing-tokens-c23.abnf
M books/kestrel/c/syntax/grammar/punctuators-c17.abnf
M books/kestrel/c/syntax/grammar/punctuators-c23.abnf
M books/kestrel/c/syntax/grammar/simple-escapes-ext.abnf
M books/kestrel/c/syntax/grammar/simple-escapes-std.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas-c17.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas-c23.abnf
M books/kestrel/c/syntax/grammar/standard-pragmas.abnf
M books/kestrel/c/syntax/grammar/string-literals-c17.abnf
M books/kestrel/c/syntax/grammar/string-literals-c23.abnf
M books/kestrel/c/syntax/grammar/tokens.abnf
M books/kestrel/c/syntax/grammar/universal-character-names.abnf

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


Commit: 8aa139f85eebe1e4942b6304164d2955c78c78d5
https://github.com/acl2/acl2/commit/8aa139f85eebe1e4942b6304164d2955c78c78d5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

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

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


Commit: 23998caf4cad8a186511419c3875c71c00476217
https://github.com/acl2/acl2/commit/23998caf4cad8a186511419c3875c71c00476217
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bit.lisp
R books/projects/x86isa/machine/instructions/fp/bitscan.lisp
M books/projects/x86isa/machine/instructions/fp/top.lisp
M books/projects/x86isa/utils/paging-structures.lisp
M books/projects/x86isa/utils/segmentation-structures.lisp
M books/projects/x86isa/utils/utilities.lisp

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


Compare: https://github.com/acl2/acl2/compare/80f0669b60ee...23998caf4cad

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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel