perf: avoid copying temporary bignum results - #15162

Closed

kim-em wants to merge 7 commits into

leanprover:masterfrom

kim-em:perf-move-mpz-results

Commits on Sep 15, 2026

perf: avoid copying temporary bignum results
kim-em
committed
ceab0b4
fix: bound retained bignum capacity
kim-em
committed
344f681
doc: shorten bignum benchmark notes
kim-em
committed
021065a
test: focus bignum extern smoke coverage
kim-em
committed
150a9bd
doc: describe bignum checks directly
kim-em
committed
252772e
test: use configured C++ compiler for bignum checks
kim-em
committed
a83ae82
test: drop native bignum allocation fixture
kim-em
committed
0191aac