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.

Goal for this Hackweek

Familiarize ourselves with how the project works and with its codebase. Make at least one meaningful pull request.

Resources

• https://github.com/kristerw/smtgcc
• https://kristerw.github.io/2022/11/01/verifying-optimizations/
• https://github.com/AliveToolkit/alive2

Teamwork

I expect I'll be working on this alone because the topic is pretty niche. However, I'll welcome anyone with some experience with compilers to join me in this project.