herbie

A tool for automatically improving the accuracy of floating point expressions

Build status: ok dependency problems failing tests

Authors
Documentation
Tags
Last updatedSunday, June 12th, 2022 4:57:11pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/uwplse/herbie.git?path=src#v1.6600fd02dd9057ff758c4c73f806e323470f72a02
Last checkedSunday, October 2nd, 2022 1:22:58pm (UTC)
Last editedSunday, June 12th, 2022 4:32:28am (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/interface.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/core/periodicity.rkt
  • herbie/conversions.rkt
  • herbie/patch.rkt
  • herbie/cost.rkt
  • herbie/pretty-print.rkt
  • herbie/core/taylor.rkt
  • herbie/preprocess.rkt
  • herbie/shell.rkt
  • herbie/web/make-report.rkt
  • herbie/multi-command-line.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/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/alternative.rkt