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
Tungsten: A low-level LLVM programming language by mfriedrich
Project Description
> Tungsten is suppose...
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...
HelenOS: <filesystem> of a down by jjindrak
During the previous Hackweek [0], I have succes...
Extend GObject based introspectable API to libzypp by zbenjamin
[comment]: # (Please use the project descriptio...
Port some classic game to Linux by MDoucha
Let's pick some old classic game, reverse engin...
A quantum physics experiment puzzle (designed with Google's CP-SAT solver) by moio
[![link to video player demoing the result](htt...