[acl2/acl2] 3248d2: Improved some comments about ancestors.

0 views
Skip to first unread message

MattKaufmann

unread,
Jun 17, 2026, 4:17:01 PM (6 days ago) Jun 17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 3248d27c6d0465a9eb39a7fd8d0b57aa6baa9935
https://github.com/acl2/acl2/commit/3248d27c6d0465a9eb39a7fd8d0b57aa6baa9935
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M rewrite.lisp
M type-set-b.lisp

Log Message:
-----------
Improved some comments about ancestors.

Thanks to J for suggesting such improvements.

These are comment changes only, so I only did a build, not a regression.



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

MattKaufmann

unread,
Jun 17, 2026, 4:17:36 PM (6 days ago) Jun 17
to acl2-...@googlegroups.com
Branch: refs/heads/testing

Alessandro Coglio

unread,
Jun 18, 2026, 1:49:06 AM (6 days ago) Jun 18
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 3248d27c6d0465a9eb39a7fd8d0b57aa6baa9935
https://github.com/acl2/acl2/commit/3248d27c6d0465a9eb39a7fd8d0b57aa6baa9935
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M rewrite.lisp
M type-set-b.lisp

Log Message:
-----------
Improved some comments about ancestors.

Thanks to J for suggesting such improvements.

These are comment changes only, so I only did a build, not a regression.


Commit: 242105ca416a13d790b5b286d732af4c3498e36f
https://github.com/acl2/acl2/commit/242105ca416a13d790b5b286d732af4c3498e36f
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/tests/disambiguator-trans-units.lisp
M books/kestrel/c/syntax/tests/validator.lisp

Log Message:
-----------
Merge commit '094e32b11c33042bf8cf7682d0d767c9c4d99671' into HEAD


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/094e32b11c33...b80b4da39cd5
Reply all
Reply to author
Forward
0 new messages