[acl2/acl2] 8cb9e5: [axe] Split out print-as-term-or-dag.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 8cb9e5334ab11641815ac21218597ccd65c7d007
https://github.com/acl2/acl2/commit/8cb9e5334ab11641815ac21218597ccd65c7d007
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
A books/kestrel/axe/dag-printing.lisp
M books/kestrel/axe/imported-symbols.lisp
M books/kestrel/axe/top.lisp
M books/kestrel/axe/x86/unroller.lisp

Log Message:
-----------
[axe] Split out print-as-term-or-dag.


Commit: e1d0a0a27075df29e2f4f40d1c4102a8b24dcd6a
https://github.com/acl2/acl2/commit/e1d0a0a27075df29e2f4f40d1c4102a8b24dcd6a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/kestrel/axe/dag-to-term.lisp
M books/kestrel/axe/dags.lisp

Log Message:
-----------
[axe] Improve and localize implementation rules.


Commit: 6816d7e63c828d90dc4b565051d3bbf1180278a3
https://github.com/acl2/acl2/commit/6816d7e63c828d90dc4b565051d3bbf1180278a3
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
M books/kestrel/axe/dag-exprs.lisp

Log Message:
-----------
[axe] Improve implementation rules.


Commit: 97c61ed56c2f5b12a4da2611d08a693a81d336a4
https://github.com/acl2/acl2/commit/97c61ed56c2f5b12a4da2611d08a693a81d336a4
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

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

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


Compare: https://github.com/acl2/acl2/compare/05b9401249e3...97c61ed56c2f

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

[acl2buildserver]

Branch: refs/heads/master

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

Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
M books/kestrel/axe/dag-exprs.lisp

A books/kestrel/axe/dag-printing.lisp
M books/kestrel/axe/dag-to-term.lisp
M books/kestrel/axe/dags.lisp

M books/kestrel/axe/imported-symbols.lisp
M books/kestrel/axe/top.lisp
M books/kestrel/axe/x86/unroller.lisp

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

Merge commit '97c61ed56c2f5b12a4da2611d08a693a81d336a4' into HEAD


Compare: https://github.com/acl2/acl2/compare/8c74b41b232b...d11d37f13568

[acl2buildserver]

Branch: refs/heads/testing