[acl2/acl2] 8e392a: Minor corrections in acl2-doc

[MattKaufmann]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 8e392a36d1128fcb70487f403673e88be81573cf
https://github.com/acl2/acl2/commit/8e392a36d1128fcb70487f403673e88be81573cf
Author: David Taylor <jdavid...@outlook.com>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Minor corrections in acl2-doc


Commit: 54d516353d962e62eb7669c6f5161f274c5a8a32
https://github.com/acl2/acl2/commit/54d516353d962e62eb7669c6f5161f274c5a8a32
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge pull request #1856 from copperteal/minor-doc-fixes

Minor corrections in acl2-doc


Compare: https://github.com/acl2/acl2/compare/271ae997abda...54d516353d96

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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 8e392a36d1128fcb70487f403673e88be81573cf
https://github.com/acl2/acl2/commit/8e392a36d1128fcb70487f403673e88be81573cf
Author: David Taylor <jdavid...@outlook.com>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Minor corrections in acl2-doc


Commit: 54d516353d962e62eb7669c6f5161f274c5a8a32
https://github.com/acl2/acl2/commit/54d516353d962e62eb7669c6f5161f274c5a8a32
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge pull request #1856 from copperteal/minor-doc-fixes

Minor corrections in acl2-doc

Commit: 2f56a758c818c219981c1f1d7d7f573ba3de6e4e
https://github.com/acl2/acl2/commit/2f56a758c818c219981c1f1d7d7f573ba3de6e4e
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/atc/statement-generation.lisp
M books/kestrel/c/atc/symbolic-execution-rules/exec-expr-call-or-asg.lisp
M books/kestrel/c/atc/symbolic-execution-rules/exec-stmt.lisp
M books/kestrel/c/language/dynamic-semantics.lisp
M books/kestrel/c/language/object-type-preservation.lisp
M books/kestrel/c/language/variable-resolution-preservation.lisp
M books/kestrel/c/language/variable-visibility-preservation.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
A books/kestrel/c/syntax/printing.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0-doc.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/splitgso.lisp
M books/kestrel/c/transformation/tests/simpadd0/asg-int.lisp
M books/kestrel/c/transformation/tests/simpadd0/bin.lisp
M books/kestrel/c/transformation/tests/simpadd0/blocks.lisp
M books/kestrel/c/transformation/tests/simpadd0/cast-int-to-long.lisp
M books/kestrel/c/transformation/tests/simpadd0/cast-long-to-int.lisp
M books/kestrel/c/transformation/tests/simpadd0/constant.lisp
M books/kestrel/c/transformation/tests/simpadd0/decl.lisp
M books/kestrel/c/transformation/tests/simpadd0/file-scope.lisp
M books/kestrel/c/transformation/tests/simpadd0/gg.lisp
M books/kestrel/c/transformation/tests/simpadd0/global.lisp
M books/kestrel/c/transformation/tests/simpadd0/if.lisp
M books/kestrel/c/transformation/tests/simpadd0/ifelse.lisp
M books/kestrel/c/transformation/tests/simpadd0/logand.lisp
M books/kestrel/c/transformation/tests/simpadd0/logor.lisp
M books/kestrel/c/transformation/tests/simpadd0/nonint-const.lisp
M books/kestrel/c/transformation/tests/simpadd0/nonint-param.lisp
M books/kestrel/c/transformation/tests/simpadd0/nonint-return.lisp
M books/kestrel/c/transformation/tests/simpadd0/noninteger.lisp
M books/kestrel/c/transformation/tests/simpadd0/nosimp-int.lisp
M books/kestrel/c/transformation/tests/simpadd0/nosimp-short.lisp
M books/kestrel/c/transformation/tests/simpadd0/nosimp-ulong.lisp
M books/kestrel/c/transformation/tests/simpadd0/paren.lisp
M books/kestrel/c/transformation/tests/simpadd0/return-void.lisp
M books/kestrel/c/transformation/tests/simpadd0/stmt-null.lisp
M books/kestrel/c/transformation/tests/simpadd0/ternary-int.lisp
M books/kestrel/c/transformation/tests/simpadd0/var.lisp
M books/kestrel/c/transformation/tests/simpadd0/while.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
A books/kestrel/fty/any-nat-map.lisp
A books/kestrel/fty/character-any-map.lisp
A books/kestrel/fty/character-set.lisp
M books/kestrel/fty/top.lisp

Log Message:
-----------
Merge commit '85d14dd4076f2813b722641f23104c37fbb965e5' into HEAD


Compare: https://github.com/acl2/acl2/compare/85d14dd4076f...2f56a758c818

[Alessandro Coglio]

Branch: refs/heads/testing-user-01

Commit: e4cd8b21533f9dd75f938fcb20543db4f562b479
https://github.com/acl2/acl2/commit/e4cd8b21533f9dd75f938fcb20543db4f562b479
Author: Matt Kaufmann <kauf...@cs.utexas.edu>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

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

Log Message:
-----------
Synch doc.lisp etc.


Commit: b2dcb9d73457aea7b62c55ce34be52817ef546d2
https://github.com/acl2/acl2/commit/b2dcb9d73457aea7b62c55ce34be52817ef546d2
Author: Grant Jurgensen <gr...@jurgensen.dev>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocess-file.lisp
M books/kestrel/c/syntax/tests/input-files.lisp

Log Message:
-----------
[C$] Allow omap for preprocessor arguments

This allos a string to string-list omap in preprocess-files and the
input-files macro.


Commit: ecd2632d778234b7211f30d1c9130ffd6243491b
https://github.com/acl2/acl2/commit/ecd2632d778234b7211f30d1c9130ffd6243491b
Author: Grant Jurgensen <gr...@jurgensen.dev>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/tests/input-files.lisp
M books/kestrel/c/transformation/tests/call-graph/call-graph.lisp
M books/kestrel/c/transformation/tests/constant-propagation/constant-propagation.lisp
M books/kestrel/c/transformation/tests/copy-fn/copy-fn.lisp
M books/kestrel/c/transformation/tests/rename/rename.lisp

M books/kestrel/c/transformation/tests/specialize/specialize.lisp
M books/kestrel/c/transformation/tests/split-all-gso/split-all-gso.lisp
M books/kestrel/c/transformation/tests/split-fn-when/split-fn-when.lisp
M books/kestrel/c/transformation/tests/split-fn/split-fn.lisp
M books/kestrel/c/transformation/tests/splitgso/splitgso.lisp

Log Message:
-----------
[C$] Evaluate :files input of input-files


Commit: 06e8c019a3ed27b92dbcb367a07be6f73ed423a9
https://github.com/acl2/acl2/commit/06e8c019a3ed27b92dbcb367a07be6f73ed423a9
Author: Grant Jurgensen <gr...@jurgensen.dev>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/transformation/tests/simpadd0/while.lisp

Log Message:
-----------
[C$] Use standard keyword macro arguments in input-files

This allows us to leave of quotes to evaluate particular arguments.


Commit: 0e4a6ef6defe1faf8ee372d7404b08d6e68791eb
https://github.com/acl2/acl2/commit/0e4a6ef6defe1faf8ee372d7404b08d6e68791eb
Author: Grant Jurgensen <gr...@jurgensen.dev>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocess-file.lisp

Log Message:
-----------
[C$] Clarify input-files doc

These changes were suggested by Alessandro Coglio in PR #1853.


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

Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocess-file.lisp
M books/kestrel/c/syntax/tests/input-files.lisp
M books/kestrel/c/transformation/tests/call-graph/call-graph.lisp
M books/kestrel/c/transformation/tests/constant-propagation/constant-propagation.lisp
M books/kestrel/c/transformation/tests/copy-fn/copy-fn.lisp
M books/kestrel/c/transformation/tests/rename/rename.lisp

M books/kestrel/c/transformation/tests/specialize/specialize.lisp
M books/kestrel/c/transformation/tests/split-all-gso/split-all-gso.lisp
M books/kestrel/c/transformation/tests/split-fn-when/split-fn-when.lisp
M books/kestrel/c/transformation/tests/split-fn/split-fn.lisp
M books/kestrel/c/transformation/tests/splitgso/splitgso.lisp

Log Message:
-----------
Merge commit '0e4a6ef6defe1faf8ee372d7404b08d6e68791eb' into HEAD


Commit: 932e0fb45ffbf990a166591e6f21c55b198c75b3
https://github.com/acl2/acl2/commit/932e0fb45ffbf990a166591e6f21c55b198c75b3
Author: Grant Jurgensen <gr...@jurgensen.dev>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocess-file.lisp
A books/kestrel/fty/string-stringlist-map.lisp

M books/kestrel/fty/top.lisp

Log Message:
-----------

[FTY] Factor out string-stringlist-map


Commit: 6ec7a60c3c8c7516d33f2088f4a448b57920c3fc
https://github.com/acl2/acl2/commit/6ec7a60c3c8c7516d33f2088f4a448b57920c3fc

Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocess-file.lisp
A books/kestrel/fty/string-stringlist-map.lisp

M books/kestrel/fty/top.lisp

Log Message:
-----------

Merge commit '932e0fb45ffbf990a166591e6f21c55b198c75b3' into HEAD


Commit: 41d19a76b750623bffa8f86e368c92e98ac56275
https://github.com/acl2/acl2/commit/41d19a76b750623bffa8f86e368c92e98ac56275
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocess-file.lisp
A books/kestrel/fty/string-stringlist-map.lisp

M books/kestrel/fty/top.lisp

Log Message:
-----------

Merge.


Commit: 5f09671b126ea98b58f19b3f0b1c5b37fa448983
https://github.com/acl2/acl2/commit/5f09671b126ea98b58f19b3f0b1c5b37fa448983

Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

Log Message:
-----------
Merge commit '41d19a76b750623bffa8f86e368c92e98ac56275' into HEAD


Commit: 959827a75151e4c919372d4afa619372a1973c94
https://github.com/acl2/acl2/commit/959827a75151e4c919372d4afa619372a1973c94
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/grammar.abnf
M books/kestrel/c/syntax/keywords.lisp

M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp

M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/parser.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Add support for `__real__` and `__imag__` GCC extensions.


Commit: 9f20cc8458b11334149d793e7b4f4883c12db5ba
https://github.com/acl2/acl2/commit/9f20cc8458b11334149d793e7b4f4883c12db5ba
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

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


Commit: 24fddbaec733c0e4e2aaac648fa7a75166c6ea90
https://github.com/acl2/acl2/commit/24fddbaec733c0e4e2aaac648fa7a75166c6ea90
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/grammar.abnf

M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp

M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/parser.lisp
M books/kestrel/c/syntax/unambiguity.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Add support for GCC label attributes.


Commit: a5f37b5a35e62dcdba9dd4a349cf67c6d1ccc26d
https://github.com/acl2/acl2/commit/a5f37b5a35e62dcdba9dd4a349cf67c6d1ccc26d
Author: Grant Jurgensen <gr...@jurgensen.dev>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/fty/bin-digit-char-list.lisp
M books/kestrel/fty/dec-digit-char-list.lisp
M books/kestrel/fty/hex-digit-char-list.lisp
M books/kestrel/fty/oct-digit-char-list.lisp
M books/kestrel/fty/string-stringlist-alist.lisp
M books/kestrel/fty/strings-decimal-fty.lisp
M books/kestrel/fty/symbol-pseudoeventform-alist.lisp
M books/kestrel/fty/symbol-pseudoterm-alist.lisp

Log Message:
-----------
[FTY] Fix file headers

Some file headers listed other libraries instead of FTY. This was likely
a copy/paste error after moving books.


Commit: 10434dd9bb41ff27884341481f0694d02161e782
https://github.com/acl2/acl2/commit/10434dd9bb41ff27884341481f0694d02161e782
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/grammar.abnf
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/parser.lisp

Log Message:
-----------
[C$] Add support for GCC empty translation units.


Commit: 36abf8184efde8c3279f6fb88fc34a47c7da5a89
https://github.com/acl2/acl2/commit/36abf8184efde8c3279f6fb88fc34a47c7da5a89
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

M books/kestrel/fty/bin-digit-char-list.lisp
M books/kestrel/fty/dec-digit-char-list.lisp
M books/kestrel/fty/hex-digit-char-list.lisp
M books/kestrel/fty/oct-digit-char-list.lisp
M books/kestrel/fty/string-stringlist-alist.lisp
M books/kestrel/fty/strings-decimal-fty.lisp
M books/kestrel/fty/symbol-pseudoeventform-alist.lisp
M books/kestrel/fty/symbol-pseudoterm-alist.lisp

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


Compare: https://github.com/acl2/acl2/compare/85d14dd4076f...36abf8184efd