[acl2/acl2] b343c4: [axe/arm] Improve printing to elide more huge terms.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: b343c4ebf8e75b51720184033a6be3477b3b840a
https://github.com/acl2/acl2/commit/b343c4ebf8e75b51720184033a6be3477b3b840a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-17 (Mon, 17 Aug 2026)

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

Log Message:
-----------
[axe/arm] Improve printing to elide more huge terms.


Commit: c66e32d196673e45864c37220f463419d8f0ae16
https://github.com/acl2/acl2/commit/c66e32d196673e45864c37220f463419d8f0ae16
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
A books/kestrel/remora/abstract-syntax-haskell.lisp
M books/kestrel/remora/abstract-syntax.lisp

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


Compare: https://github.com/acl2/acl2/compare/a0cea64b2d15...c66e32d19667

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