[acl2/acl2] 467684: [X86ISA] Add AAM.

0 views
Skip to first unread message

Alessandro Coglio

unread,
Apr 16, 2026, 12:05:28 AM (yesterday) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 467684ddad56bdad495639c077a4a9747a9570c6
https://github.com/acl2/acl2/commit/467684ddad56bdad495639c077a4a9747a9570c6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

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

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


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

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

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


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

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

Log Message:
-----------
[X86OSA] Add DAA.


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

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

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


Commit: 10628baa203241527f0b744004f5b7c6e70ea943
https://github.com/acl2/acl2/commit/10628baa203241527f0b744004f5b7c6e70ea943
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/c/examples/strcpy-safe-induction.lisp
M books/kestrel/c/examples/strcpy-safe.lisp
M books/kestrel/utilities/osets.lisp

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


Compare: https://github.com/acl2/acl2/compare/53e621754b9e...10628baa2032

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

Alessandro Coglio

unread,
Apr 16, 2026, 12:06:38 AM (yesterday) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/testing

Mayank Manjrekar

unread,
Apr 16, 2026, 10:58:38 AM (24 hours ago) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Commit: 8fdfd018d75462279f7d85506e414921311ce96b
https://github.com/acl2/acl2/commit/8fdfd018d75462279f7d85506e414921311ce96b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/std/system/current-package-plus.lisp
M books/std/system/top.lisp

Log Message:
-----------
[Std/system] Add a system utility.


Commit: 3847707bf3cfaefcc2753cb7390366ff73996042
https://github.com/acl2/acl2/commit/3847707bf3cfaefcc2753cb7390366ff73996042
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/projects/pfcs/lifting.lisp
M books/projects/pfcs/package.lsp

Log Message:
-----------
[PFCS] Take utility from library.


Commit: 2bd746fc9497e72ed7967d9b7a1223f89eb44682
https://github.com/acl2/acl2/commit/2bd746fc9497e72ed7967d9b7a1223f89eb44682
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
Merge commit '28e1755e65ed025abfa5671739a17a654abea586' into HEAD


Commit: 923f812a9b00c72524009a72a42254f6187c0cb6
https://github.com/acl2/acl2/commit/923f812a9b00c72524009a72a42254f6187c0cb6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bcd.lisp

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


Commit: 32f4c3af8262a51395c3bed83bb63e3e56cdb569
https://github.com/acl2/acl2/commit/32f4c3af8262a51395c3bed83bb63e3e56cdb569
Author: Mayank Manjrekar <mankm...@gmail.com>
Date: 2026-04-16 (Thu, 16 Apr 2026)

Changed paths:
M books/projects/rac/src/program/parser/ast/statements.cpp
M books/projects/rac/src/program/parser/ast/statements.h
M books/projects/rac/src/program/parser/ast/types.cpp
M books/projects/rac/src/program/parser/ast/types.h
M books/projects/rac/src/program/sexpressions.h
M books/projects/rac/tests/yaml_test/data_types/basic.yml
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp-partial.cpp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp-partial.cpp.ref.ast.lsp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp.cpp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp.cpp.ref.ast.lsp
A books/projects/rac/tests/yaml_test/data_types/return-mv-type-cast.cpp
A books/projects/rac/tests/yaml_test/data_types/return-mv-type-cast.cpp.ref.ast.lsp
M books/projects/rac/tests/yaml_test/program_structure/basics.yml
M books/projects/rac/tests/yaml_test/program_structure/empty.ref.stderr

Log Message:
-----------
[RAC] Handle implicit conversion with lvalue type mismatch in mv assigments

* Handle implicit conversion with lvalue type mismatch in mv assigments
* Add mv-with-tmp tests

---------

Co-authored-by: Mayank Manjrekar <mayank.m...@arm.com>


Commit: 42e11f6a0e3d5dc2bf101fe15be68bbfe91f1a40
https://github.com/acl2/acl2/commit/42e11f6a0e3d5dc2bf101fe15be68bbfe91f1a40
Author: Mayank Manjrekar <mankm...@gmail.com>
Date: 2026-04-16 (Thu, 16 Apr 2026)

Changed paths:
M books/projects/rac/src/program/parser/ast/statements.cpp
M books/projects/rac/src/program/parser/ast/statements.h
M books/projects/rac/src/program/parser/ast/types.cpp
M books/projects/rac/src/program/parser/ast/types.h
M books/projects/rac/src/program/sexpressions.h
M books/projects/rac/tests/yaml_test/data_types/basic.yml
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp-partial.cpp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp-partial.cpp.ref.ast.lsp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp.cpp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp.cpp.ref.ast.lsp
A books/projects/rac/tests/yaml_test/data_types/return-mv-type-cast.cpp
A books/projects/rac/tests/yaml_test/data_types/return-mv-type-cast.cpp.ref.ast.lsp
M books/projects/rac/tests/yaml_test/program_structure/basics.yml
M books/projects/rac/tests/yaml_test/program_structure/empty.ref.stderr

Log Message:
-----------
Merge pull request #1934 from voskh0d/master

[RAC] Handle implicit conversion with lvalue type mismatch in mv assigments


Compare: https://github.com/acl2/acl2/compare/28e1755e65ed...42e11f6a0e3d
Reply all
Reply to author
Forward
0 new messages