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:

compilers compiler c++ solvers codeverification

This project is part of:

Hack Week 23

Activity

  • 9 months ago: mfranc liked this project.
  • 9 months ago: vliaskovitis liked this project.
  • 9 months ago: fkastl added keyword "compilers" to this project.
  • 9 months ago: fkastl added keyword "compiler" to this project.
  • 9 months ago: fkastl added keyword "c++" to this project.
  • 9 months ago: fkastl added keyword "solvers" to this project.
  • 9 months ago: fkastl added keyword "codeverification" to this project.
  • 9 months ago: fkastl started this project.
  • 9 months ago: fkastl originated this project.

  • Comments

    Be the first to comment!

    Similar Projects

    This project is one of its kind!