[acl2/acl2] 1adfe8: [remora] handle dim-mul and dim-sub in abstractor ...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 1adfe8a04d895eac5ef300eac3c111a472c337c3
https://github.com/acl2/acl2/commit/1adfe8a04d895eac5ef300eac3c111a472c337c3
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-06 (Wed, 06 May 2026)

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

Log Message:
-----------
[remora] handle dim-mul and dim-sub in abstractor and well-formed predicate



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