llvm-semantics:K语言中LLVM IR的形式语义

【文件属性】：

文件名称：llvm-semantics:K语言中LLVM IR的形式语义

文件大小：12.74MB

文件格式：ZIP

更新时间：2024-06-14 17:02:37

research llvm formal-semantics formal-methods llvm-ir

该项目的目标是为（LLVM IR）提供完整的可执行语义。 该语言在（版本2.6-2.7）中定义。