[acl2/acl2] dbe6c5: [axe] binary calling abs

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: dbe6c575d34157ec7a9f17caa57493d58d5d794d
https://github.com/acl2/acl2/commit/dbe6c575d34157ec7a9f17caa57493d58d5d794d
Author: Eric McCarthy <bend...@gmail.com>
Date: 2025-12-01 (Mon, 01 Dec 2025)

Changed paths:
A books/kestrel/axe/x86/examples/abs/abs-elf64.lisp
A books/kestrel/axe/x86/examples/abs/abs.c
A books/kestrel/axe/x86/examples/abs/abs.elf64
A books/kestrel/axe/x86/examples/abs/acl2-customization.lsp
A books/kestrel/axe/x86/examples/abs/cert.acl2

Log Message:
-----------
[axe] binary calling abs



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

[Eric McCarthy]

Branch: refs/heads/master

[Eric McCarthy]

Branch: refs/heads/testing