Skip to content
forked from herbie-fp/herbie

Optimize floating-point expressions for accuracy

License

Notifications You must be signed in to change notification settings

varun10p/herbie

 
 

Repository files navigation

Herbie

Herbie automatically improves the error of floating point expressions. Visit our website for tutorials, documentation, and an online demo. Herbie has semi-regular releases once a year, maintains backwards compatibility, and uses standardized formats.

Installing

For full details on installing Herbie, please see the documentation.

Installing from Source

Installing from source requires Racket 8.0 or later, Rust 1.60.0 or later, and supports Windows, macOS, and Linux for various architectures.

Install Racket from here. Install Rust from here. In this directory, build Herbie with:

make install

This will install a herbie binary somewhere under ~/.racket (Linux) although this path is dependent on OS and Racket version (check installation messages for a possible location). You can also run src/herbie.rkt directly.

Installing from the Racket package index

Use this method for installing Herbie if Rust is not on your system. Installing via the Racket package index requires Racket 8.0 or later and supports Windows, macOS, and Linux on x86-64 architectures.

Install Racket from here. Install Herbie with:

raco pkg install --auto herbie

This will install a herbie binary somewhere under ~/.racket (Linux) although this path is dependent on OS and Racket version (check installation messages for a possible location). You can also run src/herbie.rkt directly.

Please note that this method of installation will fail for Apple M1 systems and other ARM architectures. We hope to support this in the near future.

Running Herbie

For full details on running Herbie, please see the tutorial.

Herbie's input format is the Scheme-like FPCore; for example (1 + x) - x is written

(FPCore (x) (- (+ 1 x) x))

You can see more examples in bench/. To use Herbie, run herbie shell and enter an FPCore expression:

$ herbie shell
Herbie 1.3 with seed 1866513483
Find help on https://herbie.uwplse.org/, exit with Ctrl-D
herbie> (FPCore (x) (- (+ 1 x) x))
(FPCore (x) ... 1)

In this case Herbie's improved, more-accurate expression is the constant 1.

Besides shell, Herbie also has a web interface, and can be run in batch mode on files with the improve and report commands. Consult the documentation. for more.

Helping Out

Herbie development is organized on our mailing list, where we discuss work in progress and announce major improvements. Email us to get involved!

We use Github and Trello to organize development goals.

Running Tests

Herbie has unit tests for basic functionality, though coverage is far from complete. You can run the test suite by downloading the source code, changing to the source code directory, and running:

make install
raco test src/

Herbie also contains a large benchmark suite drawn from open source projects, examples from users, and numerical analysis textbooks. This suite is found in bench/. The full test can be run with

herbie report bench/ report/

You may see warnings; these are expected. The output is HTML files in report/. This full test can take a few hours to run. We often test Herbie on basic but representative examples with:

herbie report bench/hamming/ graphs/

This takes approximately 10 minutes.

Historic and nightly test results are collected on uwplse.org.

About

Optimize floating-point expressions for accuracy

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • HTML 47.9%
  • Racket 33.1%
  • Scheme 6.8%
  • JavaScript 6.0%
  • Rust 3.3%
  • CSS 2.0%
  • Other 0.9%