[acl2/acl2] aab8c1: [axe] Extend lists of imported symbols.

[Eric W. Smith]

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

Changed paths:
M books/kestrel/axe/imported-symbols.lisp

Log Message:
-----------
[axe] Extend lists of imported symbols.


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

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

Log Message:
-----------
Merge.


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

Changed paths:
M books/kestrel/axe/imported-symbols.lisp
M books/kestrel/axe/x86/tester-code-only.lisp
A books/kestrel/axe/x86/with-supporters-issue.lisp
M books/kestrel/x86/support-bv.lisp

Log Message:
-----------
Merge.


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

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

Log Message:
-----------
Merge.


Compare: https://github.com/acl2/acl2/compare/38195e76f922...aedd099c40cf

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