Giters

ScottWe / llvm-seahorn

LLVM components that are modified for SeaHorn

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

llvm-seahorn

LLVM components that are modified for SeaHorn. LLVM version is 5.0.

About

LLVM components that are modified for SeaHorn

License:Other

Languages

Language:C++ 99.8%Language:CMake 0.2%