[acl2/acl2] aae66b: [axe] Fix printing of the node count.

[Eric W. Smith]

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

Changed paths:
M books/kestrel/axe/rewriter.lisp

Log Message:
-----------
[axe] Fix printing of the node count.


Commit: 6b9a0bad0ad94ac91eade00dbc164a483e5b9f92
https://github.com/acl2/acl2/commit/6b9a0bad0ad94ac91eade00dbc164a483e5b9f92
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-02 (Thu, 02 Jul 2026)

Changed paths:
M books/kestrel/axe/refined-assumption-alists3.lisp

Log Message:
-----------
[axe] Tweak.


Commit: 10c1dee2bd8a098518de999edf3512be7be0ffcf
https://github.com/acl2/acl2/commit/10c1dee2bd8a098518de999edf3512be7be0ffcf
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-02 (Thu, 02 Jul 2026)

Changed paths:
M books/kestrel/axe/node-replacement-alist-for-context.lisp

Log Message:
-----------
[axe] Improve computation of the node-replacement-alist.

In one case, it was neglecting to map an equality node to true. Also modernize the code and proofs.


Commit: dc96d6d797b4984b86459d68f7cbd9453015fbff
https://github.com/acl2/acl2/commit/dc96d6d797b4984b86459d68f7cbd9453015fbff
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-02 (Thu, 02 Jul 2026)

Changed paths:
M books/kestrel/axe/node-replacement-array.lisp

Log Message:
-----------
[axe] Localize/remove rules.


Commit: 301ce715cf45f0dcb894bf9811f03246c3b0edd2
https://github.com/acl2/acl2/commit/301ce715cf45f0dcb894bf9811f03246c3b0edd2
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-02 (Thu, 02 Jul 2026)

Changed paths:
M books/kestrel/axe/hit-counts.lisp
M books/kestrel/axe/jvm/lifter.lisp
M books/kestrel/axe/jvm/rule-lists-jvm.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/utilities/if.lisp

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


Compare: https://github.com/acl2/acl2/compare/2625a4dfaf6e...301ce715cf45

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications