[acl2/acl2] de3d82: [axe/arm] Extend package.

[Eric W. Smith]

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

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

Log Message:
-----------
[axe/arm] Extend package.


Commit: aa88537ddb4838fcb1aa514aaf35a8f06227387c
https://github.com/acl2/acl2/commit/aa88537ddb4838fcb1aa514aaf35a8f06227387c
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/step.lisp

Log Message:
-----------
[arm] Add more library models.


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

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

Log Message:
-----------
[arm] Add more rules about conditions.


Commit: f47ad3b6e4fcaf5dc6609edeb57aad379984ddde
https://github.com/acl2/acl2/commit/f47ad3b6e4fcaf5dc6609edeb57aad379984ddde
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/rule-lists.lisp

Log Message:
-----------
[axe/arm] Build in more rules.


Commit: 8c96d41f9063b195fd717b8d72349a04c90fd722
https://github.com/acl2/acl2/commit/8c96d41f9063b195fd717b8d72349a04c90fd722
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/rule-lists.lisp

Log Message:
-----------
[axe/arm] Add more constant-openers.


Compare: https://github.com/acl2/acl2/compare/47900492d43b...8c96d41f9063

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