herbie

A tool for automatically improving the accuracy of floating point expressions

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 4:55:11pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/uwplse/herbie?path=src7c32f81f8d25de9f599bf43ee74db50fcb732057
Last checkedWednesday, December 13th, 2017 12:08:03am (UTC)
Last editedThursday, August 31st, 2017 9:48:58am (UTC)
Modules
  • herbie/reports/run.rkt
  • herbie/old/data.rkt
  • herbie/old/herbie.rkt
  • herbie/herbie.rkt
  • herbie/core/regimes.rkt
  • herbie/syntax/syntax.rkt
  • herbie/test/exacts-test.rkt
  • herbie/range-analysis.rkt
  • herbie/multi-command-line.rkt
  • herbie/formats/c.rkt
  • herbie/reports/common.rkt
  • herbie/glue.rkt
  • herbie/errors.rkt
  • herbie/web/demo.rkt
  • herbie/float.rkt
  • herbie/test/regimes-test.rkt
  • herbie/core/localize.rkt
  • herbie/syntax/rules.rkt
  • herbie/plot.rkt
  • herbie/old/inout.rkt
  • herbie/formats/test.rkt
  • herbie/points.rkt
  • herbie/core/enode.rkt
  • herbie/core/alt-table.rkt
  • herbie/reports/rerun.rkt
  • herbie/formats/datafile.rkt
  • herbie/mainloop.rkt
  • herbie/web/session.rkt
  • herbie/formats/tex.rkt
  • herbie/function-definitions.rkt
  • herbie/old/util.rkt
  • herbie/common.rkt
  • herbie/debug.rkt
  • herbie/web/common.rkt
  • herbie/reports/thread-pool.rkt
  • herbie/web/viz.rkt
  • herbie/core/egraph.rkt
  • herbie/reports/make-graph.rkt
  • herbie/sandbox.rkt
  • herbie/core/matcher.rkt
  • herbie/improve.rkt
  • herbie/config.rkt
  • herbie/programs.rkt
  • herbie/syntax/distributions.rkt
  • herbie/web/tools.rkt
  • herbie/core/ematch.rkt
  • herbie/core/taylor.rkt
  • herbie/core/reduce.rkt
  • herbie/reports/make-report.rkt
  • herbie/core/simplify.rkt
  • herbie/core/periodicity.rkt
  • herbie/shell.rkt
  • herbie/alternative.rkt