[acl2/acl2] b04e14: [arm] Refactor step.

[Eric W. Smith]

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

Changed paths:
M books/kestrel/arm/step.lisp
M books/kestrel/arm/tests/simple.lisp
M books/kestrel/axe/arm/rule-lists.lisp

Log Message:
-----------
[arm] Refactor step.


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

Changed paths:
M books/kestrel/arm/decoder.lisp

Log Message:
-----------
[arm] Add rule.


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

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

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


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

Changed paths:
A books/kestrel/arm/library-models.lisp
M books/kestrel/arm/memory.lisp
M books/kestrel/arm/state.lisp
M books/kestrel/arm/step.lisp
M books/kestrel/arm/tests/simple.lisp
M books/kestrel/arm/top.lisp
M books/kestrel/axe/arm/package.lsp
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/arm/run-until-return.lisp
M books/kestrel/axe/arm/unroller.lisp

Log Message:
-----------
[axe/arm] Improve ARM32 model.

Start adding support for models of library calls, like the ones in libc.

Also add an oracle component to the state.


Compare: https://github.com/acl2/acl2/compare/70dac4e09c35...47900492d43b

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