[acl2/acl2] 1d751d: [Remorea] Rename a file.

0 views
Skip to first unread message

Alessandro Coglio

unread,
Jul 28, 2026, 12:50:29 AM (yesterday) Jul 28
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 1d751d9dfa145e90ce9eeb0077c87fb2a7fba3f0
https://github.com/acl2/acl2/commit/1d751d9dfa145e90ce9eeb0077c87fb2a7fba3f0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
R books/kestrel/remora/abstract-syntax-well-formed.lisp
A books/kestrel/remora/abstract-syntax-well-formedness.lisp
M books/kestrel/remora/abstract-syntax.lisp
M books/kestrel/remora/printer.lisp

Log Message:
-----------
[Remorea] Rename a file.


Commit: e811bc2b10f1cac113b3a10167c1f87efde02ecb
https://github.com/acl2/acl2/commit/e811bc2b10f1cac113b3a10167c1f87efde02ecb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/projects/abnf/tree-operations/subtree-operations.lisp

Log Message:
-----------
[ABNF] Add/tweak some tree ops.


Commit: e9552d12728666f999294a2926b2e60fd5eb9714
https://github.com/acl2/acl2/commit/e9552d12728666f999294a2926b2e60fd5eb9714
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-well-formedness.lisp
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
[Remora] Reorder some topics.


Commit: 442a8809986ae04af64ac5887e5ff403a522672c
https://github.com/acl2/acl2/commit/442a8809986ae04af64ac5887e5ff403a522672c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-well-formedness.lisp
M books/kestrel/remora/identifier-syntax.lisp

Log Message:
-----------
[Remora] Shorten some function names.


Commit: 85e8efd17c51605bbd578b3533814cd90b3aa64a
https://github.com/acl2/acl2/commit/85e8efd17c51605bbd578b3533814cd90b3aa64a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-well-formedness.lisp

Log Message:
-----------
[Remora] Update some doc.


Commit: cd621457b7f1c3ea5b6863982e071ffa4bc6e9a2
https://github.com/acl2/acl2/commit/cd621457b7f1c3ea5b6863982e071ffa4bc6e9a2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-well-formedness.lisp

Log Message:
-----------
[Remora] Update AST well-formedness predicates.


Commit: a920db560320c22211f99d70a64d7d850c1010ce
https://github.com/acl2/acl2/commit/a920db560320c22211f99d70a64d7d850c1010ce
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-well-formedness.lisp

Log Message:
-----------
[Remora] Extend the AST wf predicates.


Commit: b759d3869c4afb5d26550096ce2121e9bbf58d2a
https://github.com/acl2/acl2/commit/b759d3869c4afb5d26550096ce2121e9bbf58d2a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-well-formedness.lisp

Log Message:
-----------
[Remora] Fix some wf AST predicates.


Commit: 074940a440ca47154cbb89eaef8ce499422287aa
https://github.com/acl2/acl2/commit/074940a440ca47154cbb89eaef8ce499422287aa
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/check-keywords.lisp

Log Message:
-----------
[Remora] Update some doc.


Commit: 6940dc566408f796434cd29ab29089c8595f3699
https://github.com/acl2/acl2/commit/6940dc566408f796434cd29ab29089c8595f3699
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/abstract-syntax-well-formedness.lisp

Log Message:
-----------
[Remora] Relax a wf AST constraint.


Commit: 603b9780c8457208e32223bea9fd1c94c0f4d359
https://github.com/acl2/acl2/commit/603b9780c8457208e32223bea9fd1c94c0f4d359
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-well-formedness.lisp

Log Message:
-----------
[Remora] Fix some doc.


Commit: 4a97cfec16660cdbceb344eaa1f296d747decb00
https://github.com/acl2/acl2/commit/4a97cfec16660cdbceb344eaa1f296d747decb00
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/projects/abnf/tree-operations/subtree-operations.lisp

Log Message:
-----------
[ABNF] Add a tree operation.


Commit: fefdaaa899744ce213fbc75b646ac765aaae4921
https://github.com/acl2/acl2/commit/fefdaaa899744ce213fbc75b646ac765aaae4921
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/projects/abnf/tree-operations/subtree-operations.lisp

Log Message:
-----------
[ABNF] Update some parents.


Commit: 342d0dbc952343594a51d72d73dbbece9c116f6b
https://github.com/acl2/acl2/commit/342d0dbc952343594a51d72d73dbbece9c116f6b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-well-formedness.lisp

Log Message:
-----------
[Remora] Localize a book inclusion.


Commit: fe8910bb876abbc3fc83ad76d6b4afe119acfd78
https://github.com/acl2/acl2/commit/fe8910bb876abbc3fc83ad76d6b4afe119acfd78
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/projects/abnf/tree-operations/subtree-operations.lisp

Log Message:
-----------
[ABNF] Fix doc typos.


Commit: b51aa1138f8d6f267f3e3098f777b026fa5222ce
https://github.com/acl2/acl2/commit/b51aa1138f8d6f267f3e3098f777b026fa5222ce
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/tests/struct-type-split/struct-type-split.lisp

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


Commit: 0b00a045e17109f26ba645907d7ee9ed01e3abe4
https://github.com/acl2/acl2/commit/0b00a045e17109f26ba645907d7ee9ed01e3abe4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
R books/kestrel/c/syntax/abstract-syntax-symbols.lisp
A books/kestrel/c/syntax/exported-symbols.lisp
M books/kestrel/c/transformation/package.lsp
M books/kestrel/fty/symbol-set-list-list.lisp
M books/projects/filesystems/utilities/cpp-syntax/package.lsp
M books/std/util/definductive.lisp

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


Commit: ccc84b54b651a2bf45ff092654c2d4ad509b84f9
https://github.com/acl2/acl2/commit/ccc84b54b651a2bf45ff092654c2d4ad509b84f9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/dimension-equivalence-infrules.lisp

Log Message:
-----------
[Remora] Improve some doc.


Commit: 76311569bccb8aa68ab8a7dbfe56d951782d5a5c
https://github.com/acl2/acl2/commit/76311569bccb8aa68ab8a7dbfe56d951782d5a5c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/projects/abnf/tree-operations/subtree-operations.lisp

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


Commit: e15e7589a80f5ceaa5931ddbbca30858563c9958
https://github.com/acl2/acl2/commit/e15e7589a80f5ceaa5931ddbbca30858563c9958
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/dimension-equivalence-infrules.lisp

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


Compare: https://github.com/acl2/acl2/compare/8164c8a48182...e15e7589a80f

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

Alessandro Coglio

unread,
Jul 28, 2026, 12:51:36 AM (yesterday) Jul 28
to acl2-...@googlegroups.com
Branch: refs/heads/testing

Alessandro Coglio

unread,
Jul 28, 2026, 2:52:24 PM (yesterday) Jul 28
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Commit: b69893dc6634622ccc566b8182eb0b2da483422d
https://github.com/acl2/acl2/commit/b69893dc6634622ccc566b8182eb0b2da483422d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
M books/kestrel/remora/evaluation-rules.lisp

Log Message:
-----------
[Remora] Generalize an eval rule.


Commit: ac3c69d27b6239f6bc87239d43f1f1b980fae9d0
https://github.com/acl2/acl2/commit/ac3c69d27b6239f6bc87239d43f1f1b980fae9d0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)

Changed paths:
R books/kestrel/c/syntax/abstract-syntax-symbols.lisp
A books/kestrel/c/syntax/exported-symbols.lisp
M books/kestrel/c/transformation/package.lsp
M books/kestrel/fty/symbol-set-list-list.lisp
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
R books/kestrel/remora/abstract-syntax-well-formed.lisp
A books/kestrel/remora/abstract-syntax-well-formedness.lisp
M books/kestrel/remora/abstract-syntax.lisp
M books/kestrel/remora/check-keywords.lisp
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/printer.lisp
M books/projects/abnf/tree-operations/subtree-operations.lisp
M books/projects/filesystems/utilities/cpp-syntax/package.lsp
M books/std/util/definductive.lisp

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


Commit: 9fedd04b8e4f50e0fb38a84fae835497ccb3f3b8
https://github.com/acl2/acl2/commit/9fedd04b8e4f50e0fb38a84fae835497ccb3f3b8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp

Log Message:
-----------
[STS safety] Relax checks on structs in arrays.

These are now supported by the transformation.


Commit: feb5e40fc34fd5142f6bbb2ebc3d9c49b029bca9
https://github.com/acl2/acl2/commit/feb5e40fc34fd5142f6bbb2ebc3d9c49b029bca9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/tests/struct-type-split/struct-type-split.lisp

Log Message:
-----------
[STS] `:unsafe t/nil` => `:safety-checks nil/t`.


Commit: 5904d829fce1ab7144e2a06cf5eb739be039308e
https://github.com/acl2/acl2/commit/5904d829fce1ab7144e2a06cf5eb739be039308e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/kestrel/c/transformation/tests/struct-type-split/struct-type-split.lisp

Log Message:
-----------
[STS] Enable safety checks in several tests.


Commit: 326e7379260e27037eb4284be147ff48748331f2
https://github.com/acl2/acl2/commit/326e7379260e27037eb4284be147ff48748331f2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-28 (Tue, 28 Jul 2026)

Changed paths:
M books/kestrel/remora/evaluation-rules.lisp

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


Compare: https://github.com/acl2/acl2/compare/8164c8a48182...326e7379260e
Reply all
Reply to author
Forward
0 new messages