[acl2/acl2] 56393a: [X86ISA] Add ENTER.

0 views
Skip to first unread message

Alessandro Coglio

unread,
Jul 2, 2026, 3:06:32 AM (3 days ago) Jul 2
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
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/9b0e536b0a96...fe46295bccef

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

Alessandro Coglio

unread,
Jul 2, 2026, 3:07:38 AM (3 days ago) Jul 2
to acl2-...@googlegroups.com
Branch: refs/heads/testing

Alessandro Coglio

unread,
Jul 2, 2026, 11:08:13 AM (3 days ago) Jul 2
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Reply all
Reply to author
Forward
0 new messages