[acl2/acl2] 019585: [C$] Keep to 80 columns.
0 views
Skip to first unread message
acl2buildserver
4:45 AM (14 hours ago) 4:45 AM
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 0195851704745971cfef8387172a2fa461c6fa88
https://github.com/acl2/acl2/commit/0195851704745971cfef8387172a2fa461c6fa88
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-23 (Tue, 23 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[C$] Keep to 80 columns.
Commit: 9b8be5833795f184e6f4d4b5a89378c6b54b9f44
https://github.com/acl2/acl2/commit/9b8be5833795f184e6f4d4b5a89378c6b54b9f44
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-23 (Tue, 23 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
Log Message:
-----------
[C$] Export more symbols.
Commit: 6848e2c6c42df05614045a2492f5a865654f1a9b
https://github.com/acl2/acl2/commit/6848e2c6c42df05614045a2492f5a865654f1a9b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-23 (Tue, 23 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Improve doc and code.
Commit: b80c81a4e83c26ff84cd3d4f32a5b46db609f153
https://github.com/acl2/acl2/commit/b80c81a4e83c26ff84cd3d4f32a5b46db609f153
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-23 (Tue, 23 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[C$] Fix doc typos.
Commit: d4fea1c2234ed7518abdaa06cc922bc53991d44c
https://github.com/acl2/acl2/commit/d4fea1c2234ed7518abdaa06cc922bc53991d44c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)
Changed paths:
M books/kestrel/arithmetic-light/times.lisp
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/prove-with-stp.lisp
M books/kestrel/axe/rules3.lisp
M books/kestrel/axe/unguarded-defuns.lisp
M books/kestrel/bv/bvminus.lisp
M books/kestrel/bv/bvuminus.lisp
M books/kestrel/bv/leftrotate.lisp
M books/kestrel/bv/leftrotate32.lisp
M books/kestrel/bv/rules.lisp
M books/kestrel/bv/sbvlt.lisp
M books/kestrel/c/syntax/null-pointer-constants.lisp
M books/kestrel/c/syntax/types-formal-subset-and-mapping.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/crypto/sha-3/sha-3.lisp
M books/kestrel/remora/abstract-syntax-derived-fixtypes.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/abstract-syntax-well-formed.lisp
M books/kestrel/remora/desugaring.lisp
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/extra-grammatical-restrictions.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/values.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/kestrel/x86/alt-defs.lisp
M books/projects/abnf/notation/semantics.lisp
A books/projects/abnf/tree-operations/acl2-customization.lsp
A books/projects/abnf/tree-operations/subtree-operations.lisp
M books/projects/abnf/tree-operations/top.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bit.lisp
M books/projects/x86isa/machine/instructions/fp/logical.lisp
M books/projects/x86isa/machine/instructions/pshift.lisp
M books/projects/x86isa/machine/instructions/rotate-and-shift.lisp
M books/projects/x86isa/machine/instructions/rotates-spec.lisp
Log Message:
-----------
Merge.
Commit: 0a24a658f963909ab518d839520b2567310fc05d
https://github.com/acl2/acl2/commit/0a24a658f963909ab518d839520b2567310fc05d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-operations.lisp
A books/kestrel/c/syntax/tests/types-to-tynames.lisp
M books/kestrel/c/syntax/top.lisp
A books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/context-msg.lisp
M books/kestrel/c/transformation/utilities/print-to-str.lisp
Log Message:
-----------
Merge.
Commit: 745d3bdbb7f2d9b1a62f3311c21853f9c237d37a
https://github.com/acl2/acl2/commit/745d3bdbb7f2d9b1a62f3311c21853f9c237d37a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[C$] Improve a function name.
Commit: b4168021284af946e1ab0ea07faaee9215cb0202
https://github.com/acl2/acl2/commit/b4168021284af946e1ab0ea07faaee9215cb0202
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Stop at translation units.
Update and improve some doc.
Commit: c2eb93766a07e53803dbc24c79791db9632a83dc
https://github.com/acl2/acl2/commit/c2eb93766a07e53803dbc24c79791db9632a83dc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/fty/string-string-map.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/bound-and-free-variable-operations.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/type-checking.lisp
A books/kestrel/remora/variable-renaming-alpha-operations.lisp
M books/kestrel/remora/variable-substitution-alpha-operations.lisp
Log Message:
-----------
Merge.
Commit: 2a1f0d4b5dde370e0f7beb4b791c8e18d379b90d
https://github.com/acl2/acl2/commit/2a1f0d4b5dde370e0f7beb4b791c8e18d379b90d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp
A books/kestrel/x86/register-readers-and-writers-8-16.acl2
A books/kestrel/x86/register-readers-and-writers-8-16.lisp
M books/kestrel/x86/register-readers-and-writers32.lisp
M books/kestrel/x86/register-readers-and-writers64.lisp
M books/quicklisp/base-raw.lsp
M books/quicklisp/dexador-raw.lsp
M books/quicklisp/dexador.lisp
M books/quicklisp/top.lisp
M books/quicklisp/update-libs.lsp
A books/quicklisp/usocket-raw.lsp
A books/quicklisp/usocket.lisp
M books/quicklisp/zippy-raw.lsp
M books/quicklisp/zippy.lisp
Log Message:
-----------
Merge.
Commit: 7e10528fbf9c96479dd1e08a56394b0f0b337288
https://github.com/acl2/acl2/commit/7e10528fbf9c96479dd1e08a56394b0f0b337288
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
Log Message:
-----------
[C$] Explain a naming choice.
Commit: 51cba6231454743af0ed8a8c18e76903388a4541
https://github.com/acl2/acl2/commit/51cba6231454743af0ed8a8c18e76903388a4541
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/built-ins.lisp
Log Message:
-----------
[C$] Remote outdated doc.
Commit: 9160df1877e5075ea53f5d6684f4f908cd6d9906
https://github.com/acl2/acl2/commit/9160df1877e5075ea53f5d6684f4f908cd6d9906
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Allow array and member expresions.
Commit: 3ed6c6cf5b537c84033c8de4ce7a10650f44f2dc
https://github.com/acl2/acl2/commit/3ed6c6cf5b537c84033c8de4ce7a10650f44f2dc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Allow most unary expressions.
Commit: 17b1705a46611f727890e1c9e64e0b960b40cbbf
https://github.com/acl2/acl2/commit/17b1705a46611f727890e1c9e64e0b960b40cbbf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/built-ins.lisp
M books/kestrel/c/syntax/disambiguation.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/validation.lisp
Log Message:
-----------
[C$] Improve XDOC hierarchy.
Commit: e99696375852012c2839e4043500b04d897db1f3
https://github.com/acl2/acl2/commit/e99696375852012c2839e4043500b04d897db1f3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Refactor some code.
Commit: a57fab55a90969bda56c432d376c1d85c1d89dac
https://github.com/acl2/acl2/commit/a57fab55a90969bda56c432d376c1d85c1d89dac
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Document a possible extension.
Commit: d389312872ed6f547f79e01aa5ee96afd9660592
https://github.com/acl2/acl2/commit/d389312872ed6f547f79e01aa5ee96afd9660592
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Allow most `sizeof` and `alignof`.
These are the type name variants, not the unary expressions (done in the
previous commit).
Commit: afaa263ff53a624a296e87d29ae72d54f61f6e76
https://github.com/acl2/acl2/commit/afaa263ff53a624a296e87d29ae72d54f61f6e76
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Refine checks on cast expressions.
Commit: 9ae6aec3ffd3f16ef82cb7bf307cfd3022e6e26a
https://github.com/acl2/acl2/commit/9ae6aec3ffd3f16ef82cb7bf307cfd3022e6e26a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Refactor some code.
Commit: c79f10112c9b804717bd996f43f4ec56d2b160bf
https://github.com/acl2/acl2/commit/c79f10112c9b804717bd996f43f4ec56d2b160bf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-derived-fixtypes.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/desugaring.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/values.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
Log Message:
-----------
Merge.
Commit: 7df7a67f2c9859fd498a33233fb98dfe800a718e
https://github.com/acl2/acl2/commit/7df7a67f2c9859fd498a33233fb98dfe800a718e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Document a 'todo'.
Commit: cd07b6014c6c11e8bc7c1d67e0ffa24b52fadee0
https://github.com/acl2/acl2/commit/cd07b6014c6c11e8bc7c1d67e0ffa24b52fadee0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/built-ins.lisp
M books/kestrel/c/syntax/disambiguation.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/validation.lisp
Log Message:
-----------
Merge.
Commit: ecacc1b2fa2ae21770273a72f6c004b9c3d9b666
https://github.com/acl2/acl2/commit/ecacc1b2fa2ae21770273a72f6c004b9c3d9b666
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Refine checks on binary expressions.
Commit: d2ea2ea25d891e4091c04837d56ed9a1df1a3587
https://github.com/acl2/acl2/commit/d2ea2ea25d891e4091c04837d56ed9a1df1a3587
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Factor and refine some checks.
Commit: e06571c716cda47a013301551a13ec753c756c4c
https://github.com/acl2/acl2/commit/e06571c716cda47a013301551a13ec753c756c4c
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/built-ins.lisp
M books/kestrel/c/syntax/disambiguation.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/validation.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
Merge commit 'd2ea2ea25d891e4091c04837d56ed9a1df1a3587' into HEAD
Compare: https://github.com/acl2/acl2/compare/c99ba98e37ce...e06571c716cd
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 0195851704745971cfef8387172a2fa461c6fa88
https://github.com/acl2/acl2/commit/0195851704745971cfef8387172a2fa461c6fa88
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-23 (Tue, 23 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[C$] Keep to 80 columns.
Commit: 9b8be5833795f184e6f4d4b5a89378c6b54b9f44
https://github.com/acl2/acl2/commit/9b8be5833795f184e6f4d4b5a89378c6b54b9f44
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-23 (Tue, 23 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
Log Message:
-----------
[C$] Export more symbols.
Commit: 6848e2c6c42df05614045a2492f5a865654f1a9b
https://github.com/acl2/acl2/commit/6848e2c6c42df05614045a2492f5a865654f1a9b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-23 (Tue, 23 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Improve doc and code.
Commit: b80c81a4e83c26ff84cd3d4f32a5b46db609f153
https://github.com/acl2/acl2/commit/b80c81a4e83c26ff84cd3d4f32a5b46db609f153
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-23 (Tue, 23 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[C$] Fix doc typos.
Commit: d4fea1c2234ed7518abdaa06cc922bc53991d44c
https://github.com/acl2/acl2/commit/d4fea1c2234ed7518abdaa06cc922bc53991d44c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)
Changed paths:
M books/kestrel/arithmetic-light/times.lisp
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/prove-with-stp.lisp
M books/kestrel/axe/rules3.lisp
M books/kestrel/axe/unguarded-defuns.lisp
M books/kestrel/bv/bvminus.lisp
M books/kestrel/bv/bvuminus.lisp
M books/kestrel/bv/leftrotate.lisp
M books/kestrel/bv/leftrotate32.lisp
M books/kestrel/bv/rules.lisp
M books/kestrel/bv/sbvlt.lisp
M books/kestrel/c/syntax/null-pointer-constants.lisp
M books/kestrel/c/syntax/types-formal-subset-and-mapping.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/crypto/sha-3/sha-3.lisp
M books/kestrel/remora/abstract-syntax-derived-fixtypes.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/abstract-syntax-well-formed.lisp
M books/kestrel/remora/desugaring.lisp
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/extra-grammatical-restrictions.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/values.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/kestrel/x86/alt-defs.lisp
M books/projects/abnf/notation/semantics.lisp
A books/projects/abnf/tree-operations/acl2-customization.lsp
A books/projects/abnf/tree-operations/subtree-operations.lisp
M books/projects/abnf/tree-operations/top.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bit.lisp
M books/projects/x86isa/machine/instructions/fp/logical.lisp
M books/projects/x86isa/machine/instructions/pshift.lisp
M books/projects/x86isa/machine/instructions/rotate-and-shift.lisp
M books/projects/x86isa/machine/instructions/rotates-spec.lisp
Log Message:
-----------
Merge.
Commit: 0a24a658f963909ab518d839520b2567310fc05d
https://github.com/acl2/acl2/commit/0a24a658f963909ab518d839520b2567310fc05d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-operations.lisp
A books/kestrel/c/syntax/tests/types-to-tynames.lisp
M books/kestrel/c/syntax/top.lisp
A books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/context-msg.lisp
M books/kestrel/c/transformation/utilities/print-to-str.lisp
Log Message:
-----------
Merge.
Commit: 745d3bdbb7f2d9b1a62f3311c21853f9c237d37a
https://github.com/acl2/acl2/commit/745d3bdbb7f2d9b1a62f3311c21853f9c237d37a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[C$] Improve a function name.
Commit: b4168021284af946e1ab0ea07faaee9215cb0202
https://github.com/acl2/acl2/commit/b4168021284af946e1ab0ea07faaee9215cb0202
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Stop at translation units.
Update and improve some doc.
Commit: c2eb93766a07e53803dbc24c79791db9632a83dc
https://github.com/acl2/acl2/commit/c2eb93766a07e53803dbc24c79791db9632a83dc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/fty/string-string-map.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/bound-and-free-variable-operations.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/type-checking.lisp
A books/kestrel/remora/variable-renaming-alpha-operations.lisp
M books/kestrel/remora/variable-substitution-alpha-operations.lisp
Log Message:
-----------
Merge.
Commit: 2a1f0d4b5dde370e0f7beb4b791c8e18d379b90d
https://github.com/acl2/acl2/commit/2a1f0d4b5dde370e0f7beb4b791c8e18d379b90d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp
A books/kestrel/x86/register-readers-and-writers-8-16.acl2
A books/kestrel/x86/register-readers-and-writers-8-16.lisp
M books/kestrel/x86/register-readers-and-writers32.lisp
M books/kestrel/x86/register-readers-and-writers64.lisp
M books/quicklisp/base-raw.lsp
M books/quicklisp/dexador-raw.lsp
M books/quicklisp/dexador.lisp
M books/quicklisp/top.lisp
M books/quicklisp/update-libs.lsp
A books/quicklisp/usocket-raw.lsp
A books/quicklisp/usocket.lisp
M books/quicklisp/zippy-raw.lsp
M books/quicklisp/zippy.lisp
Log Message:
-----------
Merge.
Commit: 7e10528fbf9c96479dd1e08a56394b0f0b337288
https://github.com/acl2/acl2/commit/7e10528fbf9c96479dd1e08a56394b0f0b337288
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
Log Message:
-----------
[C$] Explain a naming choice.
Commit: 51cba6231454743af0ed8a8c18e76903388a4541
https://github.com/acl2/acl2/commit/51cba6231454743af0ed8a8c18e76903388a4541
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/built-ins.lisp
Log Message:
-----------
[C$] Remote outdated doc.
Commit: 9160df1877e5075ea53f5d6684f4f908cd6d9906
https://github.com/acl2/acl2/commit/9160df1877e5075ea53f5d6684f4f908cd6d9906
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Allow array and member expresions.
Commit: 3ed6c6cf5b537c84033c8de4ce7a10650f44f2dc
https://github.com/acl2/acl2/commit/3ed6c6cf5b537c84033c8de4ce7a10650f44f2dc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Allow most unary expressions.
Commit: 17b1705a46611f727890e1c9e64e0b960b40cbbf
https://github.com/acl2/acl2/commit/17b1705a46611f727890e1c9e64e0b960b40cbbf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/built-ins.lisp
M books/kestrel/c/syntax/disambiguation.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/validation.lisp
Log Message:
-----------
[C$] Improve XDOC hierarchy.
Commit: e99696375852012c2839e4043500b04d897db1f3
https://github.com/acl2/acl2/commit/e99696375852012c2839e4043500b04d897db1f3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Refactor some code.
Commit: a57fab55a90969bda56c432d376c1d85c1d89dac
https://github.com/acl2/acl2/commit/a57fab55a90969bda56c432d376c1d85c1d89dac
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Document a possible extension.
Commit: d389312872ed6f547f79e01aa5ee96afd9660592
https://github.com/acl2/acl2/commit/d389312872ed6f547f79e01aa5ee96afd9660592
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Allow most `sizeof` and `alignof`.
These are the type name variants, not the unary expressions (done in the
previous commit).
Commit: afaa263ff53a624a296e87d29ae72d54f61f6e76
https://github.com/acl2/acl2/commit/afaa263ff53a624a296e87d29ae72d54f61f6e76
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Refine checks on cast expressions.
Commit: 9ae6aec3ffd3f16ef82cb7bf307cfd3022e6e26a
https://github.com/acl2/acl2/commit/9ae6aec3ffd3f16ef82cb7bf307cfd3022e6e26a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Refactor some code.
Commit: c79f10112c9b804717bd996f43f4ec56d2b160bf
https://github.com/acl2/acl2/commit/c79f10112c9b804717bd996f43f4ec56d2b160bf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-derived-fixtypes.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/desugaring.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/values.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
Log Message:
-----------
Merge.
Commit: 7df7a67f2c9859fd498a33233fb98dfe800a718e
https://github.com/acl2/acl2/commit/7df7a67f2c9859fd498a33233fb98dfe800a718e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Document a 'todo'.
Commit: cd07b6014c6c11e8bc7c1d67e0ffa24b52fadee0
https://github.com/acl2/acl2/commit/cd07b6014c6c11e8bc7c1d67e0ffa24b52fadee0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/built-ins.lisp
M books/kestrel/c/syntax/disambiguation.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/validation.lisp
Log Message:
-----------
Merge.
Commit: ecacc1b2fa2ae21770273a72f6c004b9c3d9b666
https://github.com/acl2/acl2/commit/ecacc1b2fa2ae21770273a72f6c004b9c3d9b666
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Refine checks on binary expressions.
Commit: d2ea2ea25d891e4091c04837d56ed9a1df1a3587
https://github.com/acl2/acl2/commit/d2ea2ea25d891e4091c04837d56ed9a1df1a3587
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safety] Factor and refine some checks.
Commit: e06571c716cda47a013301551a13ec753c756c4c
https://github.com/acl2/acl2/commit/e06571c716cda47a013301551a13ec753c756c4c
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/built-ins.lisp
M books/kestrel/c/syntax/disambiguation.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/validation.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
Merge commit 'd2ea2ea25d891e4091c04837d56ed9a1df1a3587' into HEAD
Compare: https://github.com/acl2/acl2/compare/c99ba98e37ce...e06571c716cd
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
acl2buildserver
4:45 AM (14 hours ago) 4:45 AM
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages