herbie

A tool for automatically improving the accuracy of floating point expressions

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedThursday, June 20th, 2019 5:55:30pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/uwplse/herbie.git?path=src#v1.3be39213ae5627f1c994ef162f5b1721ea29d50d3
Last checkedFriday, August 23rd, 2019 4:52:02pm (UTC)
Last editedThursday, June 20th, 2019 5:55:30pm (UTC)
Date addedThursday, June 20th, 2019 5:55:30pm (UTC)
Modules
  • herbie/formats/datafile.rkt
  • herbie/timeline.rkt
  • herbie/sandbox.rkt
  • herbie/core/matcher.rkt
  • herbie/core/localize.rkt
  • herbie/points.rkt
  • herbie/syntax/syntax.rkt
  • herbie/formats/test.rkt
  • herbie/core/reduce.rkt
  • herbie/errors.rkt
  • herbie/web/timeline.rkt
  • herbie/biginterval.rkt
  • herbie/core/regimes.rkt
  • herbie/web/thread-pool.rkt
  • herbie/formats/c.rkt
  • herbie/type-check.rkt
  • herbie/herbie.rkt
  • herbie/multi-command-line.rkt
  • herbie/core/simplify.rkt
  • herbie/common.rkt
  • herbie/function-definitions.rkt
  • herbie/web/make-graph.rkt
  • herbie/fpcore/core2js.rkt
  • herbie/syntax/test-rules.rkt
  • herbie/bigcomplex.rkt
  • herbie/plot.rkt
  • herbie/fpcore/fpcore-common.rkt
  • herbie/web/common.rkt
  • herbie/core/egraph.rkt
  • herbie/improve.rkt
  • herbie/core/enode.rkt
  • herbie/programs.rkt
  • herbie/alternative.rkt
  • herbie/fpcore/fpcore.rkt
  • herbie/syntax/rules.rkt
  • herbie/core/periodicity.rkt
  • herbie/shell.rkt
  • herbie/formats/tex.rkt
  • herbie/web/run.rkt
  • herbie/syntax-check.rkt
  • herbie/debug.rkt
  • herbie/interface.rkt
  • herbie/web/demo.rkt
  • herbie/range-analysis.rkt
  • herbie/config.rkt
  • herbie/core/taylor.rkt
  • herbie/float.rkt
  • herbie/mainloop.rkt
  • herbie/core/alt-table.rkt
  • herbie/plugin.rkt
  • herbie/web/make-report.rkt
  • herbie/core/ematch.rkt
  • herbie/syntax/types.rkt