[acl2/acl2] dbf80f: [definductive] Remove some commented-out code and ...

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: dbf80f0247816ad20ef214ec06a2182e2299c991
https://github.com/acl2/acl2/commit/dbf80f0247816ad20ef214ec06a2182e2299c991
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/std/util/definductive-doc.lisp
M books/std/util/definductive-tests.lisp
M books/std/util/definductive.lisp

Log Message:
-----------
[definductive] Remove some commented-out code and doc.


Commit: f417e51c25a9e6e296294de1750ce7a452901af7
https://github.com/acl2/acl2/commit/f417e51c25a9e6e296294de1750ce7a452901af7
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/std/util/definductive.lisp

Log Message:
-----------
[definductive] Remove code now unused.


Commit: 15eed9b3e0391fe0989d264e1f811ff2df6a36b9
https://github.com/acl2/acl2/commit/15eed9b3e0391fe0989d264e1f811ff2df6a36b9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/std/util/definductive.lisp

Log Message:
-----------
[definductive] Update some doc.


Commit: ed901e0a58e0a57f686188e35355d0a5b35928a4
https://github.com/acl2/acl2/commit/ed901e0a58e0a57f686188e35355d0a5b35928a4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/std/util/definductive.lisp

Log Message:
-----------
[definductive] Remove more code no longer needed.


Commit: 845103b2c056d954ada901a4ad3ba0c4390fccdc
https://github.com/acl2/acl2/commit/845103b2c056d954ada901a4ad3ba0c4390fccdc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/std/util/definductive.lisp

Log Message:
-----------
[definductive] Remove code no longer needed.


Commit: 3c55bbdb250e38e540efa9d849ae3b49029be5c0
https://github.com/acl2/acl2/commit/3c55bbdb250e38e540efa9d849ae3b49029be5c0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/std/util/definductive.lisp

Log Message:
-----------
[definductive] Update some doc.


Commit: c523eef02b270089845e763aa9c8df6f284b3cbe
https://github.com/acl2/acl2/commit/c523eef02b270089845e763aa9c8df6f284b3cbe
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/kestrel/arm/state.lisp
M books/kestrel/axe/arm/package.lsp
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/arm/unroller.lisp

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


Compare: https://github.com/acl2/acl2/compare/9a661f635c0e...c523eef02b27

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