[acl2/acl2] 58fcb9: [C$] Take theorem from library.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 58fcb9d1df9378fbef49089e23ecdb74032f22bb
https://github.com/acl2/acl2/commit/58fcb9d1df9378fbef49089e23ecdb74032f22bb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-16 (Fri, 16 Jan 2026)

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

Log Message:
-----------
[C$] Take theorem from library.


Commit: 63e2609dd99cae5bcf8e1f4d3fcd22f99c76e7f4
https://github.com/acl2/acl2/commit/63e2609dd99cae5bcf8e1f4d3fcd22f99c76e7f4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-16 (Fri, 16 Jan 2026)

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

Log Message:
-----------
[C$] Add some theorems.


Commit: 4fd8c076e7bb8ea87061f2e7eb0774b2a7ee8706
https://github.com/acl2/acl2/commit/4fd8c076e7bb8ea87061f2e7eb0774b2a7ee8706
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-16 (Fri, 16 Jan 2026)

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

Log Message:
-----------
[C$] Initial code for macro argument replacement.


Commit: ff74946d2f511b1f3b406115a7871ab65163aa5b
https://github.com/acl2/acl2/commit/ff74946d2f511b1f3b406115a7871ab65163aa5b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-16 (Fri, 16 Jan 2026)

Changed paths:
M books/projects/x86isa/machine/cert.acl2
M books/projects/x86isa/machine/other-non-det.lisp
M books/projects/x86isa/machine/register-readers-and-writers.lisp
M books/projects/x86isa/tools/execution/top.lisp

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


Compare: https://github.com/acl2/acl2/compare/2ddf53120d6e...ff74946d2f51

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