[acl2/acl2] 1056fc: [booleans] Tweaks, some prompted by AI review.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 1056fc78f81c8b2f12fa44570431d77a52103519
https://github.com/acl2/acl2/commit/1056fc78f81c8b2f12fa44570431d77a52103519
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-08 (Wed, 08 Apr 2026)

Changed paths:
M books/kestrel/booleans/booland.lisp
M books/kestrel/booleans/booleans2.lisp
M books/kestrel/booleans/boolor.lisp
M books/kestrel/booleans/boolxor.lisp
M books/kestrel/bv/sbvlt-rules.lisp
M books/kestrel/prime-fields/rules2.lisp

Log Message:
-----------
[booleans] Tweaks, some prompted by AI review.


Commit: d6ef476cd9004eb1906a375aa19335d65e5476d8
https://github.com/acl2/acl2/commit/d6ef476cd9004eb1906a375aa19335d65e5476d8
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-08 (Wed, 08 Apr 2026)

Changed paths:
M books/kestrel/bitcoin/base58.lisp
M books/kestrel/bitcoin/bech32.lisp
M books/kestrel/bitcoin/bip32.lisp
M books/kestrel/bitcoin/bip39.lisp

Log Message:
-----------
[bitcoin] Fix small issues found by AI.


Commit: 12bca04c89318b6799a94acb2b684048be7b27fb
https://github.com/acl2/acl2/commit/12bca04c89318b6799a94acb2b684048be7b27fb
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-08 (Wed, 08 Apr 2026)

Changed paths:
M books/kestrel/built-ins/collect.lisp

Log Message:
-----------
[built-ins] Fix comment typo found by AI.


Commit: 2962f223ec38cfc42f5afc613273cefe26de5b9e
https://github.com/acl2/acl2/commit/2962f223ec38cfc42f5afc613273cefe26de5b9e
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-08 (Wed, 08 Apr 2026)

Changed paths:
M books/centaur/fgl/clauseproc.lisp
M books/centaur/fgl/config.lisp
M books/centaur/fgl/helper-utils.lisp
M books/centaur/fgl/interp-st.lisp
M books/centaur/fgl/interp.lisp
M books/centaur/fgl/logicman.lisp
M books/centaur/fgl/pathcond-aignet.lisp
M books/centaur/fgl/pathcond.lisp
M books/centaur/fgl/primitives-stub.lisp
A books/centaur/fgl/reference-ctrex.lisp
M books/centaur/fgl/svex-primitives.lisp
M books/centaur/fgl/syntax-bind.lisp
M books/centaur/fgl/top.lisp
M books/centaur/fgl/trace.lisp
M books/kestrel/c/language/portable-ascii-identifiers.lisp
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/spans.lisp
A books/kestrel/c/syntax/tests/disamb-example1/included.c
A books/kestrel/c/syntax/tests/disamb-example1/including.c
A books/kestrel/c/syntax/tests/disambiguator-trans-ensembles.lisp
A books/kestrel/c/syntax/tests/disambiguator-trans-units.lisp
R books/kestrel/c/syntax/tests/disambiguator.lisp
M books/kestrel/c/top.lisp
A books/kestrel/remora/abstract-syntax.lisp
A books/kestrel/remora/acl2-customization.lsp
A books/kestrel/remora/package.lsp
A books/kestrel/remora/portcullis.acl2
A books/kestrel/remora/portcullis.lisp
A books/kestrel/remora/top.lisp
M books/kestrel/top-doc.lisp
M books/kestrel/top.lisp
M books/projects/x86isa/machine/inst-listing.lisp
A books/projects/x86isa/machine/instructions/bcd.lisp
M books/projects/x86isa/machine/instructions/top.lisp

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


Commit: e7e42868ffd2c6dbe979124719cb48d4a28e6486
https://github.com/acl2/acl2/commit/e7e42868ffd2c6dbe979124719cb48d4a28e6486
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/bv-lists/bits-and-bytes-inversions.lisp
M books/kestrel/bv-lists/bytes-to-bits-little.lisp
M books/kestrel/bv-lists/map-bvplus-val.lisp

Log Message:
-----------
[bv-lists] Implement suggestions from AI code review.


Commit: 0682e165f09c2e5df5ff8c82387667c28bed74fc
https://github.com/acl2/acl2/commit/0682e165f09c2e5df5ff8c82387667c28bed74fc
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/bv-arrays/bv-array-clear-range.lisp
M books/kestrel/bv-arrays/bv-array-if.lisp

Log Message:
-----------
[bv-arrays] Implement suggestions from AI code review.


Commit: 23effd5fcdd513fb82e8443525c01c355282407d
https://github.com/acl2/acl2/commit/23effd5fcdd513fb82e8443525c01c355282407d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/bv/bitand.lisp
M books/kestrel/bv/bitor.lisp
M books/kestrel/bv/bitxor.lisp
M books/kestrel/bv/bvcount.lisp
M books/kestrel/bv/leftrotate.lisp
M books/kestrel/bv/logext.lisp
M books/kestrel/bv/logtail.lisp
M books/kestrel/bv/rotate.lisp
M books/kestrel/bv/rules10.lisp
M books/kestrel/bv/rules9.lisp
M books/kestrel/bv/slice2.lisp

Log Message:
-----------
[bv] Implement suggestions from AI code review.


Commit: 7cd49a0beb012cd3fa2fd8cd3b58e6965e250959
https://github.com/acl2/acl2/commit/7cd49a0beb012cd3fa2fd8cd3b58e6965e250959
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/bv/rotate.lisp

Log Message:
-----------
[bv] Add guards.


Commit: b8a92c2c44e49e8e3fdc0f9c899df79107a712f2
https://github.com/acl2/acl2/commit/b8a92c2c44e49e8e3fdc0f9c899df79107a712f2
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax.lisp
M books/kestrel/remora/top.lisp
A books/kestrel/strings-light/downcase-tests.lisp

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


Commit: 08356192c57fb238f28e3915aac2bf381ece9701
https://github.com/acl2/acl2/commit/08356192c57fb238f28e3915aac2bf381ece9701
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/axe/bv-rules-axe.lisp
M books/kestrel/axe/defthm-axe.lisp
M books/kestrel/axe/jvm/lifter-utilities.lisp
M books/kestrel/axe/jvm/lifter-utilities2.lisp
M books/kestrel/axe/jvm/lifter.lisp
M books/kestrel/axe/jvm/lifter2.lisp
M books/kestrel/axe/jvm/rule-lists-jvm.lisp
M books/kestrel/axe/jvm/symbolic-execution-rules.lisp
M books/kestrel/axe/jvm/unroller2.lisp
M books/kestrel/axe/prove-with-stp.lisp
M books/kestrel/axe/rewriter-common.lisp
M books/kestrel/axe/tactic-prover-tests.lisp
M books/kestrel/jvm/arrays.lisp
M books/kestrel/jvm/arrays0.lisp
M books/kestrel/jvm/call-stacks.lisp
M books/kestrel/jvm/class-file-parser.lisp
M books/kestrel/jvm/class-tables.lisp
M books/kestrel/jvm/classes.lisp
M books/kestrel/jvm/events-for-class.lisp
M books/kestrel/jvm/execution.lisp
M books/kestrel/jvm/fields.lisp
M books/kestrel/jvm/floats.lisp
M books/kestrel/jvm/floats2.lisp
M books/kestrel/jvm/get-method-info.lisp
M books/kestrel/jvm/instructions.lisp
M books/kestrel/jvm/int-subtypes.lisp
M books/kestrel/jvm/intern-table.lisp
M books/kestrel/jvm/jvm-facts.lisp
M books/kestrel/jvm/jvm-facts0.lisp
M books/kestrel/jvm/jvm-rules.lisp
M books/kestrel/jvm/jvm.lisp
M books/kestrel/jvm/method-indicators.lisp
M books/kestrel/jvm/methods.lisp
M books/kestrel/jvm/package.lsp
M books/kestrel/jvm/strings.lisp
M books/kestrel/jvm/types.lisp
M books/kestrel/jvm/values.lisp

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


Commit: 06e5f362736ad33a236adc9fd9f27632f0f45943
https://github.com/acl2/acl2/commit/06e5f362736ad33a236adc9fd9f27632f0f45943
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/crypto/interfaces/definterface-hmac.lisp
M books/kestrel/crypto/keccak/keccak.lisp
M books/kestrel/crypto/padding/doc.lisp
M books/kestrel/crypto/sha-2/sha-256.lisp
M books/kestrel/crypto/sha-2/sha-512.lisp

Log Message:
-----------
[crypto] Fix typos found by AI.


Commit: 3fdb51bf681313078cca6bb12421d6b7da4957b7
https://github.com/acl2/acl2/commit/3fdb51bf681313078cca6bb12421d6b7da4957b7
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/error-checking/top.lisp

Log Message:
-----------
[error-checking] Fix doc typo.


Commit: 49db623a1b501c283f3096e507459d220acd14f2
https://github.com/acl2/acl2/commit/49db623a1b501c283f3096e507459d220acd14f2
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/crypto/keccak/keccak.lisp
M books/kestrel/crypto/primes/nist-p-256-base-prime.lisp
M books/kestrel/crypto/primes/nist-p-256-group-prime.lisp
M books/kestrel/crypto/r1cs/dense/r1cs.lisp
M books/kestrel/crypto/r1cs/sparse/doc.lisp
M books/kestrel/crypto/r1cs/sparse/r1cs.lisp
M books/kestrel/crypto/sha-2/sha-256.lisp

Log Message:
-----------
[crypto] Improvements based on AI review.


Commit: 7c9c09ea880d653b93e2231bbd993ac53985347d
https://github.com/acl2/acl2/commit/7c9c09ea880d653b93e2231bbd993ac53985347d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/external-preprocessing.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/output-files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp

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


Commit: 0fd1ffd10aa88c5170e14767fcb1da809d8a8889
https://github.com/acl2/acl2/commit/0fd1ffd10aa88c5170e14767fcb1da809d8a8889
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:
M books/kestrel/arrays-2d/arrays-2d.lisp
M books/kestrel/axe/equivalence-checker.lisp
M books/kestrel/axe/prove-equal-with-axe-tests.lisp
M books/kestrel/axe/unroll-spec.lisp
M books/kestrel/axe/x86/tester-code-only.lisp

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


Commit: ff545d126d4bf276d5b98cd2959e4a63d1c5f0f9
https://github.com/acl2/acl2/commit/ff545d126d4bf276d5b98cd2959e4a63d1c5f0f9
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:
M books/kestrel/crypto/kdf/doc.lisp

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


Commit: 9272b596e6c0c6c1e9489767cec936c17ca09279
https://github.com/acl2/acl2/commit/9272b596e6c0c6c1e9489767cec936c17ca09279
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:
M books/kestrel/fty/defbyte.lisp
M books/kestrel/fty/deflist-of-len.lisp
M books/kestrel/fty/defresult.lisp

Log Message:
-----------
[FTY] Fix doc typos.


Commit: 5cb794dec64add0c1de5cb02ee20c02b575f1d69
https://github.com/acl2/acl2/commit/5cb794dec64add0c1de5cb02ee20c02b575f1d69
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/kestrel/hdwallet/README.md
M books/kestrel/hdwallet/wallet-executable.lisp
M books/kestrel/hdwallet/wallet.lisp

Log Message:
-----------
[HD wallet] Fix doc typos.


Commit: 67f79981df8045171f6f98df4448227599894ce4
https://github.com/acl2/acl2/commit/67f79981df8045171f6f98df4448227599894ce4
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/doc/relnotes.lisp
M books/kestrel/c/atc/function-and-loop-generation.lisp
M books/kestrel/c/atc/let-designations.lisp
M books/kestrel/c/language/character-sets.lisp
M books/kestrel/c/language/pointer-operations.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/grammar-operations.lisp
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/hash-conditional-evaluation.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocessor-reader.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/preservable-inclusions.lisp
M books/kestrel/c/syntax/tests/disambiguator-trans-units.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/token-concatenation.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn.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/collect-idents.lisp
M books/projects/abnf/grammar-definer/deftreeops.lisp
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/machine/catalogue-doc.lisp
M books/projects/x86isa/machine/inst-doc.lisp

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


Commit: 07bd1689faef9e918893c76f6a11ab84e10e9579
https://github.com/acl2/acl2/commit/07bd1689faef9e918893c76f6a11ab84e10e9579
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/kestrel/helpers/advice-implementation.lisp
M books/kestrel/helpers/deps.lisp
M books/kestrel/helpers/improve-book-implementation.lisp
M books/kestrel/helpers/linter.lisp
M books/kestrel/helpers/model-enable.lisp
M books/kestrel/helpers/model-history.lisp
M books/kestrel/helpers/speed-up-implementation.lisp

Log Message:
-----------
[helpers] Fix issues found by AI.


Commit: 18a070492d9ba0fe34ec6b9579c43626a25f4439
https://github.com/acl2/acl2/commit/18a070492d9ba0fe34ec6b9579c43626a25f4439
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/kestrel/axe/jvm/axe-syntax-functions-jvm.lisp
M books/kestrel/axe/jvm/tester.lisp
M books/kestrel/executable-parsers/parse-mach-o-file.lisp
M books/kestrel/executable-parsers/parse-pe-file.lisp
A books/kestrel/jvm/bindings.lisp
M books/kestrel/jvm/class-file-parser.lisp
M books/kestrel/jvm/execution-common.lisp
M books/kestrel/jvm/execution.lisp
M books/kestrel/jvm/execution2.lisp
M books/kestrel/jvm/frames.lisp
M books/kestrel/jvm/instructions.lisp
M books/kestrel/jvm/intern-table.lisp
M books/kestrel/jvm/java-types.lisp
M books/kestrel/jvm/jvm-facts.lisp
M books/kestrel/jvm/jvm-facts0.lisp
M books/kestrel/jvm/jvm.lisp
M books/kestrel/jvm/methods.lisp
M books/kestrel/jvm/package.lsp
M books/kestrel/jvm/pc-designators.lisp
M books/kestrel/jvm/read-and-parse-class-file.lisp
M books/kestrel/jvm/read-class-from-hierarchy.lisp
M books/kestrel/jvm/read-class.lisp
M books/kestrel/jvm/read-jar.lisp
A books/kestrel/jvm/states.lisp
A books/kestrel/jvm/string-encoding.lisp
M books/kestrel/jvm/strings.lisp
M books/kestrel/jvm/symbolic-execution.lisp
M books/kestrel/jvm/symbolic-execution2.lisp
A books/kestrel/jvm/th.lisp
M books/kestrel/jvm/top.lisp
M books/kestrel/typed-lists-light/map-code-char.lisp
M books/kestrel/unicode-light/code-point-to-utf-8-chars.lisp

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


Commit: 6d946f28a79207e2a73c857764ca0046c32ca661
https://github.com/acl2/acl2/commit/6d946f28a79207e2a73c857764ca0046c32ca661
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-14 (Tue, 14 Apr 2026)

Changed paths:
M books/kestrel/c/syntax/concrete-syntax.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/preprocessor-lexer.lisp
A books/kestrel/c/syntax/tests/disamb-example2/guarded-included.h
A books/kestrel/c/syntax/tests/disamb-example2/including.c
A books/kestrel/c/syntax/tests/disamb-example2/including1.c
A books/kestrel/c/syntax/tests/disamb-example2/including2.c
M books/kestrel/c/syntax/tests/disambiguator-trans-ensembles.lisp
M books/kestrel/c/syntax/top.lisp
A books/kestrel/c/syntax/translation-unit-comparison.lisp
M books/kestrel/fty/database.lisp
M books/kestrel/fty/deffold-map.lisp
M books/kestrel/fty/defresult.lisp
M books/kestrel/fty/dependencies.lisp
M books/kestrel/fty/nat-natlist-result.lisp
A books/kestrel/remora/abstract-syntax-constructors.lisp
A books/kestrel/remora/abstract-syntax-derived-fixtypes.lisp
A books/kestrel/remora/abstract-syntax-matching-operations.lisp
A books/kestrel/remora/abstract-syntax-structural-operations.lisp
A books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/abstract-syntax.lisp
A books/kestrel/remora/index-equivalence.lisp
M books/kestrel/remora/package.lsp
A books/kestrel/remora/static-semantics.lisp
M books/kestrel/remora/top.lisp
A books/kestrel/remora/type-checking.lisp
A books/kestrel/remora/type-equivalence.lisp
M books/quicklisp/top.lisp

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


Commit: 878723d2a0b5b722b5e405b9f0798b6d10678d9b
https://github.com/acl2/acl2/commit/878723d2a0b5b722b5e405b9f0798b6d10678d9b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-14 (Tue, 14 Apr 2026)

Changed paths:
M books/kestrel/hints/combine-hints.lisp
M books/kestrel/hints/remove-hints.lisp

Log Message:
-----------
[hints] Small improvemenets from AI review.


Commit: 207f9b731a5733d45b64f58c805e33ee434850cf
https://github.com/acl2/acl2/commit/207f9b731a5733d45b64f58c805e33ee434850cf
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-14 (Tue, 14 Apr 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-operations.lisp
M books/kestrel/c/syntax/compilation-db.lisp
A books/kestrel/c/syntax/evaluation.lisp
M books/kestrel/c/syntax/infer-ienv.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/output-files.lisp
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/tests/compilation-db.lisp
M books/kestrel/c/syntax/tests/lexer.lisp
M books/kestrel/c/syntax/tests/parser-states.lisp
M books/kestrel/c/syntax/tests/parser.lisp
M books/kestrel/c/syntax/tests/preprocess-file.lisp
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/tests/reader.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/validator.lisp

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


Commit: 70babd903df6298b6e87a924e2f0a41e1b6ea0e3
https://github.com/acl2/acl2/commit/70babd903df6298b6e87a924e2f0a41e1b6ea0e3
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/hash-conditional-evaluation.lisp
M books/kestrel/c/syntax/macro-tables.lisp
M books/kestrel/c/syntax/preprocessor-evaluator.lisp
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-lexer.lisp
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/token-concatenation.lisp
M books/kestrel/c/syntax/validator.lisp

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


Commit: e78c32e05270a318b73fa0e9646502ac9cb71070
https://github.com/acl2/acl2/commit/e78c32e05270a318b73fa0e9646502ac9cb71070
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-16 (Thu, 16 Apr 2026)

Changed paths:
A books/kestrel/c/examples/strcpy-safe-induction.lisp
M books/kestrel/c/examples/strcpy-safe.lisp
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp
M books/kestrel/utilities/osets.lisp
M books/projects/pfcs/lifting.lisp
M books/projects/pfcs/package.lsp
M books/projects/rac/src/program/parser/ast/statements.cpp
M books/projects/rac/src/program/parser/ast/statements.h
M books/projects/rac/src/program/parser/ast/types.cpp
M books/projects/rac/src/program/parser/ast/types.h
M books/projects/rac/src/program/sexpressions.h
M books/projects/rac/tests/yaml_test/data_types/basic.yml
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp-partial.cpp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp-partial.cpp.ref.ast.lsp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp.cpp
A books/projects/rac/tests/yaml_test/data_types/mv-with-tmp.cpp.ref.ast.lsp
A books/projects/rac/tests/yaml_test/data_types/return-mv-type-cast.cpp
A books/projects/rac/tests/yaml_test/data_types/return-mv-type-cast.cpp.ref.ast.lsp
M books/projects/rac/tests/yaml_test/program_structure/basics.yml
M books/projects/rac/tests/yaml_test/program_structure/empty.ref.stderr
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bcd.lisp
A books/std/system/current-package-plus.lisp
M books/std/system/top.lisp

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


Commit: 9069ae2f051f5636f589a464fa0256993f3aecf5
https://github.com/acl2/acl2/commit/9069ae2f051f5636f589a464fa0256993f3aecf5
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-16 (Thu, 16 Apr 2026)

Changed paths:
M books/kestrel/isar/defisar-doc.lisp
M books/kestrel/isar/defisar.lisp
M books/kestrel/isar/top.lisp

Log Message:
-----------
[isar] Fix doc typos.


Commit: 3e4763e4f2d26df379680cd8e2a8cbf73dcc7689
https://github.com/acl2/acl2/commit/3e4763e4f2d26df379680cd8e2a8cbf73dcc7689
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-17 (Fri, 17 Apr 2026)

Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/grammar.lisp

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


Compare: https://github.com/acl2/acl2/compare/a02920a1cc1f...3e4763e4f2d2

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

[acl2buildserver]

Branch: refs/heads/master

Commit: af286239685c7f544fa165736fa12709d66febea
https://github.com/acl2/acl2/commit/af286239685c7f544fa165736fa12709d66febea
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-04-17 (Fri, 17 Apr 2026)

Changed paths:

M books/kestrel/bitcoin/base58.lisp
M books/kestrel/bitcoin/bech32.lisp
M books/kestrel/bitcoin/bip32.lisp
M books/kestrel/bitcoin/bip39.lisp

M books/kestrel/booleans/booland.lisp
M books/kestrel/booleans/booleans2.lisp
M books/kestrel/booleans/boolor.lisp
M books/kestrel/booleans/boolxor.lisp

M books/kestrel/built-ins/collect.lisp
M books/kestrel/bv-arrays/bv-array-clear-range.lisp
M books/kestrel/bv-arrays/bv-array-if.lisp

M books/kestrel/bv-lists/bits-and-bytes-inversions.lisp
M books/kestrel/bv-lists/bytes-to-bits-little.lisp
M books/kestrel/bv-lists/map-bvplus-val.lisp

M books/kestrel/bv/bitand.lisp
M books/kestrel/bv/bitor.lisp
M books/kestrel/bv/bitxor.lisp
M books/kestrel/bv/bvcount.lisp
M books/kestrel/bv/leftrotate.lisp
M books/kestrel/bv/logext.lisp
M books/kestrel/bv/logtail.lisp
M books/kestrel/bv/rotate.lisp
M books/kestrel/bv/rules10.lisp
M books/kestrel/bv/rules9.lisp

M books/kestrel/bv/sbvlt-rules.lisp
M books/kestrel/bv/slice2.lisp

M books/kestrel/crypto/interfaces/definterface-hmac.lisp
M books/kestrel/crypto/keccak/keccak.lisp
M books/kestrel/crypto/padding/doc.lisp

M books/kestrel/crypto/primes/nist-p-256-base-prime.lisp
M books/kestrel/crypto/primes/nist-p-256-group-prime.lisp
M books/kestrel/crypto/r1cs/dense/r1cs.lisp
M books/kestrel/crypto/r1cs/sparse/doc.lisp
M books/kestrel/crypto/r1cs/sparse/r1cs.lisp
M books/kestrel/crypto/sha-2/sha-256.lisp

M books/kestrel/crypto/sha-2/sha-512.lisp
M books/kestrel/error-checking/top.lisp

M books/kestrel/fty/defbyte.lisp
M books/kestrel/fty/deflist-of-len.lisp
M books/kestrel/fty/defresult.lisp

M books/kestrel/hdwallet/README.md
M books/kestrel/hdwallet/wallet-executable.lisp
M books/kestrel/hdwallet/wallet.lisp

M books/kestrel/helpers/advice-implementation.lisp
M books/kestrel/helpers/deps.lisp
M books/kestrel/helpers/improve-book-implementation.lisp
M books/kestrel/helpers/linter.lisp
M books/kestrel/helpers/model-enable.lisp
M books/kestrel/helpers/model-history.lisp
M books/kestrel/helpers/speed-up-implementation.lisp

M books/kestrel/hints/combine-hints.lisp
M books/kestrel/hints/remove-hints.lisp

M books/kestrel/isar/defisar-doc.lisp
M books/kestrel/isar/defisar.lisp
M books/kestrel/isar/top.lisp

M books/kestrel/prime-fields/rules2.lisp

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

Merge commit '3e4763e4f2d26df379680cd8e2a8cbf73dcc7689' into HEAD


Compare: https://github.com/acl2/acl2/compare/28532a00316f...af286239685c

[acl2buildserver]

Branch: refs/heads/testing