Updated
11 months
ago.
2 hacker ♥️.
2 followers.
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.
Looking for hackers with the skills:
This project is part of:
Hack Week 23
Activity
Comments
Be the first to comment!
Similar Projects