LLVM DSA fork for SeaHorn
C++ Other
Switch branches/tags
Nothing to show
Clone or download

README.md

llvm-dsa

DSA fork for SeaHorn. Based on the DSA for in SMACK. Originally from PoolAlloc. LLVM version is 3.8.