[acl2/acl2] b69893: [Remora] Generalize an eval rule.

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
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.


Compare: https://github.com/acl2/acl2/compare/e15e7589a80f...ac3c69d27b62

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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing