search

paradise-fi / SymDIVINE

No longer maintained: Verification tool for parallel C/C++ programs with LTL support
MIT License
6 stars 2 forks source link

Cmake should check the LLVM version #8

Closed yaqwsx closed 8 years ago

yaqwsx commented 8 years ago

Fixed.