[acl2/acl2] ab0ac9: [axe] Organize some supporting rules.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: ab0ac943db540facf6128a0946141f840a49cfcc
https://github.com/acl2/acl2/commit/ab0ac943db540facf6128a0946141f840a49cfcc
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-04 (Thu, 04 Dec 2025)

Changed paths:
M books/kestrel/axe/arithmetic-rules-axe.lisp
M books/kestrel/axe/basic-rules.lisp
M books/kestrel/axe/def-simplified.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/rules-in-rule-lists.lisp
M books/kestrel/axe/tactic-prover.lisp

Log Message:
-----------
[axe] Organize some supporting rules.


Commit: 648659da2e8f4c0d42b481fb00ffd02753998fe6
https://github.com/acl2/acl2/commit/648659da2e8f4c0d42b481fb00ffd02753998fe6
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-05 (Fri, 05 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-operations.lisp
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/file-paths.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/disambiguator.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn-when.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/tests/free-vars/free-vars.lisp
M books/kestrel/c/transformation/tests/subst-free/subst-free.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn.lisp

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


Commit: 9be633dd489626af5645fae703ad9e6cba143ad0
https://github.com/acl2/acl2/commit/9be633dd489626af5645fae703ad9e6cba143ad0
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-05 (Fri, 05 Dec 2025)

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

Log Message:
-----------
[axe/x86] Build in a rule.


Commit: 11eed579166dc54b48b3c28ac19031aa16da96d7
https://github.com/acl2/acl2/commit/11eed579166dc54b48b3c28ac19031aa16da96d7
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-05 (Fri, 05 Dec 2025)

Changed paths:
M books/kestrel/bv-lists/bv-array-read-chunk-little.lisp

Log Message:
-----------
[bv-lists] Generalize a rule.


Commit: fe9c90f01bc21d97674057478acd96327cb3092e
https://github.com/acl2/acl2/commit/fe9c90f01bc21d97674057478acd96327cb3092e
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-05 (Fri, 05 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/examples/switch/support.lisp
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp

Log Message:
-----------
[axe/x86] Generalize supporting rule.


Compare: https://github.com/acl2/acl2/compare/3d4d935d14d7...fe9c90f01bc2

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