[acl2/acl2] 4f6e12: [axe] Add comments about rewrite-stobj2.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 4f6e129b834256cb458eb00e8a2d9a554c005eef
https://github.com/acl2/acl2/commit/4f6e129b834256cb458eb00e8a2d9a554c005eef
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-26 (Wed, 26 Nov 2025)

Changed paths:
M books/kestrel/axe/rewrite-stobj2.lisp

Log Message:
-----------
[axe] Add comments about rewrite-stobj2.


Commit: 0fce4946b6402bbab6b33d10f47b43e67b2a54b2
https://github.com/acl2/acl2/commit/0fce4946b6402bbab6b33d10f47b43e67b2a54b2
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-26 (Wed, 26 Nov 2025)

Changed paths:
M books/kestrel/arithmetic-light/ceiling-of-lg.lisp
M books/kestrel/arithmetic-light/integer-length.lisp
M books/kestrel/axe/bv-array-rules-axe.lisp
M books/kestrel/axe/rules3.lisp
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/bv-lists/array-patterns.lisp
M books/kestrel/bv/bvlt.lisp

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


Commit: 32853a8ef2b8629512609ff890d5138cc64a95bc
https://github.com/acl2/acl2/commit/32853a8ef2b8629512609ff890d5138cc64a95bc
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-26 (Wed, 26 Nov 2025)

Changed paths:
M books/kestrel/axe/imported-symbols.lisp

Log Message:
-----------
[axe] Add symbols to packages.


Commit: 3af68ea45438e30802b9a11bda61a073a9a4f213
https://github.com/acl2/acl2/commit/3af68ea45438e30802b9a11bda61a073a9a4f213
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-26 (Wed, 26 Nov 2025)

Changed paths:
M books/kestrel/axe/risc-v/unroller.lisp

Log Message:
-----------
[axe/risc-v] Remove package prefixes.

Also add a termp check.


Commit: 0d48aeccbbb85e2bbf8efb530aeef9d33fb911cb
https://github.com/acl2/acl2/commit/0d48aeccbbb85e2bbf8efb530aeef9d33fb911cb
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-26 (Wed, 26 Nov 2025)

Changed paths:
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/x86/examples/switch/support.lisp
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/axe/x86/x86-rules.lisp
A books/kestrel/x86/support64.lisp
M books/kestrel/x86/top.lisp

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


Commit: fdad20673bf75868a0e4fc3e25a9b51839da25cb
https://github.com/acl2/acl2/commit/fdad20673bf75868a0e4fc3e25a9b51839da25cb
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-30 (Sun, 30 Nov 2025)

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

Log Message:
-----------
[axe/x86] Add a termp check.


Commit: 0d9850806570052d8555c999af7ce5431f7ddbb4
https://github.com/acl2/acl2/commit/0d9850806570052d8555c999af7ce5431f7ddbb4
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-30 (Sun, 30 Nov 2025)

Changed paths:
M books/kestrel/terms-light/termp.lisp

Log Message:
-----------
[terms-light] Add comment.


Compare: https://github.com/acl2/acl2/compare/4f7504ea70b0...0d9850806570

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

[acl2buildserver]

Branch: refs/heads/master

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

Date: 2025-11-30 (Sun, 30 Nov 2025)

Changed paths:

M books/kestrel/axe/imported-symbols.lisp
M books/kestrel/axe/rewrite-stobj2.lisp
M books/kestrel/axe/risc-v/unroller.lisp
M books/kestrel/axe/x86/unroller.lisp

M books/kestrel/terms-light/termp.lisp

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

Merge commit '0d9850806570052d8555c999af7ce5431f7ddbb4' into HEAD


Compare: https://github.com/acl2/acl2/compare/eb14ae4b051a...edce2f81c223

[acl2buildserver]

Branch: refs/heads/testing