Home

Herbie lint for Rust

A rustc plugin to check for numerical instability

Use the database

The plugin uses a database of know expressions to check your source. A compatible database can be found here. Simply put the database next to your Cargo.toml file or set the db_path field in your Herbie.toml file.

How to use Herbie (optional)

If you want to extend the database for your project, you can do that too! The plugin can also execute Herbie and will cache expression replacements Herbie discovered specifically for your code base.

In order to use that, you need to have an herbie-inout executable in your $PATH. That executable must point to Herbie’s herbie/interface/inout.rkt file.

To simplify the installation process I use Docker (see the Dockerfile) and a simple script.