https://github.com/herbie-fp/herbie

Optimize floating-point expressions for accuracy
https://github.com/herbie-fp/herbie

developer-tools floating-point herbie numerical-methods racket synthesis

Last synced: about 2 months ago
JSON representation

Optimize floating-point expressions for accuracy

• Host: GitHub
• URL: https://github.com/herbie-fp/herbie
• Owner: herbie-fp
• License: other
• Created: 2013-10-18T17:02:08.000Z (almost 11 years ago)
• Default Branch: main
• Last Pushed: 2024-07-24T22:49:26.000Z (2 months ago)
• Last Synced: 2024-07-24T23:56:06.363Z (2 months ago)
• Topics: developer-tools, floating-point, herbie, numerical-methods, racket, synthesis
• Language: HTML
• Homepage: https://herbie.uwplse.org
• Size: 56.4 MB
• Stars: 754
• Watchers: 34
• Forks: 32
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
![Herbie](logo.png)

Herbie automatically improves the error of floating point expressions.

Visit [our website](https://herbie.uwplse.org) 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](https://herbie.uwplse.org/doc/latest/installing.html).

### 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](https://download.racket-lang.org/). We recommend 

the official Racket installer over Snap. If your configuration depends on Racket 

being installed via Snap, you will need to ensure that Herbie and all packages are 

located in your home directory or another allow-listed directory.

Install Rust from [here](https://www.rust-lang.org/tools/install).

In this directory, build Herbie with:

    make install

You can then run `racket -l herbie` to run Herbie, or run

`src/main.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](https://download.racket-lang.org/).

Install Herbie with:

    raco pkg install --auto herbie

You can then run `racket -l herbie` to run Herbie, or run

`src/main.rkt` directly.

## Running Herbie

For full details on running Herbie, please see the

[tutorial](https://herbie.uwplse.org/doc/latest/using-web.html).

Herbie's input format is the Scheme-like

[FPCore](https://fpbench.org/spec/fpcore-1.2.html);

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](https://herbie.uwplse.org/doc/latest/options.html).

for more.

## Helping Out

Herbie is developed as a joint project of the Universities of

[Washington](https://uwplse.org) and [Utah](https://cpu.cs.utah.edu).

We use [Github](https://github.com/herbie-fp/herbie) and

[Trello](https://trello.com/b/lh7b33Dr/herbie) 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

[nightly](https://nightly.cs.washington.edu/reports/herbie/).