[acl2/acl2] 58fdb8: [C$] Add a built-in macro.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 58fdb80ad68176631088cf983438d3c49d8ba626
https://github.com/acl2/acl2/commit/58fdb80ad68176631088cf983438d3c49d8ba626
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-04 (Wed, 04 Feb 2026)

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

Log Message:
-----------
[C$] Add a built-in macro.


Commit: ca2a083403136b8e8c396f2cdd8649c1d0ba686a
https://github.com/acl2/acl2/commit/ca2a083403136b8e8c396f2cdd8649c1d0ba686a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-04 (Wed, 04 Feb 2026)

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

Log Message:
-----------
[C$] Increase and discuss a stobj array size.


Commit: 5252067135c53951ea8a7e04b319ca73e1528c80
https://github.com/acl2/acl2/commit/5252067135c53951ea8a7e04b319ca73e1528c80
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-04 (Wed, 04 Feb 2026)

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

Log Message:
-----------
[C$] Add and discuss a predefined macro.


Commit: ecbe2336b8ef442eb64eb056a60a18597a233f30
https://github.com/acl2/acl2/commit/ecbe2336b8ef442eb64eb056a60a18597a233f30
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-04 (Wed, 04 Feb 2026)

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

Log Message:
-----------
[C$] Improve handling of self-contained files.

See added and updated documentation.


Commit: b6ff8328b8a00b50623e1848be812be549715852
https://github.com/acl2/acl2/commit/b6ff8328b8a00b50623e1848be812be549715852
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-04 (Wed, 04 Feb 2026)

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

Log Message:
-----------
[C$] Improve preprocessor.

Improve handling of self-contained files. Avoid "re-using" the error-value-tuple
mechanism for throwing/propagating/handling the "non-self-contained exception",
because we need to preserve the `preprocessed` alist. Instead, add an explicit
flag, which is thrown/propagated/handled explicitly.


Commit: 6356fc47b78c9b250a312b412b66d9eabddde85c
https://github.com/acl2/acl2/commit/6356fc47b78c9b250a312b412b66d9eabddde85c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-04 (Wed, 04 Feb 2026)

Changed paths:
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/add-section-attr-doc.lisp
M books/kestrel/c/transformation/add-section-attr.lisp
M books/kestrel/c/transformation/command-line/transform-c.lisp
M books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/external-foo.c
A books/kestrel/c/transformation/tests/add-section-attr/internal-foo.c
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/utilities/run-json-command.lisp

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


Compare: https://github.com/acl2/acl2/compare/2a987aece106...6356fc47b78c

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

[Alessandro Coglio]

Branch: refs/heads/testing