[acl2/acl2] 273d7f: [remora] grammar/parser/abstractor no longer produ...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 273d7f7658f6ee752ed49e18bff0e30fb053020f
https://github.com/acl2/acl2/commit/273d7f7658f6ee752ed49e18bff0e30fb053020f
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] grammar/parser/abstractor no longer produce a shape :dim



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