[acl2/acl2] 789d36: [axe] Improve equivalence-checker.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 789d3696f057fecbbd08f237cdcabd53ae405f30
https://github.com/acl2/acl2/commit/789d3696f057fecbbd08f237cdcabd53ae405f30
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/axe/equivalence-checker.lisp

Log Message:
-----------
[axe] Improve equivalence-checker.

Remove a skip-proofs and reduce includes.


Commit: 11dea2d2fea54ec4da62cc629222c9b7fd04e81e
https://github.com/acl2/acl2/commit/11dea2d2fea54ec4da62cc629222c9b7fd04e81e
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
A books/kestrel/axe/evaluator-support.lisp
M books/kestrel/axe/evaluator.lisp
M books/kestrel/axe/top.lisp

Log Message:
-----------
[axe] Factor out evaluator support material.


Commit: 8f4d65e21be59702c444ab97257a3595bc031f92
https://github.com/acl2/acl2/commit/8f4d65e21be59702c444ab97257a3595bc031f92
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

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

Log Message:
-----------
[axe/x86] Avoid having the unroller depend on skip-proofs.


Commit: 82c02e583fc3edadec38bdc5d147db351d15afa6
https://github.com/acl2/acl2/commit/82c02e583fc3edadec38bdc5d147db351d15afa6
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

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

Log Message:
-----------
[axe/x86] Add todo.


Compare: https://github.com/acl2/acl2/compare/f087c86ee898...82c02e583fc3

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