文件名称：vellvm, Vellvm II lb - lb开发.zip
文件大小：289KB
文件格式：ZIP
更新时间：2022-10-07 03:55:01
开源
vellvm, Vellvm II lb - lb开发 Vellvm Vellvm是对( 子集)的语义的Coq形式化形式化formalization用于基于java的形式验证的LLVM编译器 IR ( 基于。 它是作为DeepSpec项目的一部分在Pennsylvania大学开发的。请
vellvm, Vellvm II lb - lb开发.zip
【文件属性】：