wbhart/flint2 — pull request #67 by DanielFabian (2014-05-03 08:52:10+00:00)
Title: add flint memory functions.

Allow memory functions to be replaced with custom ones, à la mp_set_memory_functions.