Alive2

Automatic verification of LLVM optimizations

Sitio web del proyecto

Métodos de instalación

¿Abrirlo en una aplicación gráfica? En desarrollo

Canal:

unstable

Versión:

21.0

Soporte:

Sí

Roto:

No

Licencia:

Libre

Plataformas:

78