Исходное сообщение
"Релиз набора компиляторов LLVM 5.0" Отправлено Andrey Mitrofanov, 08-Сен-17 11:29
>GCC-совместимого инструментария (компиляторы, оптимизаторы и генераторы кода), Скромные, работящие ребяты. Мо-лод-цы. Очень мажорно и пятнично. Ура. > -  В статическом анализаторе добавлена поддержка автоматического доказателя теорем Z3 > созданного в  Microsoft Research для верификации кода своих продуктов. По > сравнению с предлагаемым по умолчанию доказателем теорем Z3 работает примерно в > 15 раз медленнее, но позволяет обрабатывать более сложные запросы. Для включения Ужо-то GPLv3+ - ники-то обзавидуются!1  Микрософт!1111  Невиданный успех и прорыв. ... > архитектуры x86 добавлена поддержка CPU Intel Goldmont, "Что такое `сколопендра`, я не знаю. Но звучит красиво!"