[acl2/acl2] 47a45c: [C$] Re-organize some preprocessor code.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 47a45cb8553cab656eb8755afb980f45252379f0
https://github.com/acl2/acl2/commit/47a45cb8553cab656eb8755afb980f45252379f0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
A books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Re-organize some preprocessor code.

Put lexemes into their own file and XDOC topic.


Commit: 98417555bc62ec5201610cd6aa847cd4fd479d78
https://github.com/acl2/acl2/commit/98417555bc62ec5201610cd6aa847cd4fd479d78
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
A books/kestrel/c/syntax/macro-tables.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Re-organize some preprocessor code.

Put macro tables into their own file and XDOC topic.


Commit: 7237e0b1590107ab55b2459ec12324ed8dc95329
https://github.com/acl2/acl2/commit/7237e0b1590107ab55b2459ec12324ed8dc95329
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/tests/c17-std-example6-6.10.3.5.c
M books/kestrel/c/syntax/tests/preprocessor.lisp

Log Message:
-----------
[C$] Fix preprocessor test, which now works.

Fortunately it was a trascription error from the standard, and the behavior is
consistent with what the standard states in general (not ambiguous).


Commit: 5956d7ba5259094eaeb7c14bf9b0c00e2ce49aa1
https://github.com/acl2/acl2/commit/5956d7ba5259094eaeb7c14bf9b0c00e2ce49aa1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

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

Log Message:
-----------
[C$] Update and clarify some doc.


Commit: 7e512a834a98c372a72c4729cae6190769c42f99
https://github.com/acl2/acl2/commit/7e512a834a98c372a72c4729cae6190769c42f99
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/macro-tables.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/c17-std-example3-6.10.3.5.c
M books/kestrel/c/syntax/tests/preprocessor.lisp

Log Message:
-----------
[C$] Add support for `#undef` directives.

Enable test from C17 standard that uses `#undef`.


Commit: f087c86ee8983f1aae0333451a1215b4b55c6053
https://github.com/acl2/acl2/commit/f087c86ee8983f1aae0333451a1215b4b55c6053
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-15 (Thu, 15 Jan 2026)

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

Log Message:
-----------
[C$] Fix comment.


Compare: https://github.com/acl2/acl2/compare/bdefdf557923...f087c86ee898

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

[Alessandro Coglio]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel