herbie

A tool for automatically improving the accuracy of floating point expressions

Build status: ok dependency problems failing tests missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Last updatedSaturday, February 3rd, 2024 11:32:04pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/uwplse/herbie.git?path=src#v2.0.24fb7f3e0fb78c49170187b9d865b935bf274cad9
      Last checkedFriday, April 26th, 2024 8:03:35pm (UTC)
      Last editedFriday, February 2nd, 2024 11:10:34pm (UTC)
      Date addedThursday, June 20th, 2019 5:55:30pm (UTC)
      Modules
      • herbie/improve.rkt
      • herbie/sandbox.rkt
      • herbie/web/run.rkt
      • herbie/timeline.rkt
      • herbie/syntax/sugar.rkt
      • herbie/core/simplify.rkt
      • herbie/pareto.rkt
      • herbie/core/reduce.rkt
      • herbie/symmetry.rkt
      • herbie/web/traceback.rkt
      • herbie/web/history.rkt
      • herbie/core/alt-table.rkt
      • herbie/syntax/rules.rkt
      • herbie/web/thread-pool.rkt
      • herbie/float.rkt
      • herbie/web/demo.rkt
      • herbie/syntax/types.rkt
      • herbie/syntax/syntax.rkt
      • herbie/web/timeline.rkt
      • herbie/plugin.rkt
      • herbie/syntax/type-check.rkt
      • herbie/core/regimes.rkt
      • herbie/web/plot.rkt
      • herbie/profile.rkt
      • herbie/herbie.rkt
      • herbie/config.rkt
      • herbie/web/pages.rkt
      • herbie/core/matcher.rkt
      • herbie/mainloop.rkt
      • herbie/errors.rkt
      • herbie/syntax/syntax-check.rkt
      • herbie/core/localize.rkt
      • herbie/reprs/fallback.rkt
      • herbie/datafile.rkt
      • herbie/programs.rkt
      • herbie/soundiness.rkt
      • herbie/pretty-print.rkt
      • herbie/conversions.rkt
      • herbie/patch.rkt
      • herbie/cost.rkt
      • herbie/core/taylor.rkt
      • herbie/preprocess.rkt
      • herbie/shell.rkt
      • herbie/web/make-report.rkt
      • herbie/multi-command-line.rkt
      • herbie/web/core2mathjs.rkt
      • herbie/load-plugin.rkt
      • herbie/web/common.rkt
      • herbie/web/make-graph.rkt
      • herbie/reprs/binary32.rkt
      • herbie/reprs/binary64.rkt
      • herbie/searchreals.rkt
      • herbie/core/bsearch.rkt
      • herbie/common.rkt
      • herbie/syntax/test-rules.rkt
      • herbie/ground-truth.rkt
      • herbie/reprs/bool.rkt
      • herbie/points.rkt
      • herbie/sampling.rkt
      • herbie/syntax/read.rkt
      • herbie/core/egg-herbie.rkt
      • herbie/alternative.rkt