[acl2/acl2] 5d759a: [axe/x86] Remove unnecessary :ttags from .acl2 files.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 5d759a50c4b5858c9c6a1176f2d49a2801c63f8d
https://github.com/acl2/acl2/commit/5d759a50c4b5858c9c6a1176f2d49a2801c63f8d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
M books/kestrel/axe/x86/rule-lists.acl2
M books/kestrel/axe/x86/tester-rules.acl2
M books/kestrel/axe/x86/x86-rules.acl2
M books/kestrel/x86/assumptions-new.acl2
M books/kestrel/x86/assumptions32.acl2
M books/kestrel/x86/assumptions64.acl2
M books/kestrel/x86/bytes-loadedp.acl2
M books/kestrel/x86/canonical.acl2
M books/kestrel/x86/conditions.acl2
M books/kestrel/x86/floats.acl2
M books/kestrel/x86/if-lowering.acl2
M books/kestrel/x86/linear-memory.acl2
M books/kestrel/x86/memory32.acl2
M books/kestrel/x86/read-and-write.acl2
M books/kestrel/x86/read-and-write2.acl2
M books/kestrel/x86/read-bytes-and-write-bytes.acl2
M books/kestrel/x86/read-over-write-rules.acl2
M books/kestrel/x86/read-over-write-rules32.acl2
M books/kestrel/x86/read-over-write-rules64.acl2
M books/kestrel/x86/register-readers-and-writers32.acl2
M books/kestrel/x86/register-readers-and-writers64.acl2
M books/kestrel/x86/rflags2.acl2
M books/kestrel/x86/run-until-return.acl2
M books/kestrel/x86/run-until-return2.acl2
M books/kestrel/x86/run-until-return3.acl2
M books/kestrel/x86/run-until-return4.acl2
M books/kestrel/x86/support-x86.acl2
M books/kestrel/x86/support.acl2
M books/kestrel/x86/support2.acl2
M books/kestrel/x86/support32.acl2
M books/kestrel/x86/tools/lifter-support.acl2
M books/kestrel/x86/tools/top.acl2
M books/kestrel/x86/tools/unroll-x86-code-old.acl2
M books/kestrel/x86/top.acl2
M books/kestrel/x86/write-over-write-rules.acl2
M books/kestrel/x86/write-over-write-rules32.acl2
M books/kestrel/x86/write-over-write-rules64.acl2
M books/kestrel/x86/zmm.acl2

Log Message:
-----------
[axe/x86] Remove unnecessary :ttags from .acl2 files.



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

[solswords]

Branch: refs/heads/testing-user-01

Commit: 57d2e3a71f8a8a6a39a642d6769ec91e83b81c59
https://github.com/acl2/acl2/commit/57d2e3a71f8a8a6a39a642d6769ec91e83b81c59
Author: Sol Swords <sol.s...@arm.com>

Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:

M books/clause-processors/induction.lisp
M books/clause-processors/replace-equalities.lisp

Log Message:
-----------
more ev-theoremp fallout


Commit: ec6ab45e0ddd140a39cb1d83c782b77c1d32be83
https://github.com/acl2/acl2/commit/ec6ab45e0ddd140a39cb1d83c782b77c1d32be83
Author: Sol Swords <sol.s...@arm.com>

Merge


Compare: https://github.com/acl2/acl2/compare/a2ae43c81c9e...ec6ab45e0ddd