1
Verifying GCC optimizations using an SMT solver
This post describes the implementation of pysmtgcc. See “GCC Translation Validation” for background information.
Krister Walfridsson
Compilers, programming languages, etc.
- Popular posts
- 2
- Total points
- 330
- HN comments
- 121
- Rank
- #8,124 personal
Visit kristerw.github.io → RSS feedOn Hacker News Oct 2021 – Nov 2022
Software Engineering 2Systems & Performance 1Math & Algorithms 1