[acl2/acl2] e89e63: [arm] Tweak error case.

[Eric W. Smith]

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

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

Log Message:
-----------
[arm] Tweak error case.


Commit: 68e05b37b7a2fd64b20f9e5a248024aec5ac6f20
https://github.com/acl2/acl2/commit/68e05b37b7a2fd64b20f9e5a248024aec5ac6f20
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-14 (Fri, 14 Aug 2026)

Changed paths:
M books/kestrel/filepath/paths.lisp

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


Commit: 3b4a370ec5b94f225dcf26d306d142debf7801c3
https://github.com/acl2/acl2/commit/3b4a370ec5b94f225dcf26d306d142debf7801c3
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-14 (Fri, 14 Aug 2026)

Changed paths:
M books/kestrel/axe/rule-lists.lisp

Log Message:
-----------
[axe] Extend rule-list.


Commit: 97e6dc91c45ab65bb8ffefff5dcb180950ba10a3
https://github.com/acl2/acl2/commit/97e6dc91c45ab65bb8ffefff5dcb180950ba10a3
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-15 (Sat, 15 Aug 2026)

Changed paths:
M books/kestrel/arm/pseudocode.lisp
M books/kestrel/arm/state.lisp
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/arm/support.lisp

Log Message:
-----------
[axe/arm] Add some rules.


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

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

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


Commit: 69294a95fcedd99f85b2c480c711f0f1a612a786
https://github.com/acl2/acl2/commit/69294a95fcedd99f85b2c480c711f0f1a612a786
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-15 (Sat, 15 Aug 2026)

Changed paths:
M books/kestrel/arm/state.lisp
M books/kestrel/axe/arm/rule-lists.lisp

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


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

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

Log Message:
-----------
[arm] Tweak package.


Commit: 780d65e3f22927a57d365b429bb450638621bf67
https://github.com/acl2/acl2/commit/780d65e3f22927a57d365b429bb450638621bf67
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-16 (Sun, 16 Aug 2026)

Changed paths:
M books/kestrel/booleans/booleans.lisp

Log Message:
-----------
[booleans] Keep some rules disabled.


Commit: 21ae7bb8119d47018caf1a22c822e23672a48ebe
https://github.com/acl2/acl2/commit/21ae7bb8119d47018caf1a22c822e23672a48ebe
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-16 (Sun, 16 Aug 2026)

Changed paths:
M books/kestrel/booleans/booleans.lisp
M books/kestrel/booleans/boolif.lisp

Log Message:
-----------
[booleans] Rename a boolif rule.

Also organize boolif rules.


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

Changed paths:
M books/kestrel/axe/conjunctions-and-disjunctions.lisp
M books/kestrel/booleans/booleans.lisp

Log Message:
-----------
[booleans] Keep some rules disabled.


Compare: https://github.com/acl2/acl2/compare/d9b0416fda99...aeb37a331f67

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

[acl2buildserver]

Branch: refs/heads/master

Commit: 9fe4354715a6beb53a9041cf03ef027d23b48009
https://github.com/acl2/acl2/commit/9fe4354715a6beb53a9041cf03ef027d23b48009
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
M books/kestrel/arm/instructions.lisp
M books/kestrel/arm/package.lsp

M books/kestrel/arm/pseudocode.lisp
M books/kestrel/arm/state.lisp
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/arm/support.lisp

M books/kestrel/axe/conjunctions-and-disjunctions.lisp
M books/kestrel/axe/rule-lists.lisp

M books/kestrel/booleans/booleans.lisp
M books/kestrel/booleans/boolif.lisp

Log Message:
-----------

Merge commit 'aeb37a331f679c81e15be5dfd17d84eed57a2cbc' into HEAD


Compare: https://github.com/acl2/acl2/compare/c4172f0ef0ea...9fe4354715a6

[acl2buildserver]

Branch: refs/heads/testing