Dependencies for SeaHorn (LLVM5 + SpacerDeepDev)

External dependencies for SeaHorn with LLVM5 and SpacerDeepDev.

Dependencies for CrabLlvm (LLVM 8.0)

crabllvm8.0

Update for deep-dev5

Dependencies for Crab

Crab requires boost to be build with system and program_options libraries.

3.8 deep-dev

Prebuilt Z3 for the deep-dev branch. LLVM and boost are not changed.

3.8 dependencies

v0.1

Initial commit