[acl2/acl2] db0b86: [C] Exclude book from ACL2(r).

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: db0b8681a2532504b3a407515f3a4a6d2c37108d
https://github.com/acl2/acl2/commit/db0b8681a2532504b3a407515f3a4a6d2c37108d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-02 (Thu, 02 Jul 2026)

Changed paths:
M books/kestrel/c/language/implementation-environments/execution-character-sets.lisp

Log Message:
-----------
[C] Exclude book from ACL2(r).


Commit: f46ff5520c09c2b79f455540926fde79d0ce3628
https://github.com/acl2/acl2/commit/f46ff5520c09c2b79f455540926fde79d0ce3628
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-02 (Thu, 02 Jul 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-data.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/subroutine.lisp

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


Compare: https://github.com/acl2/acl2/compare/fe46295bccef...f46ff5520c09

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

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel