[acl2/acl2] 17c07c: [X86ISA] Add more general pack specification funct...

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 17c07c84b85406a3975e5c1a74082a75c7835299
https://github.com/acl2/acl2/commit/17c07c84b85406a3975e5c1a74082a75c7835299
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-04 (Wed, 04 Mar 2026)

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

Log Message:
-----------
[X86ISA] Add more general pack specification functions.


Commit: 9389095a7b02b5927ac2a4d615abb05c178fccd6
https://github.com/acl2/acl2/commit/9389095a7b02b5927ac2a4d615abb05c178fccd6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/pack.lisp

Log Message:
-----------
[X86ISA] Add PACKUSWB (MMX variant).


Commit: 0072650c6a163384f9573dbbeacedff63b5390ff
https://github.com/acl2/acl2/commit/0072650c6a163384f9573dbbeacedff63b5390ff
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/pack.lisp

Log Message:
-----------
[X86ISA] Add PACKSSWB (MMX variant).


Commit: 8699c84ff2fe965c591ccb2049c45281e51870a0
https://github.com/acl2/acl2/commit/8699c84ff2fe965c591ccb2049c45281e51870a0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-04 (Wed, 04 Mar 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/pack.lisp

Log Message:
-----------
[X86ISA] Add PACKSSDW (MMX variant).


Commit: 0a5d6993549c13b80769a62997380439174cccb1
https://github.com/acl2/acl2/commit/0a5d6993549c13b80769a62997380439174cccb1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/GNUmakefile
M books/projects/acl2-in-hol/.acl2holrc.bash
M books/projects/acl2-in-hol/README-acl2
A books/projects/acl2-in-hol/lisp/a2ml.bash
R books/projects/acl2-in-hol/lisp/a2ml.csh
A books/projects/acl2-in-hol/lisp/axioms-essence.bash
R books/projects/acl2-in-hol/lisp/axioms-essence.csh
A books/projects/acl2-in-hol/lisp/book-essence.bash
R books/projects/acl2-in-hol/lisp/book-essence.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/a2ml.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/axioms-essence.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/book-essence.csh
M books/projects/acl2-in-hol/tests/.gitignore
M books/projects/acl2-in-hol/tests/doit

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


Commit: 49b9a1f76e66e3da64606ff48aecc223acad1091
https://github.com/acl2/acl2/commit/49b9a1f76e66e3da64606ff48aecc223acad1091
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/register-readers-and-writers.lisp

Log Message:
-----------
[X86ISA] Clarify some doc.


Commit: de1ef056f7cc5195f4b6c081873d31921497aeb2
https://github.com/acl2/acl2/commit/de1ef056f7cc5195f4b6c081873d31921497aeb2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-04 (Wed, 04 Mar 2026)

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

Log Message:
-----------
[X86ISA] Add EMMS.


Compare: https://github.com/acl2/acl2/compare/2fac17700aa0...de1ef056f7cc

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

[Alessandro Coglio]

Branch: refs/heads/testing