[acl2/acl2] 58fe96: [remora] define xxx-wf-ast-p well-formed predicate...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 58fe968355f772e05c86209b47d876e4166b640f
https://github.com/acl2/acl2/commit/58fe968355f772e05c86209b47d876e4166b640f
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-02 (Sat, 02 May 2026)

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

Log Message:
-----------
[remora] define xxx-wf-ast-p well-formed predicates on asts



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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 58fe968355f772e05c86209b47d876e4166b640f
https://github.com/acl2/acl2/commit/58fe968355f772e05c86209b47d876e4166b640f
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-02 (Sat, 02 May 2026)

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

Log Message:
-----------
[remora] define xxx-wf-ast-p well-formed predicates on asts

Commit: 5d60d7a5a09daf1c617d5a5b615d1f44240d8e34
https://github.com/acl2/acl2/commit/5d60d7a5a09daf1c617d5a5b615d1f44240d8e34
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-05-03 (Sun, 03 May 2026)

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

Log Message:
-----------

Merge commit '58fe968355f772e05c86209b47d876e4166b640f' into HEAD


Compare: https://github.com/acl2/acl2/compare/11563705e358...5d60d7a5a09d

[acl2buildserver]

Branch: refs/heads/testing