SSealbook

AliveToolkit/alive2

Automatic verification of LLVM optimizations

automatic-verificationllvmllvm-irmodel-checkingsmtsymbolic-executiontranslation-validationverification

Licencia y mantenimiento

MIT es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hace 6 días.

Proyectos similares