Skip to content

perf: avoid copying mpz wrappers - #14978

Closed
TwoFX wants to merge 1 commit into
leanprover:masterfrom
TwoFX:julia/mpz-move
Closed

perf: avoid copying mpz wrappers#14978
TwoFX wants to merge 1 commit into
leanprover:masterfrom
TwoFX:julia/mpz-move

perf: avoid copying mpz objects

7120e68
Select commit
Loading
Failed to load commit list.
Sign in for the full log view