[acl2/acl2] 535a7a: [lists-light] Add rule.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 535a7a256dbde98db1678736fb7430c4b9d96326
https://github.com/acl2/acl2/commit/535a7a256dbde98db1678736fb7430c4b9d96326
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M books/kestrel/lists-light/subseq-list.lisp

Log Message:
-----------
[lists-light] Add rule.


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

Changed paths:
M books/kestrel/strings-light/add-prefix-to-strings.lisp
M books/kestrel/strings-light/decimal-digits.lisp
M books/kestrel/strings-light/downcase.lisp
M books/kestrel/strings-light/reverse.lisp
M books/kestrel/strings-light/split-chars.lisp
M books/kestrel/strings-light/split-string-last.lisp
M books/kestrel/strings-light/strcdr.lisp
M books/kestrel/strings-light/strip-prefix-from-string.lisp
M books/kestrel/strings-light/strnthcdr.lisp
M books/kestrel/strings-light/subseq.lisp
M books/kestrel/strings-light/upcase.lisp

Log Message:
-----------
[strings-light] Add various rules.


Commit: 033bd3d6ad759cf5d6d9cd2a5720aea36416ae5d
https://github.com/acl2/acl2/commit/033bd3d6ad759cf5d6d9cd2a5720aea36416ae5d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/lists-light/subseq-list.lisp

Log Message:
-----------
[lights-light] Tweak rule to avoid clash with STD.


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

Changed paths:
M books/kestrel/number-theory/mod.lisp

Log Message:
-----------
[number-theory] Add a rule.


Commit: 8c8fb675e97e006cba6edb6f686b4f15205853c6
https://github.com/acl2/acl2/commit/8c8fb675e97e006cba6edb6f686b4f15205853c6
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/file-io-light/close-input-channel.lisp
M books/kestrel/file-io-light/prin1-dollar.lisp
M books/kestrel/file-io-light/prin1-with-slashes.lisp
M books/kestrel/file-io-light/prin1-with-slashes1.lisp
M books/kestrel/file-io-light/read-objects-from-channel.lisp
M books/kestrel/file-io-light/read-objects-from-file.lisp
M books/kestrel/file-io-light/write-bytes-to-file.lisp
M books/kestrel/file-io-light/write-objects-to-channel.lisp
M books/kestrel/file-io-light/write-strings-to-file-bang.lisp
M books/kestrel/file-io-light/write-strings-to-file.lisp

Log Message:
-----------
[file-io-light] Add various missing rules.


Commit: 353bc6572a32029ff14d53835d84c86708e5155a
https://github.com/acl2/acl2/commit/353bc6572a32029ff14d53835d84c86708e5155a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/axe/unify-term-and-dag-fast-correct.lisp
M books/kestrel/axe/unify-term-and-dag.lisp
M books/kestrel/clause-processors/push-unary-fns-into-lambdas.lisp
M books/kestrel/clause-processors/push-unary-fns.lisp
M books/kestrel/evaluators/defevaluator-theorems.lisp
M books/kestrel/helpers/linter.lisp
M books/kestrel/helpers/model-induct.lisp
M books/kestrel/lists-light/intersection-equal.lisp
M books/kestrel/lists-light/no-duplicatesp-equal.lisp
M books/kestrel/lists-light/remove1-equal.lisp
M books/kestrel/terms-light/arglistp1.lisp
M books/kestrel/terms-light/bound-vars-in-term.lisp
M books/kestrel/terms-light/combine-ifs-in-then-and-else-branches.lisp
M books/kestrel/terms-light/copy-term-proofs.lisp
M books/kestrel/terms-light/drop-trivial-lambdas-proofs.lisp
M books/kestrel/terms-light/drop-trivial-lambdas.lisp
M books/kestrel/terms-light/drop-unused-lambda-bindings-proofs.lisp
M books/kestrel/terms-light/drop-unused-lambda-bindings.lisp
M books/kestrel/terms-light/empty-eval-helpers.lisp
M books/kestrel/terms-light/expand-lambdas-in-term-proofs.lisp
M books/kestrel/terms-light/expand-lambdas-in-term.lisp
M books/kestrel/terms-light/free-vars-in-term.lisp
M books/kestrel/terms-light/function-call-subterms.lisp
M books/kestrel/terms-light/get-conjuncts.lisp
M books/kestrel/terms-light/lambdas-closed-in-termp.lisp
M books/kestrel/terms-light/let-bind-formals-in-calls.lisp
M books/kestrel/terms-light/let-vars-in-term.lisp
M books/kestrel/terms-light/logic-fnsp.lisp
M books/kestrel/terms-light/no-duplicate-lambda-formals-in-termp.lisp
M books/kestrel/terms-light/no-nils-in-termp.lisp
M books/kestrel/terms-light/non-trivial-formals.lisp
M books/kestrel/terms-light/reconstruct-lets-in-term-proofs.lisp
M books/kestrel/terms-light/reconstruct-lets-in-term.lisp
M books/kestrel/terms-light/rename-vars-in-term.lisp
M books/kestrel/terms-light/replace-term-with-term.lisp
M books/kestrel/terms-light/serialize-lambdas-in-term-proofs.lisp
M books/kestrel/terms-light/serialize-lambdas-in-term.lisp
M books/kestrel/terms-light/simple-untranslate-in-term-proofs.lisp
M books/kestrel/terms-light/simplify-ors-proofs.lisp
M books/kestrel/terms-light/simplify-ors.lisp
M books/kestrel/terms-light/sublis-var-and-magic-eval.lisp
M books/kestrel/terms-light/sublis-var-simple-proofs.lisp
M books/kestrel/terms-light/subst-var-alt-proofs.lisp
M books/kestrel/terms-light/subst-var-alt.lisp
M books/kestrel/terms-light/subst-var-deep.lisp
M books/kestrel/terms-light/substitute-constants-in-lambdas-proofs.lisp
M books/kestrel/terms-light/substitute-constants-in-lambdas.lisp
M books/kestrel/terms-light/substitute-lambda-formals.lisp
M books/kestrel/terms-light/substitute-unnecessary-lambda-vars.lisp
M books/kestrel/terms-light/substitute-unnecessary-lambda-vars2-proofs.lisp
M books/kestrel/terms-light/substitute-unnecessary-lambda-vars2.lisp
M books/kestrel/terms-light/termp-simple.lisp
M books/kestrel/utilities/all-vars-in-term-bound-in-alistp.lisp
M books/kestrel/utilities/defopeners.lisp
M books/kestrel/utilities/terms.lisp

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


Compare: https://github.com/acl2/acl2/compare/78dcb9f9b968...353bc6572a32

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