[acl2/acl2] 077c81: [C$] Remove repeated word in doc.

Alessandro Coglio

unread,

Dec 12, 2025, 7:12:34 PM (4 days ago) Dec 12

to acl2-...@googlegroups.com

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

Changed paths:
M books/kestrel/c/syntax/printer.lisp

Log Message:
-----------
[C$] Remove repeated word in doc.

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

Changed paths:
M books/kestrel/c/syntax/printer.lisp

Log Message:
-----------
[C$] Expand some doc.

Commit: 63039339c6e5eb38f145d5b4bc28e2a1523ed261
https://github.com/acl2/acl2/commit/63039339c6e5eb38f145d5b4bc28e2a1523ed261
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-12 (Fri, 12 Dec 2025)

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

Log Message:
-----------
[C$] Make some AST names more consistent with others.

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

Changed paths:
M books/kestrel/c/syntax/preprocessor-states.lisp

Log Message:
-----------
[C$] Remove redundant certification instruction.

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

Changed paths:
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/preprocessor-printer.lisp

Log Message:
-----------
[C$] Finish preprocessor's printer.

Compare: https://github.com/acl2/acl2/compare/375fd4cb5a88...e13ced9ab765

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

Alessandro Coglio

unread,

Dec 12, 2025, 9:05:06 PM (4 days ago) Dec 12

to acl2-...@googlegroups.com

Branch: refs/heads/master

Alessandro Coglio

unread,

Dec 12, 2025, 9:05:35 PM (4 days ago) Dec 12

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Alessandro Coglio

unread,

Dec 12, 2025, 11:24:12 PM (4 days ago) Dec 12

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel

Reply all

Reply to author

Forward