[acl2/acl2] dd8608: Update movddup.c and elf64

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: dd8608760918a51dce8f3c1a8e5efa04b75f923c
https://github.com/acl2/acl2/commit/dd8608760918a51dce8f3c1a8e5efa04b75f923c
Author: Yusuf Moshood <yusuf....@ndus.edu>
Date: 2025-12-17 (Wed, 17 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/tests/ndsu/movddup.c
M books/kestrel/axe/x86/tests/ndsu/movddup.elf64

Log Message:
-----------
Update movddup.c and elf64


Commit: e3cfd389cfdce82458ccf8546e20abb7593363da
https://github.com/acl2/acl2/commit/e3cfd389cfdce82458ccf8546e20abb7593363da
Author: Eric W. Smith <48038799+eri...@users.noreply.github.com>
Date: 2025-12-26 (Fri, 26 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/tests/ndsu/movddup.c
M books/kestrel/axe/x86/tests/ndsu/movddup.elf64

Log Message:
-----------
Merge pull request #1874 from mayuf413/testing-kestrel

Update movddup.c and elf64


Compare: https://github.com/acl2/acl2/compare/aedd099c40cf...e3cfd389cfdc

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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing