perf: small-buffer inline cache for replace_rec_fn#13378
Draft
Kha wants to merge 7 commits intoleanprover:masterfrom
Draft
perf: small-buffer inline cache for replace_rec_fn#13378Kha wants to merge 7 commits intoleanprover:masterfrom
replace_rec_fn#13378Kha wants to merge 7 commits intoleanprover:masterfrom
Commits
Commits on Apr 12, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
