Comment Comment by quazar Formal specification of LLVM and compile semantics to Z3, I would guess. parent quazar 2 years ago
