[acl2/acl2] e0522d: [remora] add grammar

0 views
Skip to first unread message

Eric McCarthy

unread,
Apr 16, 2026, 12:00:58 AM (yesterday) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: e0522df795f892a7f5aeeae42424d1819a6a2547
https://github.com/acl2/acl2/commit/e0522df795f892a7f5aeeae42424d1819a6a2547
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
[remora] add grammar


Commit: 28e1755e65ed025abfa5671739a17a654abea586
https://github.com/acl2/acl2/commit/28e1755e65ed025abfa5671739a17a654abea586
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/kestrel/remora/grammar.lisp

Log Message:
-----------
[remora] add deftreeops to grammar


Compare: https://github.com/acl2/acl2/compare/53e621754b9e...28e1755e65ed

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

acl2buildserver

unread,
Apr 16, 2026, 1:19:59 AM (yesterday) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: e0522df795f892a7f5aeeae42424d1819a6a2547
https://github.com/acl2/acl2/commit/e0522df795f892a7f5aeeae42424d1819a6a2547
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
[remora] add grammar


Commit: 28e1755e65ed025abfa5671739a17a654abea586
https://github.com/acl2/acl2/commit/28e1755e65ed025abfa5671739a17a654abea586
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/kestrel/remora/grammar.lisp

Log Message:
-----------
[remora] add deftreeops to grammar


Commit: 2bd746fc9497e72ed7967d9b7a1223f89eb44682
https://github.com/acl2/acl2/commit/2bd746fc9497e72ed7967d9b7a1223f89eb44682
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
Merge commit '28e1755e65ed025abfa5671739a17a654abea586' into HEAD


Compare: https://github.com/acl2/acl2/compare/10628baa2032...2bd746fc9497

acl2buildserver

unread,
Apr 16, 2026, 1:20:39 AM (yesterday) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages