[acl2/acl2] 52676d: [C2C] Improve command-line tool.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 52676d42c9249f18bcd451f8c0f2f4fa415711d5
https://github.com/acl2/acl2/commit/52676d42c9249f18bcd451f8c0f2f4fa415711d5
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-06 (Fri, 06 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/command-line/wrappers.lisp

Log Message:
-----------
[C2C] Improve command-line tool.

Allow the new-dir and old-dir to be the same when overwrite-ok is true.


Commit: f837cd4a60a48c40ff73c03461b857ce306953da
https://github.com/acl2/acl2/commit/f837cd4a60a48c40ff73c03461b857ce306953da
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-06 (Fri, 06 Feb 2026)

Changed paths:
M books/kestrel/c/syntax/.sys/ty...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/u...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/validation-...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/vali...@useless-runes.lsp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
A books/kestrel/c/syntax/tests/types.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/types.lisp
A books/kestrel/c/syntax/uid.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/tests/split-all-gso/extern-struct.c
M books/kestrel/c/transformation/tests/split-all-gso/split-all-gso.lisp
M books/kestrel/c/transformation/tests/split-all-gso/static-struct1.c
M books/kestrel/c/transformation/tests/split-all-gso/static-struct2.c
M books/kestrel/c/transformation/tests/split-gso/extern-struct.c
M books/kestrel/c/transformation/tests/split-gso/split-gso.lisp

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


Compare: https://github.com/acl2/acl2/compare/f5b961ee3e2c...f837cd4a60a4

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