[acl2/acl2] 4273fa: Refine monomorphize and add evaluation utilities f...

[Stephen Westfold]

Branch: refs/heads/cleanup-mono
Home: https://github.com/acl2/acl2
Commit: 4273fa101c9364e508d59bdabdbe8e3d89190d86
https://github.com/acl2/acl2/commit/4273fa101c9364e508d59bdabdbe8e3d89190d86
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-07-02 (Thu, 02 Jul 2026)

Changed paths:
A books/kestrel/remora/eval-file.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/monomorphize.lisp
M books/kestrel/remora/top.lisp
A books/kestrel/remora/unique-names.lisp
A books/kestrel/remora/value-printing.lisp

Log Message:
-----------
Refine monomorphize and add evaluation utilities for testing



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