[acl2/acl2] 8f80f8: [apt] Add remove-nesting transformation.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 8f80f8b044fc094d8ba744fdbc0deb3debfa16ff
https://github.com/acl2/acl2/commit/8f80f8b044fc094d8ba744fdbc0deb3debfa16ff
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-06 (Wed, 06 May 2026)

Changed paths:
A books/kestrel/apt/remove-nesting-tests.lisp
A books/kestrel/apt/remove-nesting.lisp
M books/kestrel/apt/top.lisp

Log Message:
-----------
[apt] Add remove-nesting transformation.



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