K Krister Walfridsson personal blog

Verifying GCC optimizations using an SMT solver

by Krister Walfridsson's blog kristerw.github.io published 2022-11-0113 min read

This post describes the implementation of pysmtgcc. See “GCC Translation Validation” for background information.

Points

121

HN comments

7

Submissions

1

Cited by

0 commenters

Software EngineeringMath & Algorithms2022

Related posts from the same era

Building a Virtual Machine Inside ChatGPT

Jonas Degrave20222,029 points908 commentscited by 16 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

Everything that uses configuration files should report where they're located

Chris Siebenmann20231,744 points472 comments details

I quit my job to focus on SerenityOS full time

AAndreas Kling20211,644 points249 commentscited by 8 details

Things I’ve learned in my 20 years as a software engineer

Simple Thread Blog20211,605 points973 comments details

The first conformant M1 GPU driver

Alyssa Rosenzweig20231,569 points657 comments details