AliveToolkit/alive2

LLVM 优化的自动验证

↗ 在 GitHub 打开

星数

1,163

Fork 数

160

语言

C++

许可

MIT

最后推送

1周前

C++verification model-checking llvm llvm-ir smt symbolic-execution automatic-verification translation-validation

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。