[acl2/acl2] fd511c: [X86ISA] Fix X86ISA_EXEC=t build.

0 views
Skip to first unread message

Eric W. Smith

unread,
Mar 3, 2026, 2:57:37 PM (2 days ago) Mar 3
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: fd511c5ea9fd3c342846e280a0f8fc58bd5ad0c8
https://github.com/acl2/acl2/commit/fd511c5ea9fd3c342846e280a0f8fc58bd5ad0c8
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/syscalls.lisp

Log Message:
-----------
[X86ISA] Fix X86ISA_EXEC=t build.

Also fix a comment.



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

Eric W. Smith

unread,
Mar 3, 2026, 4:13:08 PM (2 days ago) Mar 3
to acl2-...@googlegroups.com
Branch: refs/heads/master

Eric W. Smith

unread,
Mar 3, 2026, 4:13:36 PM (2 days ago) Mar 3
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages