[acl2/acl2] b2dcb9: [C$] Allow omap for preprocessor arguments

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
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/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/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.


Compare: https://github.com/acl2/acl2/compare/4aeac394cf78...0e4a6ef6defe

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

[acl2buildserver]

Branch: refs/heads/master

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/simpadd0/while.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


Compare: https://github.com/acl2/acl2/compare/e4cd8b21533f...2b7554cc9ba2

[acl2buildserver]

Branch: refs/heads/testing