Upgrade SMACK to support LLVM 13

smackers / smack

SMACK Software Verifier and Verification Toolchain

http://smackers.github.io

Other

432 stars 82 forks source link

Open shaobo-he opened 2 years ago

zvonimir commented 2 years ago

Could you please resolve conflicts @shaobo-he ? Thanks!

shaobo-he commented 2 years ago

Could you please resolve conflicts @shaobo-he ? Thanks!

Done.