3 ms·
I resurrected the Rust Herbie lint (now using dylint) a while ago: https://github.com/urschrei/herbie-lint https://github.com/urschrei/herbie-lint
by urschrei 6mo ago
I resurrected the Rust Herbie lint (now using dylint) a while ago: https://github.com/urschrei/herbie-lint https://github.com/urschrei/herbie-lint