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

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

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

  • Comments

    Be the first to comment!

    Similar Projects

    Tungsten: A low-level LLVM programming language by mfriedrich

    Project Description

    > Tungsten is suppose...


    Open Source Firmware for EV chargers using the ESP32 Chip (Autoaid / EN-Plus / EVSEDO) by bschmidt

    [comment]: # (Please use the project descriptio...


    Port some classic game to Linux by MDoucha

    Let's pick some old classic game, reverse engin...


    Avahi Integration and Network Connection by vojha

    Avahi Integration and Network Connection

    ...


    Tungsten: A low-level LLVM programming language by mfriedrich

    Project Description

    > Tungsten is suppose...


    Extend GObject based introspectable API to libzypp by zbenjamin

    [comment]: # (Please use the project descriptio...