ParentFull threadquazar·Formal specification of LLVM and compile semantics to Z3, I would guess.View on HN