[acl2/acl2] 9c0e2d: [axe/arm] Add run-until-reach-pc.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 9c0e2d66e8499ecf8f473485cabb80890b45e866
https://github.com/acl2/acl2/commit/9c0e2d66e8499ecf8f473485cabb80890b45e866
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/kestrel/axe/arm/axe-rules.lisp
M books/kestrel/axe/arm/run-until-return.lisp

Log Message:
-----------
[axe/arm] Add run-until-reach-pc.


Commit: 9389d7d36a79c60832eebf046c7e19b24480d74b
https://github.com/acl2/acl2/commit/9389d7d36a79c60832eebf046c7e19b24480d74b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/kestrel/arm/library-models.lisp
M books/kestrel/arm/rules.lisp
M books/kestrel/arm/step.lisp
M books/kestrel/axe/arm/axe-rules.lisp
M books/kestrel/axe/arm/package.lsp
M books/kestrel/axe/arm/rule-lists.lisp

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


Commit: eee6783dbc03317b1e936927d164d26cacb0a730
https://github.com/acl2/acl2/commit/eee6783dbc03317b1e936927d164d26cacb0a730
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
A books/kestrel/axe/arm/run-until-return-common.lisp
M books/kestrel/axe/arm/run-until-return-with-tracing.lisp
M books/kestrel/axe/arm/run-until-return.lisp

Log Message:
-----------
[axe/arm] Refactor.


Compare: https://github.com/acl2/acl2/compare/8c96d41f9063...eee6783dbc03

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