fkastl

SMTGCC

a project by fkastl

Project Description

There's a project experimenting with verifying GCC optimizations using SMT solvers. Currently there is only one person working on this project. Analyzing compilers with SMT solvers seems like a cool new topic to me. Let's see how we could help.

Updated 6 months ago. 2 hacker ♥️. 2 followers.

Looking for projects around:

Nothing at the moment

Activity

6 months ago: fkastl added keyword "compilers" to SMTGCC

6 months ago: fkastl added keyword "compiler" to SMTGCC

6 months ago: fkastl added keyword "c++" to SMTGCC

6 months ago: fkastl added keyword "solvers" to SMTGCC

6 months ago: fkastl added keyword "codeverification" to SMTGCC

6 months ago: fkastl started SMTGCC

6 months ago: fkastl originated SMTGCC