[acl2/acl2] d50734: [Axe x86] Add rule for newly added function.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: d507342ae23b59a909383f6ab24050db45dbb2a8
https://github.com/acl2/acl2/commit/d507342ae23b59a909383f6ab24050db45dbb2a8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-04 (Sat, 04 Jul 2026)

Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp

Log Message:
-----------
[Axe x86] Add rule for newly added function.



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