[acl2/acl2] 470889: [axe/x86] Improve tester.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 47088952c6b9a91c5878709affd0c29140d4d80d
https://github.com/acl2/acl2/commit/47088952c6b9a91c5878709affd0c29140d4d80d
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] Improve tester.

Restrict to 32-bit (for now) and comment out some unneeded rules.


Commit: eb70b2d8def98954d16649f97f1abb9919570b5c
https://github.com/acl2/acl2/commit/eb70b2d8def98954d16649f97f1abb9919570b5c
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/make-axe-rules.lisp
M books/kestrel/axe/x86/tester-code-only.lisp
M books/kestrel/axe/x86/tester.lisp
A books/kestrel/axe/x86/with-supporters-issue.lisp
M books/kestrel/x86/support-bv.lisp

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


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

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

Log Message:
-----------
[axe/x86] Improve tester implementation.


Commit: d24417a469aa1110e7d9d1aaf61b1e3036fb3a15
https://github.com/acl2/acl2/commit/d24417a469aa1110e7d9d1aaf61b1e3036fb3a15
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.


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

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

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


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

Changed paths:
M books/kestrel/axe/x86/tests/ndsu/movddup.c
M books/kestrel/axe/x86/tests/ndsu/movddup.elf64

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


Compare: https://github.com/acl2/acl2/compare/e3cfd389cfdc...c2ab202e5213

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