[acl2/acl2] 8f80dd: [axe/x86] Dummy commit.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 8f80ddee6fb30600a0f09e8b18117a3b7117cdae
https://github.com/acl2/acl2/commit/8f80ddee6fb30600a0f09e8b18117a3b7117cdae
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-27 (Sat, 27 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/tester.lisp

Log Message:
-----------
[axe/x86] Dummy commit.

Previous log message should have said that the tester now supports only 64-bit binaries (for now).



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