remove custom allocator for GMP - #230

Draft

arvidn wants to merge 1 commit into

mainfrom

no-custom-allocator

Commits on Feb 4, 2025

remove custom allocator for GMP. It has questionable utility and comes with heap corruption risks. Especially when init_gmp() is not called before everything else, and when asserting allow_integer_…
arvidn
committed
269c36f