[acl2/acl2] bb1a07: [bv-lists] Disable the opener for bv-array-read-ch...

[Eric W. Smith]

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

Changed paths:
M books/kestrel/axe/.sys/unguarde...@useless-runes.lsp
M books/kestrel/axe/risc-v/read-and-write.lisp
M books/kestrel/axe/x86/examples/switch/support.lisp
M books/kestrel/axe/x86/x86-rules.lisp
M books/kestrel/bv-lists/.sys/bv-array-read...@useless-runes.lsp
M books/kestrel/bv-lists/bv-array-read-chunk-little.lisp
M books/kestrel/x86/read-and-write2.lisp

Log Message:
-----------
[bv-lists] Disable the opener for bv-array-read-chunk-little.

Also remove a duplicate call of defopeners.


Commit: 695ff50fc88e83bc339361eb81f16f4665c4d3a6
https://github.com/acl2/acl2/commit/695ff50fc88e83bc339361eb81f16f4665c4d3a6
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-16 (Tue, 16 Dec 2025)

Changed paths:
M books/kestrel/axe/node-replacement-array.lisp
M books/kestrel/axe/refine-assumptions.lisp

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


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

Changed paths:
M books/kestrel/axe/risc-v/read-and-write.lisp
M books/kestrel/x86/read-and-write2.lisp

Log Message:
-----------
[axe] Clarify rules.


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

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

Log Message:
-----------
[axe/x86] Add a rule variant.


Commit: 4de6ff3a5dc5f904015bacd93b56f5d78d0ce656
https://github.com/acl2/acl2/commit/4de6ff3a5dc5f904015bacd93b56f5d78d0ce656
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-16 (Tue, 16 Dec 2025)

Changed paths:
M apply-prim.lisp
M axioms.lisp
M books/demos/floating-point-log.txt
M books/kestrel/c/syntax/external-preprocessing.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/preprocessor-messages.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/transformation/tests/split-all-gso/split-all-gso.lisp
M books/kestrel/c/transformation/tests/split-gso/split-gso.lisp
M books/system/doc/acl2-doc.lisp
M books/system/verified-termination-and-guards.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M other-events.lisp
M translate.lisp

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


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

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/compilation-db.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/grammar/all.abnf
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/preprocessor-lexer.lisp
M books/kestrel/c/syntax/preprocessor-messages.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/printer.lisp
A books/kestrel/c/syntax/tests/comments.c
A books/kestrel/c/syntax/tests/empty.c
A books/kestrel/c/syntax/tests/null-directive.c
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
A books/kestrel/c/syntax/tests/preprocessor.lisp
A books/kestrel/c/syntax/tests/whitespace.c
M books/kestrel/c/syntax/validation-information.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-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/copy-fn/copy-fn.lisp
M books/kestrel/c/transformation/tests/simpadd0/asg-int.lisp
M books/kestrel/c/transformation/tests/simpadd0/asg-multi.lisp
M books/kestrel/c/transformation/tests/simpadd0/bin.lisp
M books/kestrel/c/transformation/tests/simpadd0/blocks.lisp
M books/kestrel/c/transformation/tests/simpadd0/cast.lisp
M books/kestrel/c/transformation/tests/simpadd0/constant.lisp
M books/kestrel/c/transformation/tests/simpadd0/decl.lisp
M books/kestrel/c/transformation/tests/simpadd0/dowhile.lisp
M books/kestrel/c/transformation/tests/simpadd0/file-scope.lisp
M books/kestrel/c/transformation/tests/simpadd0/gg.lisp
M books/kestrel/c/transformation/tests/simpadd0/global.lisp
M books/kestrel/c/transformation/tests/simpadd0/if.lisp
M books/kestrel/c/transformation/tests/simpadd0/ifelse.lisp
M books/kestrel/c/transformation/tests/simpadd0/logand.lisp
M books/kestrel/c/transformation/tests/simpadd0/logor.lisp
M books/kestrel/c/transformation/tests/simpadd0/nonint-const.lisp
M books/kestrel/c/transformation/tests/simpadd0/nonint-param.lisp
M books/kestrel/c/transformation/tests/simpadd0/nonint-return.lisp
M books/kestrel/c/transformation/tests/simpadd0/noninteger.lisp
M books/kestrel/c/transformation/tests/simpadd0/paren.lisp
M books/kestrel/c/transformation/tests/simpadd0/pure-expr-stmt.lisp
M books/kestrel/c/transformation/tests/simpadd0/return-void.lisp
M books/kestrel/c/transformation/tests/simpadd0/stmt-null.lisp
M books/kestrel/c/transformation/tests/simpadd0/ternary-int.lisp
M books/kestrel/c/transformation/tests/simpadd0/unary.lisp
M books/kestrel/c/transformation/tests/simpadd0/variable.lisp
M books/kestrel/c/transformation/tests/simpadd0/while.lisp
M books/kestrel/c/transformation/tests/split-all-gso/split-all-gso.lisp
M books/kestrel/c/transformation/tests/split-fn-when/split-fn-when.lisp
M books/kestrel/c/transformation/tests/split-fn/split-fn.lisp
M books/kestrel/c/transformation/tests/split-gso/split-gso.lisp
M books/kestrel/c/transformation/tests/wrap-fn/wrap-fn.lisp

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


Compare: https://github.com/acl2/acl2/compare/1b72d7353a49...d1aca16d553d

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