[acl2/acl2] af571c: [axe] more comments on the abs test case

[Eric McCarthy]

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

Changed paths:
M books/kestrel/axe/x86/examples/abs/abs-elf64.lisp

Log Message:
-----------
[axe] more comments on the abs test case



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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: af571c5a54ed19fc8b2d17d4e519aca0ad10ec7d
https://github.com/acl2/acl2/commit/af571c5a54ed19fc8b2d17d4e519aca0ad10ec7d
Author: Eric McCarthy <bend...@gmail.com>
Date: 2025-12-02 (Tue, 02 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/examples/abs/abs-elf64.lisp

Log Message:
-----------
[axe] more comments on the abs test case

Commit: aae3d00a5921a356f2d16b9532a5b76aaf4e64e4
https://github.com/acl2/acl2/commit/aae3d00a5921a356f2d16b9532a5b76aaf4e64e4
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2025-12-02 (Tue, 02 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/examples/abs/abs-elf64.lisp

Log Message:
-----------

Merge commit 'af571c5a54ed19fc8b2d17d4e519aca0ad10ec7d' into HEAD


Compare: https://github.com/acl2/acl2/compare/f378436caf88...aae3d00a5921

[acl2buildserver]

Branch: refs/heads/testing