[acl2/acl2] d9be2d: [aleo] Fix comment typo.

[Eric W. Smith]

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

Changed paths:
M books/projects/aleo/vm/circuits/axe/blake2s-one-round-proof.lisp

Log Message:
-----------
[aleo] Fix comment typo.


Commit: ad3ee417e85ee3b5a764ceb17853b8ce0fa533d8
https://github.com/acl2/acl2/commit/ad3ee417e85ee3b5a764ceb17853b8ce0fa533d8
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-24 (Wed, 24 Dec 2025)

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

Log Message:
-----------
[axe/x86] Fix error contexts.


Commit: d0887894cd5a885d5940e7eecc47c46b3bd49565
https://github.com/acl2/acl2/commit/d0887894cd5a885d5940e7eecc47c46b3bd49565
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-24 (Wed, 24 Dec 2025)

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

Log Message:
-----------
[axe/x86] Deprecate test-functions.

Just call test-file instead.


Commit: 38195e76f92244823143be8f5d0d6e2654e596fc
https://github.com/acl2/acl2/commit/38195e76f92244823143be8f5d0d6e2654e596fc
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-24 (Wed, 24 Dec 2025)

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

Log Message:
-----------
[axe/x86] Clarify implementation.


Compare: https://github.com/acl2/acl2/compare/0b0132ad81ea...38195e76f922

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