[acl2/acl2] 0ac1e8: [arm] Add decoding and stub model for supervisor c...

[Eric W. Smith]

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

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

Log Message:
-----------
[arm] Add decoding and stub model for supervisor call.


Commit: 27740ff20c1ac5771727c335b9a32df131fa25d6
https://github.com/acl2/acl2/commit/27740ff20c1ac5771727c335b9a32df131fa25d6
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

Changed paths:
M books/kestrel/axe/arm/package.lsp

Log Message:
-----------
[axe/arm] Add symbols to package.


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

Changed paths:
M books/kestrel/axe/arm/axe-rules.lisp
M books/kestrel/axe/arm/rule-lists.lisp
A books/kestrel/axe/arm/run-until-return-with-tracing.lisp
M books/kestrel/axe/arm/run-until-return.lisp
M books/kestrel/axe/arm/unroller.lisp

Log Message:
-----------
[axe/arm] Add tracing option to lifter.


Compare: https://github.com/acl2/acl2/compare/ff70cc797e77...f347790b179c

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