4 ms·
Formal specification of LLVM and compile semantics to Z3, I would guess.
by quazar 3y ago
Formal specification of LLVM and compile semantics to Z3, I would guess.
- boomanaiden154 3y agoPretty much this. It's called Alive2. https://dl.acm.org/doi/abs/10.1145/3453483.3454030 https://dl.acm.org/doi/abs/10.1145/3453483.3454030
- isaacfrond 3y agotnanks