[acl2/acl2] 187db0: [axe/x86] Split out position-independent check for...

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 187db0869b1cd6bd73b37179bd728ea2586d0b4d
https://github.com/acl2/acl2/commit/187db0869b1cd6bd73b37179bd728ea2586d0b4d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
M books/kestrel/axe/x86/unroller.lisp
M books/kestrel/executable-parsers/elf-tools.lisp

Log Message:
-----------
[axe/x86] Split out position-independent check for ELF files.


Commit: 932a3459b62161cb8cf90760cf798c8dc6528f85
https://github.com/acl2/acl2/commit/932a3459b62161cb8cf90760cf798c8dc6528f85
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

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

Log Message:
-----------
[axe/risc-v] Add support for :position-independent :auto.


Commit: 80b534e2b0738e96580859a097af44d897bfad38
https://github.com/acl2/acl2/commit/80b534e2b0738e96580859a097af44d897bfad38
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

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

Log Message:
-----------
[axe] Extend list of imported symbols.


Commit: 0031f784c5607b006ddc1d935b33893e05741035
https://github.com/acl2/acl2/commit/0031f784c5607b006ddc1d935b33893e05741035
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

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

Log Message:
-----------
[axe/risc-v] Fix handling of position-independentp.


Commit: f8111fd1b5fa3ea69278f70766be671d3136caa7
https://github.com/acl2/acl2/commit/f8111fd1b5fa3ea69278f70766be671d3136caa7
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

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

Log Message:
-----------
[axe] Improve x86 and risc-v lifters.

Generate the repeatedly-run function from a template.


Commit: 0d5727f68082c562e5e0ba10ef358f0d1314b3d4
https://github.com/acl2/acl2/commit/0d5727f68082c562e5e0ba10ef358f0d1314b3d4
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
M books/kestrel/axe/step-increments.lisp

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


Commit: 382b9ebac8877837600264d54ec0af3fe00b13c1
https://github.com/acl2/acl2/commit/382b9ebac8877837600264d54ec0af3fe00b13c1
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
M books/kestrel/axe/rule-limits.lisp

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


Commit: 5b959374c2c16281f04bc58a278d0e7fe71096b1
https://github.com/acl2/acl2/commit/5b959374c2c16281f04bc58a278d0e7fe71096b1
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

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

Log Message:
-----------
[axe/risc-v] Clarify implementation.


Commit: f1282125f26638942eb5f0da51ba98740ad8e078
https://github.com/acl2/acl2/commit/f1282125f26638942eb5f0da51ba98740ad8e078
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
M books/kestrel/axe/lifter-common.lisp

Log Message:
-----------
[axe] Fix/improve step counting and printing.


Compare: https://github.com/acl2/acl2/compare/961375ef9db5...f1282125f266

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