[acl2/acl2] b4c7dc: [remora] catch the ACL2 model up to the declaratio...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: b4c7dc87ee49c50211a15dad8468045f3a111431
https://github.com/acl2/acl2/commit/b4c7dc87ee49c50211a15dad8468045f3a111431
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-09 (Thu, 09 Jul 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-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
R books/kestrel/remora/eval-file.lisp
A books/kestrel/remora/eval-from-file.lisp
M books/kestrel/remora/evaluation-tests.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
R books/kestrel/remora/monomorphize-file.lisp
A books/kestrel/remora/monomorphize-from-file.lisp
M books/kestrel/remora/monomorphize.lisp
M books/kestrel/remora/package.lsp
M books/kestrel/remora/parse-directory-files.lisp
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/post-parsing.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/top.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/unique-names.lisp
M books/kestrel/remora/utility-transforms.lisp
M books/kestrel/remora/value-printing.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:
-----------
[remora] catch the ACL2 model up to the declarations language


Commit: b02efbf5ce37eaab49a73d412e3c06634a5fbb92
https://github.com/acl2/acl2/commit/b02efbf5ce37eaab49a73d412e3c06634a5fbb92
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-09 (Thu, 09 Jul 2026)

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

Log Message:
-----------
[remora] progs no longer at top of file


Compare: https://github.com/acl2/acl2/compare/00b4e8ab35a3...b02efbf5ce37

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

[Eric McCarthy]

Branch: refs/heads/master

[Eric McCarthy]

Branch: refs/heads/testing