[acl2/acl2] 20a962: [utilities] Update comment.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 20a96249ae9d64e06a7e62dc4f3055a72aa1c717
https://github.com/acl2/acl2/commit/20a96249ae9d64e06a7e62dc4f3055a72aa1c717
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-22 (Wed, 22 Jul 2026)

Changed paths:
M books/kestrel/utilities/ld-history.lisp

Log Message:
-----------
[utilities] Update comment.


Commit: 38516e629135c93a326c032d3ff9a523847f1adb
https://github.com/acl2/acl2/commit/38516e629135c93a326c032d3ff9a523847f1adb
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
M axioms.lisp
A books/kestrel/fty/symbol-set-set.lisp
M books/kestrel/fty/top.lisp
M books/kestrel/remora/abstract-syntax-constructors.lisp
M books/kestrel/remora/abstract-syntax-matching-operations.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/abstract-syntax-well-formed.lisp
M books/kestrel/remora/bound-and-free-variable-operations.lisp
M books/kestrel/remora/dimension-equivalence-infrules.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/expression-values-and-environments.lisp
M books/kestrel/remora/monomorphize.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/renaming-evaluation.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/type-equivalence.lisp
M books/kestrel/remora/type-values-and-environments.lisp
M books/kestrel/remora/unique-names.lisp
M books/kestrel/remora/values-to-abstract-syntax.lisp
M books/kestrel/remora/variable-renaming-alpha-operations.lisp
M books/kestrel/remora/variable-renaming-operations.lisp
M books/kestrel/remora/variable-substitution-alpha-operations.lisp
M books/kestrel/remora/variable-substitution-operations.lisp
M books/projects/abnf/notation/semantics.lisp
M books/projects/abnf/tree-operations/subtree-operations.lisp
M books/projects/abnf/tree-operations/top.lisp
M books/std/util/definductive-doc.lisp
M books/std/util/definductive-tests.lisp
M books/std/util/definductive.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M other-events.lisp

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


Commit: fb218277b2d80285a7147abc9e4a4c2a91df908d
https://github.com/acl2/acl2/commit/fb218277b2d80285a7147abc9e4a4c2a91df908d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
M books/kestrel/arithmetic-light/minus.lisp
M books/kestrel/arithmetic-light/numerator.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/remora/abstract-syntax-constructors.lisp
M books/kestrel/remora/abstract-syntax-matching-operations.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/abstract-syntax-well-formed.lisp
M books/kestrel/remora/arithmetic.lisp
M books/kestrel/remora/bound-and-free-variable-operations.lisp
M books/kestrel/remora/desugaring.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/expression-values-and-environments.lisp
M books/kestrel/remora/library-extensions.lisp
M books/kestrel/remora/monomorphize.lisp
A books/kestrel/remora/omaps.lisp
R books/kestrel/remora/oset-omaps.lisp
A books/kestrel/remora/osets.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/renaming-evaluation.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/type-equivalence.lisp
M books/kestrel/remora/type-value-equivalence.lisp
M books/kestrel/remora/type-values-and-environments.lisp
M books/kestrel/remora/unique-names.lisp
M books/kestrel/remora/values-to-abstract-syntax.lisp
M books/kestrel/remora/variable-renaming-alpha-operations.lisp
M books/kestrel/remora/variable-renaming-operations.lisp
M books/kestrel/remora/variable-substitution-alpha-operations.lisp
M books/kestrel/remora/variable-substitution-operations.lisp
M books/std/util/definductive.lisp

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


Commit: b65ddef17c1aeec3c3fc39d32934ec220e975eae
https://github.com/acl2/acl2/commit/b65ddef17c1aeec3c3fc39d32934ec220e975eae
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/array-declarators.c
A books/kestrel/c/transformation/tests/struct-type-split/array-index-effectful.c
A books/kestrel/c/transformation/tests/struct-type-split/array-init-designated.c
A books/kestrel/c/transformation/tests/struct-type-split/array-init-inferred-designated.c
A books/kestrel/c/transformation/tests/struct-type-split/array-init-positional.c
A books/kestrel/c/transformation/tests/struct-type-split/array-initializers.c
A books/kestrel/c/transformation/tests/struct-type-split/array-member-flexible-after-anon.c
A books/kestrel/c/transformation/tests/struct-type-split/array-member-flexible-nested-anon.c
A books/kestrel/c/transformation/tests/struct-type-split/array-member-flexible.c
A books/kestrel/c/transformation/tests/struct-type-split/array-member-sized-typedef.c
A books/kestrel/c/transformation/tests/struct-type-split/array-member.c
A books/kestrel/c/transformation/tests/struct-type-split/array-vla-effectful.c
M books/kestrel/c/transformation/tests/struct-type-split/array.c
A books/kestrel/c/transformation/tests/struct-type-split/partial-init.c
M books/kestrel/c/transformation/tests/struct-type-split/struct-type-split.lisp
M books/std/util/definductive-doc.lisp
M books/std/util/definductive-tests.lisp
M books/std/util/definductive.lisp

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


Commit: 578abc70d30e9776d898cb2b458b5bb579dd918f
https://github.com/acl2/acl2/commit/578abc70d30e9776d898cb2b458b5bb579dd918f
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M books/kestrel/data/treemap/doc.lisp
M books/kestrel/data/treemap/keys.lisp
M books/kestrel/data/treemap/package.lsp
M books/kestrel/data/treemap/values.lisp
M books/kestrel/data/treeset/defs.lisp
A books/kestrel/data/treeset/generic-count.lisp
M books/kestrel/data/treeset/generic-typed.lisp
M books/kestrel/data/treeset/internal/iter.lisp
M books/kestrel/data/treeset/internal/tree.lisp
M books/kestrel/data/treeset/iter.lisp
M books/kestrel/data/treeset/package.lsp
M books/kestrel/data/treeset/top.lisp
A books/kestrel/fty/symbol-set-list-list.lisp
A books/kestrel/fty/symbol-set-list.lisp
M books/kestrel/fty/top.lisp
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/bound-and-free-variable-operations.lisp
M books/kestrel/remora/desugaring.lisp
M books/kestrel/remora/dimension-equivalence-infrules.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/expression-values-and-environments.lisp
M books/kestrel/remora/frame-flattening.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/lists.lisp
M books/kestrel/remora/primitives-evaluation-polymorphic-tests.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/renaming-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/type-value-equivalence.lisp
M books/kestrel/remora/type-values-and-environments.lisp
M books/kestrel/remora/values-to-abstract-syntax.lisp
M books/kestrel/remora/variable-renaming-alpha-operations.lisp
M books/kestrel/remora/variable-renaming-operations.lisp
M books/kestrel/remora/variable-substitution-alpha-operations.lisp
M books/kestrel/remora/variable-substitution-operations.lisp
M books/projects/fields/README
M books/projects/fields/embeddings.lisp
M books/projects/fields/extensions.lisp
M books/projects/fields/galois.lisp
A books/projects/fields/polynomials.lisp
M books/projects/fields/support/embeddings.lisp
M books/projects/fields/support/galois.lisp
A books/projects/fields/vectors.lisp
M books/projects/linear/field.lisp
M books/projects/linear/ring.lisp
M books/projects/linear/support/field.lisp
M books/projects/linear/support/ring.lisp
M books/projects/linear/support/vectors.lisp
M books/projects/linear/vectors.lisp
M books/std/util/definductive.lisp

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


Commit: 54521946294d8b52a92fba0ef9a219c4a4c9f1b9
https://github.com/acl2/acl2/commit/54521946294d8b52a92fba0ef9a219c4a4c9f1b9
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M axioms.lisp
M books/demos/brr-free-variables-log.txt
M books/doc/relnotes.lisp
M books/kestrel/file-io-light/channels.lisp
M books/kestrel/file-io-light/close-output-channel.lisp
M books/kestrel/file-io-light/open-channels-p.lisp
M books/kestrel/file-io-light/read-byte-dollar.lisp
M books/kestrel/file-io-light/read-char-dollar.lisp
M books/kestrel/file-io-light/read-object.lisp
A books/kestrel/fty/set-list.lisp
M books/kestrel/fty/symbol-set-list-list.lisp
M books/kestrel/fty/symbol-set-list.lisp
M books/kestrel/fty/top.lisp
A books/kestrel/utilities/bind-to-bool.lisp
M books/kestrel/utilities/state.lisp
M books/kestrel/utilities/top.lisp
M books/std/io/base.lisp
M books/std/util/definductive.lisp
M books/system/doc/acl2-doc.lisp
M books/system/update-state.lisp
M books/tools/with-supporters.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html

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


Compare: https://github.com/acl2/acl2/compare/bc5fb9635891...54521946294d

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