[acl2/acl2] 376450: [ABNF] Start a subdir and topic for tree operations.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 37645084fbbdeb62476a023ec9654f1287a8de5f
https://github.com/acl2/acl2/commit/37645084fbbdeb62476a023ec9654f1287a8de5f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

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

Log Message:
-----------
[ABNF] Start a subdir and topic for tree operations.


Commit: eeb6bad754147700996048615d18dd0c1872f839
https://github.com/acl2/acl2/commit/eeb6bad754147700996048615d18dd0c1872f839
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/remora/syntax-abstraction.lisp
M books/projects/abnf/top.lisp
M books/projects/abnf/tree-operations/top.lisp
A books/projects/abnf/tree-operations/tree-utilities.lisp
R books/projects/abnf/tree-utilities.lisp
M books/projects/aleo/leo/early-version/definition/syntax-abstraction.lisp
M books/projects/aleo/leo/early-version/definition/tokenizer.lisp
M books/projects/aleo/leo/early-version/testing/lexing.lisp
M books/projects/pfcs/syntax-abstraction.lisp
M books/projects/pfcs/tokenizer.lisp

Log Message:
-----------
[ABNF] Move some tree ops under the new subdir/topic.


Commit: 45e87b2ecb22830eb4fb0ed37feea46454460063
https://github.com/acl2/acl2/commit/45e87b2ecb22830eb4fb0ed37feea46454460063
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/remora/bound-and-free-variable-operations.lisp

Log Message:
-----------
[Remora] Fix free variable calculations.

They were treating the bindings in a `let` as parallel.


Commit: d608ab63dee1c05ac6c6eee4195adb7a131056ef
https://github.com/acl2/acl2/commit/d608ab63dee1c05ac6c6eee4195adb7a131056ef
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/remora/syntax-abstraction.lisp
M books/projects/abnf/top.lisp
A books/projects/abnf/tree-operations/top.lisp
A books/projects/abnf/tree-operations/tree-utilities.lisp
R books/projects/abnf/tree-utilities.lisp
M books/projects/aleo/leo/early-version/definition/syntax-abstraction.lisp
M books/projects/aleo/leo/early-version/definition/tokenizer.lisp
M books/projects/aleo/leo/early-version/testing/lexing.lisp
M books/projects/pfcs/syntax-abstraction.lisp
M books/projects/pfcs/tokenizer.lisp

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


Commit: b5b564b68a9793c1c079fee7be08af8e67e84641
https://github.com/acl2/acl2/commit/b5b564b68a9793c1c079fee7be08af8e67e84641
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
[Remora] Add explicit checkers for dimensions.


Commit: 0761c0c6d44647999d7370953c92168011e0cc44
https://github.com/acl2/acl2/commit/0761c0c6d44647999d7370953c92168011e0cc44
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

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

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


Commit: b80b4da39cd5c4b565526c93568bdb8e67297143
https://github.com/acl2/acl2/commit/b80b4da39cd5c4b565526c93568bdb8e67297143
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

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

Log Message:
-----------
[Remora] Extend dynamic semantics.

Add evaluation of combined applications.


Compare: https://github.com/acl2/acl2/compare/242105ca416a...b80b4da39cd5

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

[Alessandro Coglio]

Branch: refs/heads/testing