[acl2/acl2] 8d4888: [axe] Redo changes that got reverted by PR1969.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 8d48882c712425e8deebdec8afc2e1bc820b4365
https://github.com/acl2/acl2/commit/8d48882c712425e8deebdec8afc2e1bc820b4365
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/axe/node-replacement-alist-for-context.lisp
M books/kestrel/axe/node-replacement-array.lisp
M books/kestrel/axe/refined-assumption-alists3.lisp
M books/kestrel/axe/rewriter.lisp

Log Message:
-----------
[axe] Redo changes that got reverted by PR1969.



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: 8d48882c712425e8deebdec8afc2e1bc820b4365
https://github.com/acl2/acl2/commit/8d48882c712425e8deebdec8afc2e1bc820b4365
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/axe/node-replacement-alist-for-context.lisp
M books/kestrel/axe/node-replacement-array.lisp
M books/kestrel/axe/refined-assumption-alists3.lisp
M books/kestrel/axe/rewriter.lisp

Log Message:
-----------
[axe] Redo changes that got reverted by PR1969.

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

Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/axe/node-replacement-alist-for-context.lisp
M books/kestrel/axe/node-replacement-array.lisp
M books/kestrel/axe/refined-assumption-alists3.lisp
M books/kestrel/axe/rewriter.lisp

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

Merge commit '8d48882c712425e8deebdec8afc2e1bc820b4365' into HEAD


Compare: https://github.com/acl2/acl2/compare/d499c8d8e3bf...53be04ead863

[acl2buildserver]

Branch: refs/heads/testing