smack
smack copied to clipboard
Upgrade Rust version to support edition 2021
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.