[acl2/acl2] 739470: [C$] Refactor some preprocessor tests.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 739470fe045f7eabfa74f85e1d6a84372242fa2f
https://github.com/acl2/acl2/commit/739470fe045f7eabfa74f85e1d6a84372242fa2f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-08 (Mon, 08 Dec 2025)

Changed paths:
A books/kestrel/c/syntax/tests/preprocessor-reader.lisp
M books/kestrel/c/syntax/tests/preprocessor.lisp

Log Message:
-----------
[C$] Refactor some preprocessor tests.

Put the preprocessor's reader tests in a separate file.


Commit: 57346b08f114c3b03dafa5e6921c1d84e8082588
https://github.com/acl2/acl2/commit/57346b08f114c3b03dafa5e6921c1d84e8082588
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-08 (Mon, 08 Dec 2025)

Changed paths:
A books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
R books/kestrel/c/syntax/tests/preprocessor.lisp

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


Commit: f4a9f407a1843ea98cf950c0c1745c81b7e77572
https://github.com/acl2/acl2/commit/f4a9f407a1843ea98cf950c0c1745c81b7e77572
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-08 (Mon, 08 Dec 2025)

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

Log Message:
-----------
[C$] Fix capitalization in doc.


Commit: 1c0c49d86781185e81d2408456d06f9981f029b5
https://github.com/acl2/acl2/commit/1c0c49d86781185e81d2408456d06f9981f029b5
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-08 (Mon, 08 Dec 2025)

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:
-----------
Incorporated small :DOC topic edits from J.


Commit: fd7f618d2ed2e141f8f518822daf00654a4a2377
https://github.com/acl2/acl2/commit/fd7f618d2ed2e141f8f518822daf00654a4a2377
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-09 (Tue, 09 Dec 2025)

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:
-----------
Incorporated more :DOC topic improvements from J, especially regarding expressions (loop$ do ...).


Commit: 5a1033864c4c3fd8cd2521f3d1cf87baad6e739c
https://github.com/acl2/acl2/commit/5a1033864c4c3fd8cd2521f3d1cf87baad6e739c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)

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.


Compare: https://github.com/acl2/acl2/compare/a84f250f95df...5a1033864c4c

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

[Alessandro Coglio]

Branch: refs/heads/master

Commit: 5a1033864c4c3fd8cd2521f3d1cf87baad6e739c
https://github.com/acl2/acl2/commit/5a1033864c4c3fd8cd2521f3d1cf87baad6e739c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)

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.

Compare: https://github.com/acl2/acl2/compare/fd7f618d2ed2...5a1033864c4c

[Alessandro Coglio]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel

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

Date: 2025-12-08 (Mon, 08 Dec 2025)

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:
-----------

Incorporated small :DOC topic edits from J.


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

Date: 2025-12-09 (Tue, 09 Dec 2025)

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:
-----------

Incorporated more :DOC topic improvements from J, especially regarding expressions (loop$ do ...).

Commit: 5a1033864c4c3fd8cd2521f3d1cf87baad6e739c
https://github.com/acl2/acl2/commit/5a1033864c4c3fd8cd2521f3d1cf87baad6e739c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)

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.

Compare: https://github.com/acl2/acl2/compare/a84f250f95df...5a1033864c4c