[acl2/acl2] e6a8c4: [remora] update wf-ast-p to alow empty array and f...

0 views
Skip to first unread message

Eric McCarthy

unread,
Jun 23, 2026, 7:21:28 PM (6 hours ago) Jun 23
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: e6a8c4bcb772af557c594d0eef6584339056ad20
https://github.com/acl2/acl2/commit/e6a8c4bcb772af557c594d0eef6584339056ad20
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

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

Log Message:
-----------
[remora] update wf-ast-p to alow empty array and frame


Commit: 996e5aeb4b77122645622e529b8df624eee1ce21
https://github.com/acl2/acl2/commit/996e5aeb4b77122645622e529b8df624eee1ce21
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

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

Log Message:
-----------
[remora] in wf-ast-p, remove grammar non-emptiness requirements for :array and :frame


Compare: https://github.com/acl2/acl2/compare/84da6ce4be73...996e5aeb4b77

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

Eric McCarthy

unread,
Jun 23, 2026, 8:41:09 PM (4 hours ago) Jun 23
to acl2-...@googlegroups.com
Branch: refs/heads/master

acl2buildserver

unread,
Jun 23, 2026, 8:41:35 PM (4 hours ago) Jun 23
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: e6a8c4bcb772af557c594d0eef6584339056ad20
https://github.com/acl2/acl2/commit/e6a8c4bcb772af557c594d0eef6584339056ad20
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

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

Log Message:
-----------
[remora] update wf-ast-p to alow empty array and frame


Commit: 996e5aeb4b77122645622e529b8df624eee1ce21
https://github.com/acl2/acl2/commit/996e5aeb4b77122645622e529b8df624eee1ce21
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

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

Log Message:
-----------
[remora] in wf-ast-p, remove grammar non-emptiness requirements for :array and :frame


Commit: 243dfab47d8aad22cee7176740da319cfbf6862f
https://github.com/acl2/acl2/commit/243dfab47d8aad22cee7176740da319cfbf6862f
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

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

Log Message:
-----------
Merge commit '996e5aeb4b77122645622e529b8df624eee1ce21' into HEAD


Compare: https://github.com/acl2/acl2/compare/703070e6f1df...243dfab47d8a
Reply all
Reply to author
Forward
0 new messages