![fkastl fkastl](https://secure.gravatar.com/avatar/c44a49a304ab6f0d0dd47392eed49db0.png?d=retro&r=PG&s=64)
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.
1
1
0
0
Looking for projects around:
Nothing at the moment
Activity