[acl2/acl2] e7d94e: Initial version of Remora monomorphization

[Stephen Westfold]

Branch: refs/heads/remora-mono
Home: https://github.com/acl2/acl2
Commit: e7d94eaab3bfdf4ec277f0754f55843eeeccd726
https://github.com/acl2/acl2/commit/e7d94eaab3bfdf4ec277f0754f55843eeeccd726
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
A books/kestrel/remora/monomorphize-file.lisp
A books/kestrel/remora/monomorphize.lisp

Log Message:
-----------
Initial version of Remora monomorphization


Commit: 79ebb8a9234c47ea5c394b19014e3c51de8c3b71
https://github.com/acl2/acl2/commit/79ebb8a9234c47ea5c394b19014e3c51de8c3b71
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-06-26 (Fri, 26 Jun 2026)

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

Log Message:
-----------
Add monomorpize books


Compare: https://github.com/acl2/acl2/compare/e7d94eaab3bf%5E...79ebb8a9234c

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