mcarton / rust-herbie-lint

A rustc plugin to check for numerical instability
Mozilla Public License 2.0
172 stars 4 forks source link

Run it on “a ton of crates in the ecosystem” #2

Open mcarton opened 8 years ago

mcarton commented 8 years ago

In order to test the plugin, feed a Rust-specific database and improve other crates, the plugin should be tried on lots of crates in the ecosystem.

Some ideas of crates with potentially lots of floating point expression (from a quick search of "math" on crates.io, so many crates are missing, and all of the following might not be relevant):

Don't hesitate to suggest more if you know some crates that should be on the list :smile:

tillarnold commented 8 years ago

Maybe you could also try these:

(I'm not sure if they are all relevant. But I thought they may contain lots of floating point expressions)

mcarton commented 8 years ago

@tillarnold thanks, none of them have reported anything, some are using f32, which is not considered by the plugin yet (but it definitely should be as Herbie does support single precision floating points) and some hide math behind generics, which I’m not sure I could lint reliably. And of course maybe none of them have anything wrong to lint about :smile:.