[acl2/acl2] e4fe49: [ATC] [C$] Fix some format strings.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: e4fe49d47c1d99def555c4e7db89736455051912
https://github.com/acl2/acl2/commit/e4fe49d47c1d99def555c4e7db89736455051912
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/c/atc/defobject.lisp
M books/kestrel/c/atc/input-processing.lisp
M books/kestrel/c/atc/statement-generation.lisp
M books/kestrel/c/atc/symbolic-execution-rules/exec-expr-pure.lisp
M books/kestrel/c/atc/symbolic-execution-rules/top.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/output-files.lisp

Log Message:
-----------
[ATC] [C$] Fix some format strings.


Commit: bb91299021a58f8683eabae1dad871a3d2aa2cfd
https://github.com/acl2/acl2/commit/bb91299021a58f8683eabae1dad871a3d2aa2cfd
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/c/atc/function-and-loop-generation.lisp
M books/kestrel/c/atc/input-processing.lisp
M books/kestrel/c/atc/statement-generation.lisp
M books/kestrel/c/syntax/token-concatenation.lisp

Log Message:
-----------
[ATC] [C$] Fix typos in error messages.


Commit: 7d1472710a84b287d3e0704c85b347c948271f91
https://github.com/acl2/acl2/commit/7d1472710a84b287d3e0704c85b347c948271f91
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/c/atc/pretty-printer.lisp

Log Message:
-----------
[ATC] Fix pretty-printer.

Print `enum` instead of `union` for an enum. It was a copy-and-paste error.


Commit: e18c9cdfeb6fb5ef08c52ec4b4594c672be4248b
https://github.com/acl2/acl2/commit/e18c9cdfeb6fb5ef08c52ec4b4594c672be4248b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/c/atc/pretty-printer.lisp

Log Message:
-----------
[ATC] Fix check in pretty-printer.

This should be the same in abstract declarators as it is for (non-abstract)
declarators.


Commit: 4d6e7abc6ea4d37c658c126cf7aa492288701595
https://github.com/acl2/acl2/commit/4d6e7abc6ea4d37c658c126cf7aa492288701595
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/c/atc/pretty-printer.lisp

Log Message:
-----------
[ATC] Remove stray parenthesis in pretty-printed string.


Commit: e8903eb3bd59ca389e7de15bd689a2da7fb0b7ec
https://github.com/acl2/acl2/commit/e8903eb3bd59ca389e7de15bd689a2da7fb0b7ec
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/c/atc/pretty-printer.lisp

Log Message:
-----------
[ATC] Fix bug in pretty-printer.

Two expected expression grades were swapped.


Commit: 1f6dc459b46e0646c2ae3bbbf0b84f63cde1e453
https://github.com/acl2/acl2/commit/1f6dc459b46e0646c2ae3bbbf0b84f63cde1e453
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/c/atc/pretty-printer.lisp

Log Message:
-----------
[ATC] Fix format string.


Commit: 9469ff8beec009a5219e5f5f709d26342872242b
https://github.com/acl2/acl2/commit/9469ff8beec009a5219e5f5f709d26342872242b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/c/atc/pretty-printer.lisp

Log Message:
-----------
[ATC] Fix bug in pretty-printer.

It was neglecting to print the expression of a `case` label.


Commit: 8506b7af6ad2534fd714b3359ad3fbf347fb085a
https://github.com/acl2/acl2/commit/8506b7af6ad2534fd714b3359ad3fbf347fb085a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/hdwallet/wallet.lisp

Log Message:
-----------
[HD wallet] Fix error message.


Commit: fe53840676f5868533b4c29346748022fac155f3
https://github.com/acl2/acl2/commit/fe53840676f5868533b4c29346748022fac155f3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/hdwallet/wallet.lisp

Log Message:
-----------
[HD wallet] Fix typo in doc.


Commit: 538902e3b5008bc68f19f13382b5371c1cd24371
https://github.com/acl2/acl2/commit/538902e3b5008bc68f19f13382b5371c1cd24371
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/hdwallet/wallet.lisp

Log Message:
-----------
[HD wallet] Update file header.


Commit: 463cc13def310fb90c54535d5e82523366e98149
https://github.com/acl2/acl2/commit/463cc13def310fb90c54535d5e82523366e98149
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/fty/fty-omap.lisp

Log Message:
-----------
[FTY] Fix two error messages.


Commit: 8aba42e698e704a735da9f25ec7af6c43f0163d3
https://github.com/acl2/acl2/commit/8aba42e698e704a735da9f25ec7af6c43f0163d3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/soft/defequal.lisp

Log Message:
-----------
[SOFT] Fix some error messages.


Commit: 6601af64e44b136f5e6ae1d80e52925db138ee60
https://github.com/acl2/acl2/commit/6601af64e44b136f5e6ae1d80e52925db138ee60
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/kestrel/solidity/boolean-operations.lisp

Log Message:
-----------
[Solidity] Fix repeated word in doc.


Compare: https://github.com/acl2/acl2/compare/4f6f644f7501...6601af64e44b

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