Upgrade sea-dsa to support LLVM 14

seahorn / sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Other

157 stars 29 forks source link

Upgrade sea-dsa to support LLVM 14 #143

Closed shaobo-he closed 2 years ago

shaobo-he commented 2 years ago

Hello sea-dsa developers,

I'm trying to upgrade SMACK to support LLVM 14. So I'm also working on upgrading sea-dsa to support LLVM 14. Is it possible for you to create a dev14 branch based on dev13 so I can submit a PR?

Thanks, Shaobo

caballa commented 2 years ago

done and @shaobo-he thanks again!