herbie

A tool for automatically improving the accuracy of floating point expressions

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, July 22nd, 2020 3:45:52pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/uwplse/herbie.git?path=src#v1.4cd03acd15d439869dfb902ddc25712e324e4c499
Last checkedFriday, September 25th, 2020 2:19:38pm (UTC)
Last editedWednesday, July 22nd, 2020 3:45:52pm (UTC)
Date addedThursday, June 20th, 2019 5:55:30pm (UTC)
Modules
  • herbie/sampling.rkt
  • herbie/timeline.rkt
  • herbie/syntax/type-check.rkt
  • herbie/float.rkt
  • herbie/web/history.rkt
  • herbie/web/make-report.rkt
  • herbie/syntax/test-rules.rkt
  • herbie/core/reduce.rkt
  • herbie/points.rkt
  • herbie/shell.rkt
  • herbie/mainloop.rkt
  • herbie/web/plot.rkt
  • herbie/core/regimes.rkt
  • herbie/core/alt-table.rkt
  • herbie/herbie.rkt
  • herbie/interface.rkt
  • herbie/errors.rkt
  • herbie/debug.rkt
  • herbie/config.rkt
  • herbie/improve.rkt
  • herbie/multi-command-line.rkt
  • herbie/profile.rkt
  • herbie/web/make-graph.rkt
  • herbie/web/traceback.rkt
  • herbie/syntax/rules.rkt
  • herbie/common.rkt
  • herbie/core/simplify.rkt
  • herbie/syntax/read.rkt
  • herbie/core/matcher.rkt
  • herbie/web/timeline.rkt
  • herbie/plugin.rkt
  • herbie/searchreals.rkt
  • herbie/core/localize.rkt
  • herbie/sandbox.rkt
  • herbie/syntax/types.rkt
  • herbie/syntax/syntax-check.rkt
  • herbie/web/pages.rkt
  • herbie/web/thread-pool.rkt
  • herbie/datafile.rkt
  • herbie/web/common.rkt
  • herbie/web/run.rkt
  • herbie/function-definitions.rkt
  • herbie/programs.rkt
  • herbie/core/taylor.rkt
  • herbie/alternative.rkt
  • herbie/syntax/syntax.rkt
  • herbie/core/periodicity.rkt
  • herbie/web/demo.rkt