[acl2/acl2] 16477f: [axe/x86] Improve tester.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 16477fa6293be4eb307ce3de4d9fd85699143e6a
https://github.com/acl2/acl2/commit/16477fa6293be4eb307ce3de4d9fd85699143e6a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/axe/x86/tester-rules.lisp
M books/kestrel/axe/x86/tester.lisp

Log Message:
-----------
[axe/x86] Improve tester.

Avoid bringing in some unneeded rules


Commit: 76e3f34f5d83917a2f77d6c679b44618ccbf81f1
https://github.com/acl2/acl2/commit/76e3f34f5d83917a2f77d6c679b44618ccbf81f1
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
A books/kestrel/c/syntax/macro-tables.lisp
A books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/c17-std-example3-6.10.3.5.c
M books/kestrel/c/syntax/tests/c17-std-example6-6.10.3.5.c
M books/kestrel/c/syntax/tests/preprocessor.lisp

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


Commit: adfd804a02be0fdb0520f53901a5b7fd2cf4f13a
https://github.com/acl2/acl2/commit/adfd804a02be0fdb0520f53901a5b7fd2cf4f13a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/axe/make-prover-simple.lisp

Log Message:
-----------
[axe] Avoid getting the time if we won't print it.

Also improve comments.


Commit: c658f1cdba28c400e7a487c1712ac6378f16af10
https://github.com/acl2/acl2/commit/c658f1cdba28c400e7a487c1712ac6378f16af10
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-15 (Thu, 15 Jan 2026)

Changed paths:
M books/kestrel/axe/prune-term.lisp
M books/kestrel/axe/tactic-prover.lisp
M books/kestrel/axe/x86/tester.lisp

Log Message:
-----------
[axe] Improve comments/todos.


Commit: f0656760bf368075035d2af6e62017aaacffbe5d
https://github.com/acl2/acl2/commit/f0656760bf368075035d2af6e62017aaacffbe5d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-16 (Fri, 16 Jan 2026)

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

Log Message:
-----------
[axe] Improve and clarify some rule-lists.


Commit: 33319fad321d236a9467efdff7e8a4de7ef94909
https://github.com/acl2/acl2/commit/33319fad321d236a9467efdff7e8a4de7ef94909
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-16 (Fri, 16 Jan 2026)

Changed paths:
M books/projects/x86isa/machine/cert.acl2
M books/projects/x86isa/machine/other-non-det.lisp
M books/projects/x86isa/machine/register-readers-and-writers.lisp
M books/projects/x86isa/tools/execution/top.lisp

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


Commit: 3d1ff1fc725977097f02bb31956e2e9ba74e2b32
https://github.com/acl2/acl2/commit/3d1ff1fc725977097f02bb31956e2e9ba74e2b32
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-17 (Sat, 17 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor.lisp

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


Commit: 5fa98e9414a003d5e19004b1a4067572e0e735cb
https://github.com/acl2/acl2/commit/5fa98e9414a003d5e19004b1a4067572e0e735cb
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-18 (Sun, 18 Jan 2026)

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

Log Message:
-----------
[axe] Comment out uneeded rule.


Compare: https://github.com/acl2/acl2/compare/ff74946d2f51...5fa98e9414a0

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