Optimize encoding of `mir::BinOp::Rem` for unsigned integers - Githubissues

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

http://prusti.org

Other

1.52k stars 102 forks source link

Optimize encoding of `mir::BinOp::Rem` for unsigned integers #1503

Closed fpoli closed 4 months ago