[acl2/acl2] 05b530: [arm] Improve rule.

[Eric W. Smith]

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

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

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


Commit: 4cc35df39e2905ccb2f38ba18030dafd1b63d18e
https://github.com/acl2/acl2/commit/4cc35df39e2905ccb2f38ba18030dafd1b63d18e
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/arm/encodings.lisp
M books/kestrel/arm/instructions.lisp
M books/kestrel/arm/rules.lisp
M books/kestrel/axe/arm/rule-lists.lisp

Log Message:
-----------
[axe/arm] Add UXTH and recharacterize flags for sub-immediate.


Commit: 61db1b98b70ecc26af21bd03836eede3f1ea1671
https://github.com/acl2/acl2/commit/61db1b98b70ecc26af21bd03836eede3f1ea1671
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/arm/def-inst.lisp
M books/kestrel/arm/instructions.lisp

Log Message:
-----------
[arm] Start fleshing out unconditional instructions.


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

Changed paths:
M books/kestrel/arm/encodings.lisp
M books/kestrel/arm/instructions.lisp

Log Message:
-----------
[arm] Add REV16 instruction.


Commit: 6eec8bdd1c24cecd97e7e0794e02bce8c283c7f8
https://github.com/acl2/acl2/commit/6eec8bdd1c24cecd97e7e0794e02bce8c283c7f8
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/arm/def-inst.lisp
M books/kestrel/arm/instructions.lisp
M books/kestrel/axe/arm/rule-lists.lisp

Log Message:
-----------
[axe/arm] Add support for one kind of unconditional instruction.


Commit: 999d78daf5df4c961e607b367aba0494aaf681bd
https://github.com/acl2/acl2/commit/999d78daf5df4c961e607b367aba0494aaf681bd
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-28 (Thu, 28 May 2026)

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

Log Message:
-----------
[axe/arm] Improve checking of processor mode.

Now we get an error if not in ARM mode.


Commit: 371deba36d974d003b94da32ea239986a6391ed0
https://github.com/acl2/acl2/commit/371deba36d974d003b94da32ea239986a6391ed0
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/kestrel/arm/encodings.lisp
M books/kestrel/arm/instructions.lisp

Log Message:
-----------
[arm] Add more instructions.

REV, REVSH, and ROR.


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

Changed paths:
M books/kestrel/apt/doc.lisp

Log Message:
-----------
[apt] Include remove-nesting in doc.


Compare: https://github.com/acl2/acl2/compare/2a85f0a4188b...f3de74de64d3

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