История изменений
Исправление SZT, (текущая версия) :
Да, кстати. Попробуйте проверить своим анализатором этот самый CompCert — https://github.com/AbsInt/CompCert
Похоже что ничего не выйдет - ocaml там
Исходная версия SZT, :
Да, кстати. Попробуйте проверить своим анализатором этот самый CompCert — https://github.com/AbsInt/CompCert