search

smackers / smack

SMACK Software Verifier and Verification Toolchain
http://smackers.github.io
Other
427 stars 82 forks source link

Upgrade Rust version to support edition 2021 #783

Open shaobo-he opened 2 years ago

shaobo-he commented 2 years ago

Rust edition 2021 is stable after version 1.56.0. It seems a lot of projects are migrating to this version. We need to catch up with them as well. Version 1.56.0 uses LLVM 13, which we need upgrade SMACK to.