herbie

A tool for automatically improving the accuracy of floating point expressions

Build status: ok dependency problems failing tests

Authors
Documentation
Tags
Last updatedSaturday, July 24th, 2021 9:41:41pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/uwplse/herbie.git?path=src#v1.58e29e90fccb360a9e19019cc534a635a30afcc66
Last checkedTuesday, August 3rd, 2021 2:16:31pm (UTC)
Last editedSunday, July 11th, 2021 8:01:06pm (UTC)
Date addedThursday, June 20th, 2019 5:55:30pm (UTC)
Modules
  • herbie/web/traceback.rkt
  • herbie/web/demo.rkt
  • herbie/core/alt-table.rkt
  • herbie/sampling.rkt
  • herbie/interface.rkt
  • herbie/core/matcher.rkt
  • herbie/core/periodicity.rkt
  • herbie/web/plot.rkt
  • herbie/syntax/sugar.rkt
  • herbie/searchreals.rkt
  • herbie/syntax/test-rules.rkt
  • herbie/core/taylor.rkt
  • herbie/syntax/syntax.rkt
  • herbie/syntax/type-check.rkt
  • herbie/function-definitions.rkt
  • herbie/core/simplify.rkt
  • herbie/mainloop.rkt
  • herbie/common.rkt
  • herbie/syntax/read.rkt
  • herbie/float.rkt
  • herbie/profile.rkt
  • herbie/symmetry.rkt
  • herbie/cost.rkt
  • herbie/web/run.rkt
  • herbie/syntax/types.rkt
  • herbie/points.rkt
  • herbie/core/reduce.rkt
  • herbie/pareto.rkt
  • herbie/datafile.rkt
  • herbie/errors.rkt
  • herbie/syntax/rules.rkt
  • herbie/web/thread-pool.rkt
  • herbie/alternative.rkt
  • herbie/programs.rkt
  • herbie/core/localize.rkt
  • herbie/config.rkt
  • herbie/web/make-report.rkt
  • herbie/web/common.rkt
  • herbie/preprocess.rkt
  • herbie/shell.rkt
  • herbie/improve.rkt
  • herbie/web/make-graph.rkt
  • herbie/debug.rkt
  • herbie/timeline.rkt
  • herbie/core/regimes.rkt
  • herbie/plugin.rkt
  • herbie/herbie.rkt
  • herbie/sandbox.rkt
  • herbie/web/history.rkt
  • herbie/syntax/syntax-check.rkt
  • herbie/web/pages.rkt
  • herbie/conversions.rkt
  • herbie/float32.rkt
  • herbie/multi-command-line.rkt
  • herbie/web/timeline.rkt