[acl2/acl2] 4b184a: merge

[russinoff]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 4b184ad520371bfc4c3bb02499898a53f4cc240c
https://github.com/acl2/acl2/commit/4b184ad520371bfc4c3bb02499898a53f4cc240c
Author: David Russinoff <da...@russinoff.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M books/std/util/definductive-doc.lisp
M books/std/util/definductive-tests.lisp
M books/std/util/definductive.lisp

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


Commit: c2b5f1278ac2ced5a7b5679b128807bd01f82ebe
https://github.com/acl2/acl2/commit/c2b5f1278ac2ced5a7b5679b128807bd01f82ebe
Author: David Russinoff <da...@russinoff.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M books/projects/fields/embeddings.lisp
M books/projects/fields/support/embeddings.lisp

Log Message:
-----------
Defined inverse embedding


Commit: a20ec9a94780982cc48fc875c447fa3b9b8101d1
https://github.com/acl2/acl2/commit/a20ec9a94780982cc48fc875c447fa3b9b8101d1
Author: David Russinoff <da...@russinoff.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:

Log Message:
-----------
“merge”


Commit: 9230f610e8176bef5e8b7519df0a335310b335f9
https://github.com/acl2/acl2/commit/9230f610e8176bef5e8b7519df0a335310b335f9
Author: David Russinoff <da...@russinoff.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/remora/expression-values-and-environments.lisp
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/static-environments.lisp

Log Message:
-----------
“merge”


Compare: https://github.com/acl2/acl2/compare/4f41c9f07359...9230f610e817

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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 4b184ad520371bfc4c3bb02499898a53f4cc240c
https://github.com/acl2/acl2/commit/4b184ad520371bfc4c3bb02499898a53f4cc240c
Author: David Russinoff <da...@russinoff.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M books/std/util/definductive-doc.lisp
M books/std/util/definductive-tests.lisp
M books/std/util/definductive.lisp

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


Commit: c2b5f1278ac2ced5a7b5679b128807bd01f82ebe
https://github.com/acl2/acl2/commit/c2b5f1278ac2ced5a7b5679b128807bd01f82ebe
Author: David Russinoff <da...@russinoff.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M books/projects/fields/embeddings.lisp
M books/projects/fields/support/embeddings.lisp

Log Message:
-----------
Defined inverse embedding

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

Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/remora/expression-values-and-environments.lisp
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/static-environments.lisp

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

Merge commit '6a464d57c695a911e59ccd6c748fcd04bda09065' into HEAD

Commit: a20ec9a94780982cc48fc875c447fa3b9b8101d1
https://github.com/acl2/acl2/commit/a20ec9a94780982cc48fc875c447fa3b9b8101d1
Author: David Russinoff <da...@russinoff.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:

Log Message:
-----------
“merge”


Commit: 9230f610e8176bef5e8b7519df0a335310b335f9
https://github.com/acl2/acl2/commit/9230f610e8176bef5e8b7519df0a335310b335f9
Author: David Russinoff <da...@russinoff.com>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/remora/expression-values-and-environments.lisp
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/static-environments.lisp

Log Message:
-----------
“merge”

Commit: 98383ead4d64968fa0e2645c4223257c39d5eff3
https://github.com/acl2/acl2/commit/98383ead4d64968fa0e2645c4223257c39d5eff3
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-25 (Sat, 25 Jul 2026)

Changed paths:
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/evaluation.lisp
M books/kestrel/remora/expression-values-and-environments.lisp
M books/kestrel/remora/frame-flattening.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/type-value-equivalence.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 '127036a730484d24d097aa2f5b78fa8c4c01f265' into HEAD


Compare: https://github.com/acl2/acl2/compare/127036a73048...98383ead4d64