PicoLibc 1.4.7

В новом выпуске:

• Добавлена возможность сборки с использованием математически верифицированного компилятора CompCert.
• Добавлена поддержка компилятора Clang.
• Поведение функции 'gamma' приведено в соответствие с поведением Glibc.
• В реализации nano-malloc обеспечена обязательная очистка возвращаемой памяти.
• Повышена производительность nano-realloc, особенно при выполнении операций слияния свободных блоков и раcширения размера кучи.
• Добавлен набор тестов для проверки корректности работы malloc.
• Улучшена поддержка платформы Windows и добавлена возможность сборки с использованием инструментария mingw.
• На системах ARM при наличии задействован аппаратный регистр TLS (Thread-Local Storage).