Alive2

Automatic verification of LLVM optimizations

Сайт проекта

Способы установки

Открыть в графическом приложении? В разработке

канал:

unstable

версия:

21.0

поддерживается:

Да

сломан:

Нет

лицензия:

Свободная

платформы:

78