Open
Description
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.
{{ message }}
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.