herbie

A tool for automatically improving the accuracy of floating point expressions

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedFriday, March 31st, 2017 8:45:01pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
1.0git://github.com/uwplse/herbie?path=src#v1.01d8a5a266b020440095bcd8cb501c635b072ad95
defaultgit://github.com/uwplse/herbie?path=srcac06a5d4576e33d59befac03781255cff8e02644
Last checkedSunday, April 30th, 2017 12:21:22am (UTC)
Last editedWednesday, March 8th, 2017 2:42:25am (UTC)
Modules
  • herbie/reports/run.rkt
  • herbie/test/rules-test.rkt
  • herbie/old/data.rkt
  • herbie/herbie.rkt
  • herbie/core/regimes.rkt
  • herbie/syntax/syntax.rkt
  • herbie/test/exacts-test.rkt
  • herbie/formats/c.rkt
  • herbie/glue.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/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/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/alternative.rkt