search

GaloisInc / LinearArbitrary-SeaHorn

LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
Other
20 stars 8 forks source link

Updated z3 and llvm repos and versions #6

Closed satbekmyrza closed 3 years ago

satbekmyrza commented 3 years ago

Use one of the latest versions of z3 and llvm for the moment of commit.

satbekmyrza commented 3 years ago

Realized that z3 and llvm versions in the commit do not match the dependency requirement.