[acl2/acl2] 02922a: Merge commit 'bcd7676d115da35c7737d61e9c1653df93d5...

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 02922a01cb5fb2928c49f9dcbc2dc3c73d51f32e
https://github.com/acl2/acl2/commit/02922a01cb5fb2928c49f9dcbc2dc3c73d51f32e
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-01 (Wed, 01 Jul 2026)

Changed paths:
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
Merge commit 'bcd7676d115da35c7737d61e9c1653df93d5da3f' into HEAD


Commit: 9b0e536b0a96029743965bd6f3695a75508ef8cf
https://github.com/acl2/acl2/commit/9b0e536b0a96029743965bd6f3695a75508ef8cf
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-01 (Wed, 01 Jul 2026)

Changed paths:
M books/kestrel/c/language/abstract-syntax.lisp
R books/kestrel/c/language/character-sets.lisp
A books/kestrel/c/language/implementation-environments/basic-characters.lisp
A books/kestrel/c/language/implementation-environments/character-sets.lisp
A books/kestrel/c/language/implementation-environments/execution-character-sets.lisp
A books/kestrel/c/language/implementation-environments/source-character-sets.lisp
M books/kestrel/c/language/implementation-environments/top.lisp
M books/kestrel/c/language/portable-ascii-identifiers.lisp
M books/kestrel/c/language/top.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/fty/any-nat-map.lisp
M books/kestrel/fty/nat-set.lisp
M books/kestrel/utilities/strings/char-code-set.lisp
M books/std/omaps/core.lisp
M books/std/omaps/inverse.lisp

Log Message:
-----------
Merge commit '6be6c75484f70282ddc712cfe6346edec811b950' into HEAD


Commit: 56393a70b5262af9861038775356171fc8785a63
https://github.com/acl2/acl2/commit/56393a70b5262af9861038775356171fc8785a63
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-01 (Wed, 01 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:
-----------
[X86ISA] Add ENTER.


Commit: 30f10840b1a23e0bc4eacb3939c44d50de471491
https://github.com/acl2/acl2/commit/30f10840b1a23e0bc4eacb3939c44d50de471491
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-01 (Wed, 01 Jul 2026)

Changed paths:
M books/projects/x86isa/machine/instructions/subroutine.lisp

Log Message:
-----------
[X86ISA] Strenghten a guard.


Commit: 4f9ff7f4281128bcc37fe81c2980d43b0f584972
https://github.com/acl2/acl2/commit/4f9ff7f4281128bcc37fe81c2980d43b0f584972
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-01 (Wed, 01 Jul 2026)

Changed paths:
M books/projects/x86isa/machine/instructions/subroutine.lisp

Log Message:
-----------
[X86ISA] Improve error returning.


Commit: 266d2e05d96c89d8480cdfb0e7f6023d2dd8252e
https://github.com/acl2/acl2/commit/266d2e05d96c89d8480cdfb0e7f6023d2dd8252e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-01 (Wed, 01 Jul 2026)

Changed paths:
M books/projects/x86isa/machine/instructions/subroutine.lisp

Log Message:
-----------
[X86ISA] Improve error returning.


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

Changed paths:
M books/kestrel/c/language/abstract-syntax.lisp
R books/kestrel/c/language/character-sets.lisp
A books/kestrel/c/language/implementation-environments/basic-characters.lisp
A books/kestrel/c/language/implementation-environments/character-sets.lisp
A books/kestrel/c/language/implementation-environments/execution-character-sets.lisp
A books/kestrel/c/language/implementation-environments/source-character-sets.lisp
M books/kestrel/c/language/implementation-environments/top.lisp
M books/kestrel/c/language/portable-ascii-identifiers.lisp
M books/kestrel/c/language/top.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/fty/any-nat-map.lisp
M books/kestrel/fty/nat-set.lisp
M books/kestrel/utilities/strings/char-code-set.lisp
M books/std/omaps/core.lisp
M books/std/omaps/inverse.lisp

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


Compare: https://github.com/acl2/acl2/compare/6be6c75484f7...fe46295bccef

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