[acl2/acl2] 3e15f9: [C$] Improve some AST names.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 3e15f977f7cf360be8e8cd78eadb2eb87f69f684
https://github.com/acl2/acl2/commit/3e15f977f7cf360be8e8cd78eadb2eb87f69f684
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/lexer.lisp

Log Message:
-----------
[C$] Improve some AST names.


Commit: 9a611fe1e0dbc92835412e63db1c9acf98f11d7c
https://github.com/acl2/acl2/commit/9a611fe1e0dbc92835412e63db1c9acf98f11d7c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/lexer.lisp

Log Message:
-----------
[C$] Improve some AST names.


Commit: 08485a02137c5986de035b4be286f8b39362f876
https://github.com/acl2/acl2/commit/08485a02137c5986de035b4be286f8b39362f876
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/lexer.lisp

Log Message:
-----------
[C$] Improve some AST names.


Commit: 7cf591153f488e5a93fbcd56d3fc1404e41b3e75
https://github.com/acl2/acl2/commit/7cf591153f488e5a93fbcd56d3fc1404e41b3e75
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/lexer.lisp

Log Message:
-----------
[C$] Improve some AST names.


Compare: https://github.com/acl2/acl2/compare/e293cff483c5...7cf591153f48

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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel

[Alessandro Coglio]

Branch: refs/heads/testing