__flint_get_memory_functions
17 views
Skip to first unread message
fab...@rouillier.fr
Aug 13, 2021, 6:00:13 AM8/13/21
to flint-devel
Hi all,
In complement to __flint_set_memory_functions it would be great to have a function __flint_get_memory_functions to save current allocators before changing them.
Cheers,
Fabrice.
Reply all
Reply to author
Forward
0 new messages