[acl2/acl2] 800875: [axe] Improve packages.

[Eric W. Smith]

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

Changed paths:
M books/kestrel/axe/imported-symbols.lisp
M books/kestrel/axe/risc-v/package.lsp

Log Message:
-----------
[axe] Improve packages.


Commit: d140decc7721e5f8edf4c1a8cf34df97b436047f
https://github.com/acl2/acl2/commit/d140decc7721e5f8edf4c1a8cf34df97b436047f
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: ba0509d0b54ecea9b9da5a90d3a70b67c29b0d0f
https://github.com/acl2/acl2/commit/ba0509d0b54ecea9b9da5a90d3a70b67c29b0d0f
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-26 (Wed, 26 Nov 2025)

Changed paths:
M books/kestrel/axe/x86/examples/switch/switch-complex-1a-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64staticO2.lisp
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp

Log Message:
-----------
[axe/x86] Improve examples.


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

Changed paths:
M books/kestrel/axe/make-rewriter-simple.lisp

Log Message:
-----------
[axe] Add todo.


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

Changed paths:
M books/kestrel/axe/risc-v/package.lsp
M books/kestrel/x86/package.lsp

Log Message:
-----------
[axe] Continue improving packages.


Commit: 97ad63c95b77afbd64864611ab0e896c8b975e4f
https://github.com/acl2/acl2/commit/97ad63c95b77afbd64864611ab0e896c8b975e4f
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-27 (Thu, 27 Nov 2025)

Changed paths:
M books/kestrel/x86/.sys/assumpt...@useless-runes.lsp
M books/kestrel/x86/assumptions-for-inputs.lisp
M books/kestrel/x86/assumptions-new.lisp

Log Message:
-----------
[axe/x86] Fix disjointness assumptions for inputs.

They were not always respecting the position-independent option.


Commit: 45e53a1456542a4896ba0c455a654c27cbf84398
https://github.com/acl2/acl2/commit/45e53a1456542a4896ba0c455a654c27cbf84398
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-27 (Thu, 27 Nov 2025)

Changed paths:
M books/kestrel/memory/memory-regions.lisp

Log Message:
-----------
[memory] Add a rule.


Commit: 0aa03bbe9af53336368c70087e35f8395f52d0a4
https://github.com/acl2/acl2/commit/0aa03bbe9af53336368c70087e35f8395f52d0a4
Author: Eric Smith <ews...@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: 41f8cbc4e52073d8a9e9588ccf001e3eda1f4c70
https://github.com/acl2/acl2/commit/41f8cbc4e52073d8a9e9588ccf001e3eda1f4c70
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-30 (Sun, 30 Nov 2025)

Changed paths:
M books/kestrel/x86/assumptions-for-inputs.lisp
M books/kestrel/x86/assumptions-new.lisp
M books/kestrel/x86/assumptions.lisp

Log Message:
-----------
[x86] Make more assumptions be pseudo-terms.


Compare: https://github.com/acl2/acl2/compare/0d9850806570...41f8cbc4e520

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

[acl2buildserver]

Branch: refs/heads/master

Commit: 60f7e43ac2bf0985069a4b346377a2ba27136207
https://github.com/acl2/acl2/commit/60f7e43ac2bf0985069a4b346377a2ba27136207
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-12-01 (Mon, 01 Dec 2025)

Changed paths:
M books/kestrel/axe/imported-symbols.lisp
M books/kestrel/axe/make-rewriter-simple.lisp
M books/kestrel/axe/risc-v/package.lsp

M books/kestrel/axe/x86/examples/switch/switch-complex-1a-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64staticO2.lisp
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp

M books/kestrel/memory/memory-regions.lisp

M books/kestrel/x86/.sys/assumpt...@useless-runes.lsp
M books/kestrel/x86/assumptions-for-inputs.lisp
M books/kestrel/x86/assumptions-new.lisp

M books/kestrel/x86/assumptions.lisp

M books/kestrel/x86/package.lsp

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

Merge commit '41f8cbc4e52073d8a9e9588ccf001e3eda1f4c70' into HEAD


Compare: https://github.com/acl2/acl2/compare/edce2f81c223...60f7e43ac2bf

[acl2buildserver]

Branch: refs/heads/testing