[acl2/acl2] 2741c2: [arrays-2d] Improve as suggested by AI.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 2741c23792210d2dc64683f5f2c3e5114ae4c6a5
https://github.com/acl2/acl2/commit/2741c23792210d2dc64683f5f2c3e5114ae4c6a5
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)

Changed paths:
M books/kestrel/arrays-2d/arrays-2d.lisp

Log Message:
-----------
[arrays-2d] Improve as suggested by AI.


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

Changed paths:
M books/kestrel/apt/isodata-tests.lisp
M books/kestrel/apt/restrict-tests.lisp
M books/kestrel/apt/schemalg-divconq-list-0-1-2-doc.lisp
M books/kestrel/apt/schemalg-divconq-list-0-1-doc.lisp
M books/kestrel/apt/simplify-term-doc.lisp
M books/kestrel/arithmetic-light/floor2.lisp
M books/kestrel/arithmetic-light/log2.lisp
M books/kestrel/arithmetic-light/mod.lisp
M books/kestrel/jvm/class-file-parser.lisp
M books/kestrel/jvm/control-flow.lisp
M books/kestrel/jvm/doc.lisp
M books/kestrel/jvm/instructions.lisp
M books/kestrel/jvm/jvm.lisp

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


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

Changed paths:
M books/kestrel/c/language/implementation-environments/bool-formats.lisp
M books/kestrel/c/language/implementation-environments/dialects.lisp
M books/kestrel/c/language/implementation-environments/integer-format-templates.lisp
M books/kestrel/c/language/implementation-environments/integer-formats.lisp
M books/kestrel/c/language/implementation-environments/schar-formats.lisp
M books/kestrel/c/language/implementation-environments/top.lisp
M books/kestrel/c/language/implementation-environments/uchar-formats.lisp
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstraction-mapping.lisp
M books/kestrel/c/syntax/concrete-syntax.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/file-paths.lisp
M books/kestrel/c/syntax/files.lisp
A books/kestrel/c/syntax/grammar-operations.lisp
M books/kestrel/c/syntax/implementation-environments.lisp
M books/kestrel/c/syntax/output-files.lisp
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/positions.lisp
M books/kestrel/c/syntax/tests/disambiguator.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/tests/call-graph/call-graph.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/wrap-fn.lisp

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


Commit: fb610da8fc3414def8959887860284a8ec11b7dc
https://github.com/acl2/acl2/commit/fb610da8fc3414def8959887860284a8ec11b7dc
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 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
A books/kestrel/strings-light/downcase-tests.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: a4109e7dfd56632a0230ffde4dd6baa9a290a9f3
https://github.com/acl2/acl2/commit/a4109e7dfd56632a0230ffde4dd6baa9a290a9f3
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
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:
-----------
[axe] Clean up a bit.


Commit: bfa9693f2dab18a5c8365979df58228e3ccf2c1c
https://github.com/acl2/acl2/commit/bfa9693f2dab18a5c8365979df58228e3ccf2c1c
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: 26166d08273417f56262a2b5f36191fa0dcee219
https://github.com/acl2/acl2/commit/26166d08273417f56262a2b5f36191fa0dcee219
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.


Compare: https://github.com/acl2/acl2/compare/532931e28e36...26166d082734

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

[acl2buildserver]

Branch: refs/heads/master

Commit: a3a84012ab7ae713d94ab6a259affebed5514ac8
https://github.com/acl2/acl2/commit/a3a84012ab7ae713d94ab6a259affebed5514ac8
Author: ACL2 Build Server <acl2bui...@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 '26166d08273417f56262a2b5f36191fa0dcee219' into HEAD


Compare: https://github.com/acl2/acl2/compare/d152ab7bda3c...a3a84012ab7a

[acl2buildserver]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-user-01

Commit: 6a74d3959cf03f3b5834bee25ee1a57458c59993
https://github.com/acl2/acl2/commit/6a74d3959cf03f3b5834bee25ee1a57458c59993
Author: Eric McCarthy <bend...@gmail.com>

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

Changed paths:

M books/kestrel/crypto/kdf/doc.lisp

Log Message:
-----------
[crypto] fix typo in comment


Commit: bcd777d9a105ca652d98cab569b7cc5441ac7d38
https://github.com/acl2/acl2/commit/bcd777d9a105ca652d98cab569b7cc5441ac7d38

Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:

M books/kestrel/crypto/kdf/doc.lisp

Log Message:
-----------
Merge commit '6a74d3959cf03f3b5834bee25ee1a57458c59993' into HEAD


Commit: 6c9ad77fcc9dc3b766edb004b0839feaaa283877
https://github.com/acl2/acl2/commit/6c9ad77fcc9dc3b766edb004b0839feaaa283877
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp

Log Message:
-----------
[X86ISA] Rename doc topic.


Commit: 916bf4e78fab6d3847fbfc3e8c37fe4769669e2e
https://github.com/acl2/acl2/commit/916bf4e78fab6d3847fbfc3e8c37fe4769669e2e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[X86ISA] Update refs in release notes.


Commit: f4b32336191054e35a80671d4b2d649a39b2d1d4
https://github.com/acl2/acl2/commit/f4b32336191054e35a80671d4b2d649a39b2d1d4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp

Log Message:
-----------
[X86ISA] Adjust instruction set summary parent.


Commit: 05b8a0b8ef7526f6d5505fba0a33a70abb581e50
https://github.com/acl2/acl2/commit/05b8a0b8ef7526f6d5505fba0a33a70abb581e50
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp

Log Message:
-----------
[X86ISA] Rename a doc topic.


Commit: e9b558bfa16eb2a475e49b10ad83c3b140c209c1
https://github.com/acl2/acl2/commit/e9b558bfa16eb2a475e49b10ad83c3b140c209c1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/machine/inst-doc.lisp

Log Message:
-----------
[X86ISA] Make new isntruction listings more prominent.


Commit: f61ca94a54d34759e6ead4ba73bb5832a8b6ac4c
https://github.com/acl2/acl2/commit/f61ca94a54d34759e6ead4ba73bb5832a8b6ac4c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[X86ISA] Update links in book release notes.


Commit: ed614520a7693d8ddd9346b4e2e765185f6656d0
https://github.com/acl2/acl2/commit/ed614520a7693d8ddd9346b4e2e765185f6656d0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/inst-doc.lisp

Log Message:
-----------
[X86ISA] Fix XML.


Compare: https://github.com/acl2/acl2/compare/d152ab7bda3c...ed614520a769