[acl2/acl2] cebe69: [axe/x86] Improve lifter.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: cebe6962b86cd850f0a82bf18362b1f64d8f8723
https://github.com/acl2/acl2/commit/cebe6962b86cd850f0a82bf18362b1f64d8f8723
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-24 (Mon, 24 Nov 2025)

Changed paths:
M books/kestrel/x86/tools/lifter-support.lisp

Log Message:
-----------
[axe/x86] Improve lifter.

Support :rip as the output-indicator, to allow extracting the final program counter.



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