[acl2/acl2] 932e0f: [FTY] Factor out string-stringlist-map

[Grant Jurgensen]

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



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


Compare: https://github.com/acl2/acl2/compare/2b7554cc9ba2...6ec7a60c3c8c

[acl2buildserver]

Branch: refs/heads/testing