├── .dockerignore ├── .fmt.rkt ├── .github └── workflows │ ├── distribute.yml │ ├── plugins.yml │ ├── release.yml │ ├── resyntax-autofixer.yml │ ├── tests.yml │ └── unit-test.yml ├── .gitignore ├── AGENTS.md ├── Dockerfile ├── LICENSE.md ├── Makefile ├── README.md ├── bench ├── .gitignore ├── demo.fpcore ├── graphics │ ├── fidget │ │ ├── bear.fpcore │ │ ├── colonnade.fpcore │ │ ├── gyroid-sphere.fpcore │ │ ├── hi.fpcore │ │ ├── prospero.fpcore │ │ └── quarter.fpcore │ ├── lod.fpcore │ ├── log-transform.fpcore │ └── pbrt.fpcore ├── hamming │ ├── machine-decide.fpcore │ ├── overflow-underflow.fpcore │ ├── quadratic.fpcore │ ├── rearrangement.fpcore │ ├── series.fpcore │ └── trigonometry.fpcore ├── haskell.fpcore ├── libraries │ ├── fast-math.fpcore │ ├── jmatjs.fpcore │ ├── mathjs │ │ ├── arithmetic.fpcore │ │ ├── complex.fpcore │ │ ├── probability.fpcore │ │ └── trigonometry.fpcore │ ├── octave │ │ ├── CollocWt.fpcore │ │ └── randgamma.fpcore │ └── rust.fpcore ├── mathematics │ ├── arvind.fpcore │ ├── beta-distribution.fpcore │ ├── dirichlet-mixture-model.fpcore │ ├── excel.fpcore │ ├── gui.fpcore │ ├── hyperbolic-functions.fpcore │ ├── latlong.fpcore │ ├── logistic-regression.fpcore │ ├── sarnoff.fpcore │ ├── statistics.fpcore │ ├── symmetry.fpcore │ └── xkcd-expr.fpcore ├── numerics │ ├── conte.fpcore │ ├── every-cs.fpcore │ ├── fma.fpcore │ ├── great-debate.fpcore │ ├── hamming-misc.fpcore │ ├── kahan.fpcore │ ├── libm.fpcore │ ├── martel.fpcore │ ├── polynomial-cancellation.fpcore │ ├── rosa.fpcore │ └── rump.fpcore ├── physics │ ├── ballistics.fpcore │ ├── dimer-escape.fpcore │ ├── gated-magnetic-field.fpcore │ ├── kalman.fpcore │ ├── multiphoton-states.fpcore │ ├── quantum-walk.fpcore │ ├── sidey.fpcore │ ├── superfluidity-breakdown.fpcore │ ├── tea-flows.fpcore │ ├── tea-whistle.fpcore │ └── universal-linear-optics.fpcore ├── proj │ ├── krovak.fpcore │ ├── omerc.fpcore │ ├── som.fpcore │ ├── somerc.fpcore │ └── tmerc.fpcore ├── regression.fpcore └── tutorial.fpcore ├── egg-herbie ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── info.rkt ├── main.rkt └── src │ ├── lib.rs │ └── math.rs ├── infra ├── .gitignore ├── analyze-rules.rkt ├── bench │ ├── posit-pherbie.fpcore │ └── posits.fpcore ├── ci.rkt ├── convert-demo-json.sh ├── convert-demo.rkt ├── convert-json.rkt ├── diagrams │ ├── .gitignore │ ├── 1.5 │ │ └── herbie-system.drawio │ ├── 1.6-changes │ │ └── herbie-system.drawio │ ├── 1.6 │ │ └── herbie-system.drawio │ ├── 2.1 │ │ └── herbie-system.drawio │ └── 2.2 │ │ └── system.key ├── diff.rkt ├── fidget2core.py ├── herbie-demo.service ├── merge.rkt ├── nightly.sh ├── softposit.rkt ├── sort-fpcore.rkt ├── survey.rkt ├── survey │ ├── .gitignore │ ├── README.md │ ├── seed-variance.sh │ └── src │ │ ├── plot-results.sh │ │ ├── seed-bar-chart.py │ │ ├── seed-violin-plot.py │ │ ├── test-versus-plot.py │ │ └── test-violin-plot.py └── test-api.mjs ├── logo.png ├── logo.svg ├── src ├── api │ ├── datafile.rkt │ ├── demo.rkt │ ├── run.rkt │ ├── sandbox.rkt │ ├── server.rkt │ └── shell.rkt ├── config.rkt ├── core │ ├── alt-table.rkt │ ├── batch-reduce.rkt │ ├── batch.rkt │ ├── bsearch.rkt │ ├── compiler.rkt │ ├── derivations.rkt │ ├── dvector.rkt │ ├── egg-herbie.rkt │ ├── egglog-herbie-tests.rkt │ ├── egglog-herbie.rkt │ ├── egglog-subprocess.rkt │ ├── explain.rkt │ ├── localize.rkt │ ├── mainloop.rkt │ ├── patch.rkt │ ├── points.rkt │ ├── preprocess.rkt │ ├── programs.rkt │ ├── prove-rules.rkt │ ├── regimes.rkt │ ├── rival.rkt │ ├── rules.rkt │ ├── sampling.rkt │ ├── searchreals.rkt │ ├── taylor.rkt │ └── test-rules.rkt ├── info.rkt ├── main.rkt ├── platform.rkt ├── platforms │ ├── c-windows.rkt │ ├── c.rkt │ ├── herbie10.rkt │ ├── herbie20.rkt │ ├── julia.rkt │ ├── math.rkt │ ├── python.rkt │ ├── racket.rkt │ ├── reflow.rkt │ └── rival.rkt ├── reports │ ├── common.rkt │ ├── core2mathjs.rkt │ ├── history.rkt │ ├── make-graph.rkt │ ├── pages.rkt │ ├── plot.rkt │ ├── resources │ │ ├── 404.html │ │ ├── demo.js │ │ ├── favicon.ico │ │ ├── logo-car.png │ │ ├── logo.png │ │ ├── main.css │ │ ├── report-page.js │ │ ├── report.css │ │ ├── report.html │ │ └── report.js │ ├── timeline.rkt │ └── traceback.rkt ├── syntax │ ├── generators.rkt │ ├── load-platform.rkt │ ├── matcher.rkt │ ├── platform-language.rkt │ ├── platform.rkt │ ├── read.rkt │ ├── sugar.rkt │ ├── syntax-check.rkt │ ├── syntax.rkt │ ├── test-syntax.rkt │ ├── type-check.rkt │ └── types.rkt └── utils │ ├── alternative.rkt │ ├── common.rkt │ ├── errors.rkt │ ├── float.rkt │ ├── multi-command-line.rkt │ ├── pareto.rkt │ ├── pretty-print.rkt │ ├── profile.rkt │ └── timeline.rkt └── www ├── aec.html ├── arith21-paper.pdf ├── arith21-slides.pdf ├── arith23-paper.pdf ├── demo.js ├── doc.html ├── doc ├── 0.9 │ ├── docker.html │ ├── input.html │ ├── installing-herbgrind.html │ ├── installing-herbie.html │ ├── options.html │ ├── using-herbgrind.html │ └── using-herbie.html ├── 1.0 │ ├── docker.html │ ├── faq.html │ ├── input.html │ ├── installing-herbgrind.html │ ├── installing-herbie.html │ ├── options.html │ ├── release-notes.html │ ├── using-herbgrind.html │ └── using-herbie.html ├── 1.1 │ ├── compare.js │ ├── docker.html │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── options.html │ ├── release-notes.html │ ├── report-derivation.png │ ├── report-error.png │ ├── report-large.png │ ├── report-prog.png │ ├── report-runtime.png │ ├── report.html │ ├── results-new.json │ ├── results-old.json │ ├── team.png │ ├── using-cli.html │ ├── using-web.html │ ├── web-main.png │ └── web-progress.png ├── 1.2 │ ├── docker.html │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── options.html │ ├── release-notes.html │ ├── report-derivation.png │ ├── report-error.png │ ├── report-large.png │ ├── report-prog.png │ ├── report-runtime.png │ ├── report-try-it.png │ ├── report.html │ ├── team.png │ ├── using-cli.html │ ├── using-web.html │ ├── web-main.png │ └── web-progress.png ├── 1.3 │ ├── docker.html │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── options.html │ ├── plugins.html │ ├── release-notes.html │ ├── report-derivation.png │ ├── report-error.png │ ├── report-large.png │ ├── report-plot2.png │ ├── report-prog.png │ ├── report-prog2.png │ ├── report-reproduce.png │ ├── report-try-it.png │ ├── report.html │ ├── team.png │ ├── toc.js │ ├── travis-time.png │ ├── tutorial.html │ ├── using-cli.html │ ├── using-web.html │ ├── web-input.png │ ├── web-main.png │ └── web-progress.png ├── 1.4 │ ├── docker.html │ ├── egg-graph.png │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── options.html │ ├── plugins.html │ ├── release-notes.html │ ├── report-derivation.png │ ├── report-error.png │ ├── report-large.png │ ├── report-plot2.png │ ├── report-prog.png │ ├── report-prog2.png │ ├── report-reproduce.png │ ├── report-try-it.png │ ├── report.html │ ├── team.png │ ├── toc.js │ ├── tutorial.html │ ├── using-cli.html │ ├── using-web.html │ ├── web-input.png │ ├── web-main.png │ └── web-progress.png ├── 1.5 │ ├── diagrams.html │ ├── docker.html │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── options.html │ ├── pareto-screenshot.png │ ├── plugins.html │ ├── release-notes.html │ ├── report-derivation.png │ ├── report-error.png │ ├── report-large.png │ ├── report-plot2.png │ ├── report-prog.png │ ├── report-prog2.png │ ├── report-reproduce.png │ ├── report-try-it.png │ ├── report.html │ ├── system-1.5.png │ ├── team.png │ ├── toc.js │ ├── tutorial.html │ ├── using-cli.html │ ├── using-web.html │ ├── web-input.png │ ├── web-main.png │ └── web-progress.png ├── 1.6 │ ├── diagrams.html │ ├── docker.html │ ├── egg-rr-seed-variance.png │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── interactive-preconditions.png │ ├── old-rr-seed-variance.png │ ├── options.html │ ├── pareto-screenshot.png │ ├── plugins.html │ ├── quadp-old-branch.png │ ├── quadp-short-branch.png │ ├── range-input-2.png │ ├── range-input.png │ ├── release-notes.html │ ├── report-derivation.png │ ├── report-error.png │ ├── report-large.png │ ├── report-plot2.png │ ├── report-prog.png │ ├── report-prog2.png │ ├── report-reproduce.png │ ├── report-try-it.png │ ├── report.html │ ├── system-1.6-changes.png │ ├── system-1.6.png │ ├── team.png │ ├── toc.js │ ├── tutorial.html │ ├── using-cli.html │ ├── using-web.html │ ├── web-input.png │ ├── web-main.png │ └── web-progress.png ├── 2.0 │ ├── api-endpoints.html │ ├── diagrams.html │ ├── docker.html │ ├── egg-rr-seed-variance.png │ ├── error.html │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── interactive-preconditions.png │ ├── old-rr-seed-variance.png │ ├── options.html │ ├── pareto-screenshot.png │ ├── plugins.html │ ├── problematic-highlight.png │ ├── problematic-improved-accuracy.png │ ├── problematic-improved-speed.png │ ├── problematic-pareto-table.png │ ├── problematic-xim.png │ ├── problematic-xre.png │ ├── quadp-old-branch.png │ ├── quadp-short-branch.png │ ├── range-input-2.png │ ├── range-input.png │ ├── release-notes.html │ ├── report-accuracy.png │ ├── report-alternative-derivation.png │ ├── report-alternative.png │ ├── report-cost-accuracy.png │ ├── report-error.png │ ├── report-initial-program.png │ ├── report-large.png │ ├── report-reproduce.png │ ├── report-step-by-step.png │ ├── report.html │ ├── specification.png │ ├── system-1.6-changes.png │ ├── system-1.6.png │ ├── team.png │ ├── toc.js │ ├── tutorial.html │ ├── using-cli.html │ ├── using-web.html │ ├── web-input.png │ └── web-main.png ├── 2.1 │ ├── api-endpoints.html │ ├── diagrams.html │ ├── docker.html │ ├── error.html │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── localize-comparison.png │ ├── options.html │ ├── plugins.html │ ├── problematic-highlight.png │ ├── problematic-improved-accuracy.png │ ├── problematic-improved-speed.png │ ├── problematic-pareto-table.png │ ├── problematic-xim.png │ ├── problematic-xre.png │ ├── range-input-2.png │ ├── range-input.png │ ├── release-notes.html │ ├── report-accuracy.png │ ├── report-alternative-derivation.png │ ├── report-alternative.png │ ├── report-cost-accuracy.png │ ├── report-large.png │ ├── report-reproduce.png │ ├── report-step-by-step.png │ ├── report.html │ ├── specification.png │ ├── system-2.1.png │ ├── team.png │ ├── toc.js │ ├── tutorial.html │ ├── using-cli.html │ ├── using-web.html │ ├── web-input.png │ └── web-main.png ├── 2.2 │ ├── api-endpoints.html │ ├── diagrams.html │ ├── docker.html │ ├── error.html │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── localize-comparison.png │ ├── options.html │ ├── platforms.html │ ├── plugins.html │ ├── problematic-highlight.png │ ├── problematic-improved-accuracy.png │ ├── problematic-improved-speed.png │ ├── problematic-pareto-table.png │ ├── problematic-xim.png │ ├── problematic-xre.png │ ├── range-input-2.png │ ├── range-input.png │ ├── release-notes.html │ ├── report-accuracy.png │ ├── report-alternative-derivation.png │ ├── report-alternative.png │ ├── report-cost-accuracy.png │ ├── report-large.png │ ├── report-reproduce.png │ ├── report-step-by-step.png │ ├── report.html │ ├── specification.png │ ├── system-2.2.png │ ├── team.png │ ├── toc.js │ ├── tutorial.html │ ├── using-cli.html │ ├── using-web.html │ ├── web-input.png │ └── web-main.png ├── 2.3 │ ├── api-endpoints.html │ ├── diagrams.html │ ├── docker.html │ ├── error.html │ ├── faq.html │ ├── input.html │ ├── installing.html │ ├── localize-comparison.png │ ├── options.html │ ├── platforms.html │ ├── plugins.html │ ├── problematic-highlight.png │ ├── problematic-improved-accuracy.png │ ├── problematic-improved-speed.png │ ├── problematic-pareto-table.png │ ├── problematic-xim.png │ ├── problematic-xre.png │ ├── range-input-2.png │ ├── range-input.png │ ├── release-notes.html │ ├── report-accuracy.png │ ├── report-alternative-derivation.png │ ├── report-alternative.png │ ├── report-cost-accuracy.png │ ├── report-large.png │ ├── report-reproduce.png │ ├── report-step-by-step.png │ ├── report.html │ ├── specification.png │ ├── system-2.2.png │ ├── team.png │ ├── toc.js │ ├── tutorial.html │ ├── using-cli.html │ ├── using-web.html │ ├── web-input.png │ └── web-main.png └── latest ├── graph.js ├── index.html ├── logo-car.png ├── logo.png ├── main.css ├── papers.html ├── pldi15-paper.pdf ├── pldi15-slides.key ├── pldi15-slides.pdf └── results.json /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.dockerignore -------------------------------------------------------------------------------- /.fmt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.fmt.rkt -------------------------------------------------------------------------------- /.github/workflows/distribute.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.github/workflows/distribute.yml -------------------------------------------------------------------------------- /.github/workflows/plugins.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.github/workflows/plugins.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/resyntax-autofixer.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.github/workflows/resyntax-autofixer.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.github/workflows/unit-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.github/workflows/unit-test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/.gitignore -------------------------------------------------------------------------------- /AGENTS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/AGENTS.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/README.md -------------------------------------------------------------------------------- /bench/.gitignore: -------------------------------------------------------------------------------- 1 | random.rkt 2 | -------------------------------------------------------------------------------- /bench/demo.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/demo.fpcore -------------------------------------------------------------------------------- /bench/graphics/fidget/bear.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/fidget/bear.fpcore -------------------------------------------------------------------------------- /bench/graphics/fidget/colonnade.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/fidget/colonnade.fpcore -------------------------------------------------------------------------------- /bench/graphics/fidget/gyroid-sphere.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/fidget/gyroid-sphere.fpcore -------------------------------------------------------------------------------- /bench/graphics/fidget/hi.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/fidget/hi.fpcore -------------------------------------------------------------------------------- /bench/graphics/fidget/prospero.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/fidget/prospero.fpcore -------------------------------------------------------------------------------- /bench/graphics/fidget/quarter.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/fidget/quarter.fpcore -------------------------------------------------------------------------------- /bench/graphics/lod.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/lod.fpcore -------------------------------------------------------------------------------- /bench/graphics/log-transform.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/log-transform.fpcore -------------------------------------------------------------------------------- /bench/graphics/pbrt.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/graphics/pbrt.fpcore -------------------------------------------------------------------------------- /bench/hamming/machine-decide.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/hamming/machine-decide.fpcore -------------------------------------------------------------------------------- /bench/hamming/overflow-underflow.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/hamming/overflow-underflow.fpcore -------------------------------------------------------------------------------- /bench/hamming/quadratic.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/hamming/quadratic.fpcore -------------------------------------------------------------------------------- /bench/hamming/rearrangement.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/hamming/rearrangement.fpcore -------------------------------------------------------------------------------- /bench/hamming/series.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/hamming/series.fpcore -------------------------------------------------------------------------------- /bench/hamming/trigonometry.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/hamming/trigonometry.fpcore -------------------------------------------------------------------------------- /bench/haskell.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/haskell.fpcore -------------------------------------------------------------------------------- /bench/libraries/fast-math.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/fast-math.fpcore -------------------------------------------------------------------------------- /bench/libraries/jmatjs.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/jmatjs.fpcore -------------------------------------------------------------------------------- /bench/libraries/mathjs/arithmetic.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/mathjs/arithmetic.fpcore -------------------------------------------------------------------------------- /bench/libraries/mathjs/complex.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/mathjs/complex.fpcore -------------------------------------------------------------------------------- /bench/libraries/mathjs/probability.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/mathjs/probability.fpcore -------------------------------------------------------------------------------- /bench/libraries/mathjs/trigonometry.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/mathjs/trigonometry.fpcore -------------------------------------------------------------------------------- /bench/libraries/octave/CollocWt.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/octave/CollocWt.fpcore -------------------------------------------------------------------------------- /bench/libraries/octave/randgamma.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/octave/randgamma.fpcore -------------------------------------------------------------------------------- /bench/libraries/rust.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/libraries/rust.fpcore -------------------------------------------------------------------------------- /bench/mathematics/arvind.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/arvind.fpcore -------------------------------------------------------------------------------- /bench/mathematics/beta-distribution.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/beta-distribution.fpcore -------------------------------------------------------------------------------- /bench/mathematics/dirichlet-mixture-model.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/dirichlet-mixture-model.fpcore -------------------------------------------------------------------------------- /bench/mathematics/excel.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/excel.fpcore -------------------------------------------------------------------------------- /bench/mathematics/gui.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/gui.fpcore -------------------------------------------------------------------------------- /bench/mathematics/hyperbolic-functions.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/hyperbolic-functions.fpcore -------------------------------------------------------------------------------- /bench/mathematics/latlong.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/latlong.fpcore -------------------------------------------------------------------------------- /bench/mathematics/logistic-regression.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/logistic-regression.fpcore -------------------------------------------------------------------------------- /bench/mathematics/sarnoff.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/sarnoff.fpcore -------------------------------------------------------------------------------- /bench/mathematics/statistics.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/statistics.fpcore -------------------------------------------------------------------------------- /bench/mathematics/symmetry.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/symmetry.fpcore -------------------------------------------------------------------------------- /bench/mathematics/xkcd-expr.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/mathematics/xkcd-expr.fpcore -------------------------------------------------------------------------------- /bench/numerics/conte.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/conte.fpcore -------------------------------------------------------------------------------- /bench/numerics/every-cs.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/every-cs.fpcore -------------------------------------------------------------------------------- /bench/numerics/fma.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/fma.fpcore -------------------------------------------------------------------------------- /bench/numerics/great-debate.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/great-debate.fpcore -------------------------------------------------------------------------------- /bench/numerics/hamming-misc.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/hamming-misc.fpcore -------------------------------------------------------------------------------- /bench/numerics/kahan.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/kahan.fpcore -------------------------------------------------------------------------------- /bench/numerics/libm.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/libm.fpcore -------------------------------------------------------------------------------- /bench/numerics/martel.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/martel.fpcore -------------------------------------------------------------------------------- /bench/numerics/polynomial-cancellation.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/polynomial-cancellation.fpcore -------------------------------------------------------------------------------- /bench/numerics/rosa.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/rosa.fpcore -------------------------------------------------------------------------------- /bench/numerics/rump.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/numerics/rump.fpcore -------------------------------------------------------------------------------- /bench/physics/ballistics.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/ballistics.fpcore -------------------------------------------------------------------------------- /bench/physics/dimer-escape.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/dimer-escape.fpcore -------------------------------------------------------------------------------- /bench/physics/gated-magnetic-field.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/gated-magnetic-field.fpcore -------------------------------------------------------------------------------- /bench/physics/kalman.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/kalman.fpcore -------------------------------------------------------------------------------- /bench/physics/multiphoton-states.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/multiphoton-states.fpcore -------------------------------------------------------------------------------- /bench/physics/quantum-walk.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/quantum-walk.fpcore -------------------------------------------------------------------------------- /bench/physics/sidey.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/sidey.fpcore -------------------------------------------------------------------------------- /bench/physics/superfluidity-breakdown.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/superfluidity-breakdown.fpcore -------------------------------------------------------------------------------- /bench/physics/tea-flows.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/tea-flows.fpcore -------------------------------------------------------------------------------- /bench/physics/tea-whistle.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/tea-whistle.fpcore -------------------------------------------------------------------------------- /bench/physics/universal-linear-optics.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/physics/universal-linear-optics.fpcore -------------------------------------------------------------------------------- /bench/proj/krovak.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/proj/krovak.fpcore -------------------------------------------------------------------------------- /bench/proj/omerc.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/proj/omerc.fpcore -------------------------------------------------------------------------------- /bench/proj/som.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/proj/som.fpcore -------------------------------------------------------------------------------- /bench/proj/somerc.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/proj/somerc.fpcore -------------------------------------------------------------------------------- /bench/proj/tmerc.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/proj/tmerc.fpcore -------------------------------------------------------------------------------- /bench/regression.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/regression.fpcore -------------------------------------------------------------------------------- /bench/tutorial.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/bench/tutorial.fpcore -------------------------------------------------------------------------------- /egg-herbie/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/.gitignore -------------------------------------------------------------------------------- /egg-herbie/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/Cargo.lock -------------------------------------------------------------------------------- /egg-herbie/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/Cargo.toml -------------------------------------------------------------------------------- /egg-herbie/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/LICENSE -------------------------------------------------------------------------------- /egg-herbie/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/README.md -------------------------------------------------------------------------------- /egg-herbie/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/info.rkt -------------------------------------------------------------------------------- /egg-herbie/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/main.rkt -------------------------------------------------------------------------------- /egg-herbie/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/src/lib.rs -------------------------------------------------------------------------------- /egg-herbie/src/math.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/egg-herbie/src/math.rs -------------------------------------------------------------------------------- /infra/.gitignore: -------------------------------------------------------------------------------- 1 | *.log 2 | *exceptions*.rkt 3 | graphs-*/ 4 | -------------------------------------------------------------------------------- /infra/analyze-rules.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/analyze-rules.rkt -------------------------------------------------------------------------------- /infra/bench/posit-pherbie.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/bench/posit-pherbie.fpcore -------------------------------------------------------------------------------- /infra/bench/posits.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/bench/posits.fpcore -------------------------------------------------------------------------------- /infra/ci.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/ci.rkt -------------------------------------------------------------------------------- /infra/convert-demo-json.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/convert-demo-json.sh -------------------------------------------------------------------------------- /infra/convert-demo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/convert-demo.rkt -------------------------------------------------------------------------------- /infra/convert-json.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/convert-json.rkt -------------------------------------------------------------------------------- /infra/diagrams/.gitignore: -------------------------------------------------------------------------------- 1 | *.png 2 | -------------------------------------------------------------------------------- /infra/diagrams/1.5/herbie-system.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/diagrams/1.5/herbie-system.drawio -------------------------------------------------------------------------------- /infra/diagrams/1.6-changes/herbie-system.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/diagrams/1.6-changes/herbie-system.drawio -------------------------------------------------------------------------------- /infra/diagrams/1.6/herbie-system.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/diagrams/1.6/herbie-system.drawio -------------------------------------------------------------------------------- /infra/diagrams/2.1/herbie-system.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/diagrams/2.1/herbie-system.drawio -------------------------------------------------------------------------------- /infra/diagrams/2.2/system.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/diagrams/2.2/system.key -------------------------------------------------------------------------------- /infra/diff.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/diff.rkt -------------------------------------------------------------------------------- /infra/fidget2core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/fidget2core.py -------------------------------------------------------------------------------- /infra/herbie-demo.service: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/herbie-demo.service -------------------------------------------------------------------------------- /infra/merge.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/merge.rkt -------------------------------------------------------------------------------- /infra/nightly.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/nightly.sh -------------------------------------------------------------------------------- /infra/softposit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/softposit.rkt -------------------------------------------------------------------------------- /infra/sort-fpcore.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/sort-fpcore.rkt -------------------------------------------------------------------------------- /infra/survey.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/survey.rkt -------------------------------------------------------------------------------- /infra/survey/.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | .env 3 | -------------------------------------------------------------------------------- /infra/survey/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/survey/README.md -------------------------------------------------------------------------------- /infra/survey/seed-variance.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/survey/seed-variance.sh -------------------------------------------------------------------------------- /infra/survey/src/plot-results.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/survey/src/plot-results.sh -------------------------------------------------------------------------------- /infra/survey/src/seed-bar-chart.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/survey/src/seed-bar-chart.py -------------------------------------------------------------------------------- /infra/survey/src/seed-violin-plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/survey/src/seed-violin-plot.py -------------------------------------------------------------------------------- /infra/survey/src/test-versus-plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/survey/src/test-versus-plot.py -------------------------------------------------------------------------------- /infra/survey/src/test-violin-plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/survey/src/test-violin-plot.py -------------------------------------------------------------------------------- /infra/test-api.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/infra/test-api.mjs -------------------------------------------------------------------------------- /logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/logo.png -------------------------------------------------------------------------------- /logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/logo.svg -------------------------------------------------------------------------------- /src/api/datafile.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/api/datafile.rkt -------------------------------------------------------------------------------- /src/api/demo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/api/demo.rkt -------------------------------------------------------------------------------- /src/api/run.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/api/run.rkt -------------------------------------------------------------------------------- /src/api/sandbox.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/api/sandbox.rkt -------------------------------------------------------------------------------- /src/api/server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/api/server.rkt -------------------------------------------------------------------------------- /src/api/shell.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/api/shell.rkt -------------------------------------------------------------------------------- /src/config.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/config.rkt -------------------------------------------------------------------------------- /src/core/alt-table.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/alt-table.rkt -------------------------------------------------------------------------------- /src/core/batch-reduce.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/batch-reduce.rkt -------------------------------------------------------------------------------- /src/core/batch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/batch.rkt -------------------------------------------------------------------------------- /src/core/bsearch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/bsearch.rkt -------------------------------------------------------------------------------- /src/core/compiler.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/compiler.rkt -------------------------------------------------------------------------------- /src/core/derivations.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/derivations.rkt -------------------------------------------------------------------------------- /src/core/dvector.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/dvector.rkt -------------------------------------------------------------------------------- /src/core/egg-herbie.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/egg-herbie.rkt -------------------------------------------------------------------------------- /src/core/egglog-herbie-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/egglog-herbie-tests.rkt -------------------------------------------------------------------------------- /src/core/egglog-herbie.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/egglog-herbie.rkt -------------------------------------------------------------------------------- /src/core/egglog-subprocess.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/egglog-subprocess.rkt -------------------------------------------------------------------------------- /src/core/explain.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/explain.rkt -------------------------------------------------------------------------------- /src/core/localize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/localize.rkt -------------------------------------------------------------------------------- /src/core/mainloop.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/mainloop.rkt -------------------------------------------------------------------------------- /src/core/patch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/patch.rkt -------------------------------------------------------------------------------- /src/core/points.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/points.rkt -------------------------------------------------------------------------------- /src/core/preprocess.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/preprocess.rkt -------------------------------------------------------------------------------- /src/core/programs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/programs.rkt -------------------------------------------------------------------------------- /src/core/prove-rules.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/prove-rules.rkt -------------------------------------------------------------------------------- /src/core/regimes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/regimes.rkt -------------------------------------------------------------------------------- /src/core/rival.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/rival.rkt -------------------------------------------------------------------------------- /src/core/rules.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/rules.rkt -------------------------------------------------------------------------------- /src/core/sampling.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/sampling.rkt -------------------------------------------------------------------------------- /src/core/searchreals.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/searchreals.rkt -------------------------------------------------------------------------------- /src/core/taylor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/taylor.rkt -------------------------------------------------------------------------------- /src/core/test-rules.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/core/test-rules.rkt -------------------------------------------------------------------------------- /src/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/info.rkt -------------------------------------------------------------------------------- /src/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/main.rkt -------------------------------------------------------------------------------- /src/platform.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platform.rkt -------------------------------------------------------------------------------- /src/platforms/c-windows.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/c-windows.rkt -------------------------------------------------------------------------------- /src/platforms/c.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/c.rkt -------------------------------------------------------------------------------- /src/platforms/herbie10.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/herbie10.rkt -------------------------------------------------------------------------------- /src/platforms/herbie20.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/herbie20.rkt -------------------------------------------------------------------------------- /src/platforms/julia.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/julia.rkt -------------------------------------------------------------------------------- /src/platforms/math.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/math.rkt -------------------------------------------------------------------------------- /src/platforms/python.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/python.rkt -------------------------------------------------------------------------------- /src/platforms/racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/racket.rkt -------------------------------------------------------------------------------- /src/platforms/reflow.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/reflow.rkt -------------------------------------------------------------------------------- /src/platforms/rival.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/platforms/rival.rkt -------------------------------------------------------------------------------- /src/reports/common.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/common.rkt -------------------------------------------------------------------------------- /src/reports/core2mathjs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/core2mathjs.rkt -------------------------------------------------------------------------------- /src/reports/history.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/history.rkt -------------------------------------------------------------------------------- /src/reports/make-graph.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/make-graph.rkt -------------------------------------------------------------------------------- /src/reports/pages.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/pages.rkt -------------------------------------------------------------------------------- /src/reports/plot.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/plot.rkt -------------------------------------------------------------------------------- /src/reports/resources/404.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/404.html -------------------------------------------------------------------------------- /src/reports/resources/demo.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/demo.js -------------------------------------------------------------------------------- /src/reports/resources/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/favicon.ico -------------------------------------------------------------------------------- /src/reports/resources/logo-car.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/logo-car.png -------------------------------------------------------------------------------- /src/reports/resources/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/logo.png -------------------------------------------------------------------------------- /src/reports/resources/main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/main.css -------------------------------------------------------------------------------- /src/reports/resources/report-page.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/report-page.js -------------------------------------------------------------------------------- /src/reports/resources/report.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/report.css -------------------------------------------------------------------------------- /src/reports/resources/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/report.html -------------------------------------------------------------------------------- /src/reports/resources/report.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/resources/report.js -------------------------------------------------------------------------------- /src/reports/timeline.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/timeline.rkt -------------------------------------------------------------------------------- /src/reports/traceback.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/reports/traceback.rkt -------------------------------------------------------------------------------- /src/syntax/generators.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/generators.rkt -------------------------------------------------------------------------------- /src/syntax/load-platform.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/load-platform.rkt -------------------------------------------------------------------------------- /src/syntax/matcher.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/matcher.rkt -------------------------------------------------------------------------------- /src/syntax/platform-language.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/platform-language.rkt -------------------------------------------------------------------------------- /src/syntax/platform.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/platform.rkt -------------------------------------------------------------------------------- /src/syntax/read.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/read.rkt -------------------------------------------------------------------------------- /src/syntax/sugar.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/sugar.rkt -------------------------------------------------------------------------------- /src/syntax/syntax-check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/syntax-check.rkt -------------------------------------------------------------------------------- /src/syntax/syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/syntax.rkt -------------------------------------------------------------------------------- /src/syntax/test-syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/test-syntax.rkt -------------------------------------------------------------------------------- /src/syntax/type-check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/type-check.rkt -------------------------------------------------------------------------------- /src/syntax/types.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/syntax/types.rkt -------------------------------------------------------------------------------- /src/utils/alternative.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/alternative.rkt -------------------------------------------------------------------------------- /src/utils/common.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/common.rkt -------------------------------------------------------------------------------- /src/utils/errors.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/errors.rkt -------------------------------------------------------------------------------- /src/utils/float.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/float.rkt -------------------------------------------------------------------------------- /src/utils/multi-command-line.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/multi-command-line.rkt -------------------------------------------------------------------------------- /src/utils/pareto.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/pareto.rkt -------------------------------------------------------------------------------- /src/utils/pretty-print.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/pretty-print.rkt -------------------------------------------------------------------------------- /src/utils/profile.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/profile.rkt -------------------------------------------------------------------------------- /src/utils/timeline.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/src/utils/timeline.rkt -------------------------------------------------------------------------------- /www/aec.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/aec.html -------------------------------------------------------------------------------- /www/arith21-paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/arith21-paper.pdf -------------------------------------------------------------------------------- /www/arith21-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/arith21-slides.pdf -------------------------------------------------------------------------------- /www/arith23-paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/arith23-paper.pdf -------------------------------------------------------------------------------- /www/demo.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/demo.js -------------------------------------------------------------------------------- /www/doc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc.html -------------------------------------------------------------------------------- /www/doc/0.9/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/0.9/docker.html -------------------------------------------------------------------------------- /www/doc/0.9/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/0.9/input.html -------------------------------------------------------------------------------- /www/doc/0.9/installing-herbgrind.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/0.9/installing-herbgrind.html -------------------------------------------------------------------------------- /www/doc/0.9/installing-herbie.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/0.9/installing-herbie.html -------------------------------------------------------------------------------- /www/doc/0.9/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/0.9/options.html -------------------------------------------------------------------------------- /www/doc/0.9/using-herbgrind.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/0.9/using-herbgrind.html -------------------------------------------------------------------------------- /www/doc/0.9/using-herbie.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/0.9/using-herbie.html -------------------------------------------------------------------------------- /www/doc/1.0/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/docker.html -------------------------------------------------------------------------------- /www/doc/1.0/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/faq.html -------------------------------------------------------------------------------- /www/doc/1.0/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/input.html -------------------------------------------------------------------------------- /www/doc/1.0/installing-herbgrind.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/installing-herbgrind.html -------------------------------------------------------------------------------- /www/doc/1.0/installing-herbie.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/installing-herbie.html -------------------------------------------------------------------------------- /www/doc/1.0/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/options.html -------------------------------------------------------------------------------- /www/doc/1.0/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/release-notes.html -------------------------------------------------------------------------------- /www/doc/1.0/using-herbgrind.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/using-herbgrind.html -------------------------------------------------------------------------------- /www/doc/1.0/using-herbie.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.0/using-herbie.html -------------------------------------------------------------------------------- /www/doc/1.1/compare.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/compare.js -------------------------------------------------------------------------------- /www/doc/1.1/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/docker.html -------------------------------------------------------------------------------- /www/doc/1.1/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/faq.html -------------------------------------------------------------------------------- /www/doc/1.1/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/input.html -------------------------------------------------------------------------------- /www/doc/1.1/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/installing.html -------------------------------------------------------------------------------- /www/doc/1.1/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/options.html -------------------------------------------------------------------------------- /www/doc/1.1/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/release-notes.html -------------------------------------------------------------------------------- /www/doc/1.1/report-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/report-derivation.png -------------------------------------------------------------------------------- /www/doc/1.1/report-error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/report-error.png -------------------------------------------------------------------------------- /www/doc/1.1/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/report-large.png -------------------------------------------------------------------------------- /www/doc/1.1/report-prog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/report-prog.png -------------------------------------------------------------------------------- /www/doc/1.1/report-runtime.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/report-runtime.png -------------------------------------------------------------------------------- /www/doc/1.1/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/report.html -------------------------------------------------------------------------------- /www/doc/1.1/results-new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/results-new.json -------------------------------------------------------------------------------- /www/doc/1.1/results-old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/results-old.json -------------------------------------------------------------------------------- /www/doc/1.1/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/team.png -------------------------------------------------------------------------------- /www/doc/1.1/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/using-cli.html -------------------------------------------------------------------------------- /www/doc/1.1/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/using-web.html -------------------------------------------------------------------------------- /www/doc/1.1/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/web-main.png -------------------------------------------------------------------------------- /www/doc/1.1/web-progress.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.1/web-progress.png -------------------------------------------------------------------------------- /www/doc/1.2/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/docker.html -------------------------------------------------------------------------------- /www/doc/1.2/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/faq.html -------------------------------------------------------------------------------- /www/doc/1.2/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/input.html -------------------------------------------------------------------------------- /www/doc/1.2/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/installing.html -------------------------------------------------------------------------------- /www/doc/1.2/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/options.html -------------------------------------------------------------------------------- /www/doc/1.2/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/release-notes.html -------------------------------------------------------------------------------- /www/doc/1.2/report-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/report-derivation.png -------------------------------------------------------------------------------- /www/doc/1.2/report-error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/report-error.png -------------------------------------------------------------------------------- /www/doc/1.2/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/report-large.png -------------------------------------------------------------------------------- /www/doc/1.2/report-prog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/report-prog.png -------------------------------------------------------------------------------- /www/doc/1.2/report-runtime.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/report-runtime.png -------------------------------------------------------------------------------- /www/doc/1.2/report-try-it.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/report-try-it.png -------------------------------------------------------------------------------- /www/doc/1.2/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/report.html -------------------------------------------------------------------------------- /www/doc/1.2/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/team.png -------------------------------------------------------------------------------- /www/doc/1.2/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/using-cli.html -------------------------------------------------------------------------------- /www/doc/1.2/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/using-web.html -------------------------------------------------------------------------------- /www/doc/1.2/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/web-main.png -------------------------------------------------------------------------------- /www/doc/1.2/web-progress.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.2/web-progress.png -------------------------------------------------------------------------------- /www/doc/1.3/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/docker.html -------------------------------------------------------------------------------- /www/doc/1.3/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/faq.html -------------------------------------------------------------------------------- /www/doc/1.3/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/input.html -------------------------------------------------------------------------------- /www/doc/1.3/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/installing.html -------------------------------------------------------------------------------- /www/doc/1.3/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/options.html -------------------------------------------------------------------------------- /www/doc/1.3/plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/plugins.html -------------------------------------------------------------------------------- /www/doc/1.3/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/release-notes.html -------------------------------------------------------------------------------- /www/doc/1.3/report-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report-derivation.png -------------------------------------------------------------------------------- /www/doc/1.3/report-error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report-error.png -------------------------------------------------------------------------------- /www/doc/1.3/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report-large.png -------------------------------------------------------------------------------- /www/doc/1.3/report-plot2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report-plot2.png -------------------------------------------------------------------------------- /www/doc/1.3/report-prog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report-prog.png -------------------------------------------------------------------------------- /www/doc/1.3/report-prog2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report-prog2.png -------------------------------------------------------------------------------- /www/doc/1.3/report-reproduce.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report-reproduce.png -------------------------------------------------------------------------------- /www/doc/1.3/report-try-it.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report-try-it.png -------------------------------------------------------------------------------- /www/doc/1.3/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/report.html -------------------------------------------------------------------------------- /www/doc/1.3/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/team.png -------------------------------------------------------------------------------- /www/doc/1.3/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/toc.js -------------------------------------------------------------------------------- /www/doc/1.3/travis-time.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/travis-time.png -------------------------------------------------------------------------------- /www/doc/1.3/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/tutorial.html -------------------------------------------------------------------------------- /www/doc/1.3/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/using-cli.html -------------------------------------------------------------------------------- /www/doc/1.3/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/using-web.html -------------------------------------------------------------------------------- /www/doc/1.3/web-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/web-input.png -------------------------------------------------------------------------------- /www/doc/1.3/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/web-main.png -------------------------------------------------------------------------------- /www/doc/1.3/web-progress.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.3/web-progress.png -------------------------------------------------------------------------------- /www/doc/1.4/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/docker.html -------------------------------------------------------------------------------- /www/doc/1.4/egg-graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/egg-graph.png -------------------------------------------------------------------------------- /www/doc/1.4/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/faq.html -------------------------------------------------------------------------------- /www/doc/1.4/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/input.html -------------------------------------------------------------------------------- /www/doc/1.4/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/installing.html -------------------------------------------------------------------------------- /www/doc/1.4/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/options.html -------------------------------------------------------------------------------- /www/doc/1.4/plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/plugins.html -------------------------------------------------------------------------------- /www/doc/1.4/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/release-notes.html -------------------------------------------------------------------------------- /www/doc/1.4/report-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report-derivation.png -------------------------------------------------------------------------------- /www/doc/1.4/report-error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report-error.png -------------------------------------------------------------------------------- /www/doc/1.4/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report-large.png -------------------------------------------------------------------------------- /www/doc/1.4/report-plot2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report-plot2.png -------------------------------------------------------------------------------- /www/doc/1.4/report-prog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report-prog.png -------------------------------------------------------------------------------- /www/doc/1.4/report-prog2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report-prog2.png -------------------------------------------------------------------------------- /www/doc/1.4/report-reproduce.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report-reproduce.png -------------------------------------------------------------------------------- /www/doc/1.4/report-try-it.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report-try-it.png -------------------------------------------------------------------------------- /www/doc/1.4/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/report.html -------------------------------------------------------------------------------- /www/doc/1.4/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/team.png -------------------------------------------------------------------------------- /www/doc/1.4/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/toc.js -------------------------------------------------------------------------------- /www/doc/1.4/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/tutorial.html -------------------------------------------------------------------------------- /www/doc/1.4/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/using-cli.html -------------------------------------------------------------------------------- /www/doc/1.4/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/using-web.html -------------------------------------------------------------------------------- /www/doc/1.4/web-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/web-input.png -------------------------------------------------------------------------------- /www/doc/1.4/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/web-main.png -------------------------------------------------------------------------------- /www/doc/1.4/web-progress.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.4/web-progress.png -------------------------------------------------------------------------------- /www/doc/1.5/diagrams.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/diagrams.html -------------------------------------------------------------------------------- /www/doc/1.5/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/docker.html -------------------------------------------------------------------------------- /www/doc/1.5/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/faq.html -------------------------------------------------------------------------------- /www/doc/1.5/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/input.html -------------------------------------------------------------------------------- /www/doc/1.5/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/installing.html -------------------------------------------------------------------------------- /www/doc/1.5/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/options.html -------------------------------------------------------------------------------- /www/doc/1.5/pareto-screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/pareto-screenshot.png -------------------------------------------------------------------------------- /www/doc/1.5/plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/plugins.html -------------------------------------------------------------------------------- /www/doc/1.5/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/release-notes.html -------------------------------------------------------------------------------- /www/doc/1.5/report-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report-derivation.png -------------------------------------------------------------------------------- /www/doc/1.5/report-error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report-error.png -------------------------------------------------------------------------------- /www/doc/1.5/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report-large.png -------------------------------------------------------------------------------- /www/doc/1.5/report-plot2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report-plot2.png -------------------------------------------------------------------------------- /www/doc/1.5/report-prog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report-prog.png -------------------------------------------------------------------------------- /www/doc/1.5/report-prog2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report-prog2.png -------------------------------------------------------------------------------- /www/doc/1.5/report-reproduce.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report-reproduce.png -------------------------------------------------------------------------------- /www/doc/1.5/report-try-it.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report-try-it.png -------------------------------------------------------------------------------- /www/doc/1.5/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/report.html -------------------------------------------------------------------------------- /www/doc/1.5/system-1.5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/system-1.5.png -------------------------------------------------------------------------------- /www/doc/1.5/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/team.png -------------------------------------------------------------------------------- /www/doc/1.5/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/toc.js -------------------------------------------------------------------------------- /www/doc/1.5/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/tutorial.html -------------------------------------------------------------------------------- /www/doc/1.5/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/using-cli.html -------------------------------------------------------------------------------- /www/doc/1.5/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/using-web.html -------------------------------------------------------------------------------- /www/doc/1.5/web-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/web-input.png -------------------------------------------------------------------------------- /www/doc/1.5/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/web-main.png -------------------------------------------------------------------------------- /www/doc/1.5/web-progress.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.5/web-progress.png -------------------------------------------------------------------------------- /www/doc/1.6/diagrams.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/diagrams.html -------------------------------------------------------------------------------- /www/doc/1.6/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/docker.html -------------------------------------------------------------------------------- /www/doc/1.6/egg-rr-seed-variance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/egg-rr-seed-variance.png -------------------------------------------------------------------------------- /www/doc/1.6/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/faq.html -------------------------------------------------------------------------------- /www/doc/1.6/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/input.html -------------------------------------------------------------------------------- /www/doc/1.6/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/installing.html -------------------------------------------------------------------------------- /www/doc/1.6/interactive-preconditions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/interactive-preconditions.png -------------------------------------------------------------------------------- /www/doc/1.6/old-rr-seed-variance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/old-rr-seed-variance.png -------------------------------------------------------------------------------- /www/doc/1.6/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/options.html -------------------------------------------------------------------------------- /www/doc/1.6/pareto-screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/pareto-screenshot.png -------------------------------------------------------------------------------- /www/doc/1.6/plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/plugins.html -------------------------------------------------------------------------------- /www/doc/1.6/quadp-old-branch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/quadp-old-branch.png -------------------------------------------------------------------------------- /www/doc/1.6/quadp-short-branch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/quadp-short-branch.png -------------------------------------------------------------------------------- /www/doc/1.6/range-input-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/range-input-2.png -------------------------------------------------------------------------------- /www/doc/1.6/range-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/range-input.png -------------------------------------------------------------------------------- /www/doc/1.6/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/release-notes.html -------------------------------------------------------------------------------- /www/doc/1.6/report-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report-derivation.png -------------------------------------------------------------------------------- /www/doc/1.6/report-error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report-error.png -------------------------------------------------------------------------------- /www/doc/1.6/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report-large.png -------------------------------------------------------------------------------- /www/doc/1.6/report-plot2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report-plot2.png -------------------------------------------------------------------------------- /www/doc/1.6/report-prog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report-prog.png -------------------------------------------------------------------------------- /www/doc/1.6/report-prog2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report-prog2.png -------------------------------------------------------------------------------- /www/doc/1.6/report-reproduce.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report-reproduce.png -------------------------------------------------------------------------------- /www/doc/1.6/report-try-it.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report-try-it.png -------------------------------------------------------------------------------- /www/doc/1.6/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/report.html -------------------------------------------------------------------------------- /www/doc/1.6/system-1.6-changes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/system-1.6-changes.png -------------------------------------------------------------------------------- /www/doc/1.6/system-1.6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/system-1.6.png -------------------------------------------------------------------------------- /www/doc/1.6/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/team.png -------------------------------------------------------------------------------- /www/doc/1.6/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/toc.js -------------------------------------------------------------------------------- /www/doc/1.6/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/tutorial.html -------------------------------------------------------------------------------- /www/doc/1.6/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/using-cli.html -------------------------------------------------------------------------------- /www/doc/1.6/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/using-web.html -------------------------------------------------------------------------------- /www/doc/1.6/web-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/web-input.png -------------------------------------------------------------------------------- /www/doc/1.6/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/web-main.png -------------------------------------------------------------------------------- /www/doc/1.6/web-progress.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/1.6/web-progress.png -------------------------------------------------------------------------------- /www/doc/2.0/api-endpoints.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/api-endpoints.html -------------------------------------------------------------------------------- /www/doc/2.0/diagrams.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/diagrams.html -------------------------------------------------------------------------------- /www/doc/2.0/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/docker.html -------------------------------------------------------------------------------- /www/doc/2.0/egg-rr-seed-variance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/egg-rr-seed-variance.png -------------------------------------------------------------------------------- /www/doc/2.0/error.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/error.html -------------------------------------------------------------------------------- /www/doc/2.0/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/faq.html -------------------------------------------------------------------------------- /www/doc/2.0/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/input.html -------------------------------------------------------------------------------- /www/doc/2.0/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/installing.html -------------------------------------------------------------------------------- /www/doc/2.0/interactive-preconditions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/interactive-preconditions.png -------------------------------------------------------------------------------- /www/doc/2.0/old-rr-seed-variance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/old-rr-seed-variance.png -------------------------------------------------------------------------------- /www/doc/2.0/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/options.html -------------------------------------------------------------------------------- /www/doc/2.0/pareto-screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/pareto-screenshot.png -------------------------------------------------------------------------------- /www/doc/2.0/plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/plugins.html -------------------------------------------------------------------------------- /www/doc/2.0/problematic-highlight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/problematic-highlight.png -------------------------------------------------------------------------------- /www/doc/2.0/problematic-improved-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/problematic-improved-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.0/problematic-improved-speed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/problematic-improved-speed.png -------------------------------------------------------------------------------- /www/doc/2.0/problematic-pareto-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/problematic-pareto-table.png -------------------------------------------------------------------------------- /www/doc/2.0/problematic-xim.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/problematic-xim.png -------------------------------------------------------------------------------- /www/doc/2.0/problematic-xre.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/problematic-xre.png -------------------------------------------------------------------------------- /www/doc/2.0/quadp-old-branch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/quadp-old-branch.png -------------------------------------------------------------------------------- /www/doc/2.0/quadp-short-branch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/quadp-short-branch.png -------------------------------------------------------------------------------- /www/doc/2.0/range-input-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/range-input-2.png -------------------------------------------------------------------------------- /www/doc/2.0/range-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/range-input.png -------------------------------------------------------------------------------- /www/doc/2.0/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/release-notes.html -------------------------------------------------------------------------------- /www/doc/2.0/report-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.0/report-alternative-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-alternative-derivation.png -------------------------------------------------------------------------------- /www/doc/2.0/report-alternative.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-alternative.png -------------------------------------------------------------------------------- /www/doc/2.0/report-cost-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-cost-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.0/report-error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-error.png -------------------------------------------------------------------------------- /www/doc/2.0/report-initial-program.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-initial-program.png -------------------------------------------------------------------------------- /www/doc/2.0/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-large.png -------------------------------------------------------------------------------- /www/doc/2.0/report-reproduce.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-reproduce.png -------------------------------------------------------------------------------- /www/doc/2.0/report-step-by-step.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report-step-by-step.png -------------------------------------------------------------------------------- /www/doc/2.0/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/report.html -------------------------------------------------------------------------------- /www/doc/2.0/specification.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/specification.png -------------------------------------------------------------------------------- /www/doc/2.0/system-1.6-changes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/system-1.6-changes.png -------------------------------------------------------------------------------- /www/doc/2.0/system-1.6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/system-1.6.png -------------------------------------------------------------------------------- /www/doc/2.0/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/team.png -------------------------------------------------------------------------------- /www/doc/2.0/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/toc.js -------------------------------------------------------------------------------- /www/doc/2.0/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/tutorial.html -------------------------------------------------------------------------------- /www/doc/2.0/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/using-cli.html -------------------------------------------------------------------------------- /www/doc/2.0/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/using-web.html -------------------------------------------------------------------------------- /www/doc/2.0/web-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/web-input.png -------------------------------------------------------------------------------- /www/doc/2.0/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.0/web-main.png -------------------------------------------------------------------------------- /www/doc/2.1/api-endpoints.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/api-endpoints.html -------------------------------------------------------------------------------- /www/doc/2.1/diagrams.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/diagrams.html -------------------------------------------------------------------------------- /www/doc/2.1/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/docker.html -------------------------------------------------------------------------------- /www/doc/2.1/error.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/error.html -------------------------------------------------------------------------------- /www/doc/2.1/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/faq.html -------------------------------------------------------------------------------- /www/doc/2.1/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/input.html -------------------------------------------------------------------------------- /www/doc/2.1/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/installing.html -------------------------------------------------------------------------------- /www/doc/2.1/localize-comparison.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/localize-comparison.png -------------------------------------------------------------------------------- /www/doc/2.1/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/options.html -------------------------------------------------------------------------------- /www/doc/2.1/plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/plugins.html -------------------------------------------------------------------------------- /www/doc/2.1/problematic-highlight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/problematic-highlight.png -------------------------------------------------------------------------------- /www/doc/2.1/problematic-improved-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/problematic-improved-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.1/problematic-improved-speed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/problematic-improved-speed.png -------------------------------------------------------------------------------- /www/doc/2.1/problematic-pareto-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/problematic-pareto-table.png -------------------------------------------------------------------------------- /www/doc/2.1/problematic-xim.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/problematic-xim.png -------------------------------------------------------------------------------- /www/doc/2.1/problematic-xre.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/problematic-xre.png -------------------------------------------------------------------------------- /www/doc/2.1/range-input-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/range-input-2.png -------------------------------------------------------------------------------- /www/doc/2.1/range-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/range-input.png -------------------------------------------------------------------------------- /www/doc/2.1/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/release-notes.html -------------------------------------------------------------------------------- /www/doc/2.1/report-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/report-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.1/report-alternative-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/report-alternative-derivation.png -------------------------------------------------------------------------------- /www/doc/2.1/report-alternative.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/report-alternative.png -------------------------------------------------------------------------------- /www/doc/2.1/report-cost-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/report-cost-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.1/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/report-large.png -------------------------------------------------------------------------------- /www/doc/2.1/report-reproduce.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/report-reproduce.png -------------------------------------------------------------------------------- /www/doc/2.1/report-step-by-step.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/report-step-by-step.png -------------------------------------------------------------------------------- /www/doc/2.1/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/report.html -------------------------------------------------------------------------------- /www/doc/2.1/specification.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/specification.png -------------------------------------------------------------------------------- /www/doc/2.1/system-2.1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/system-2.1.png -------------------------------------------------------------------------------- /www/doc/2.1/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/team.png -------------------------------------------------------------------------------- /www/doc/2.1/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/toc.js -------------------------------------------------------------------------------- /www/doc/2.1/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/tutorial.html -------------------------------------------------------------------------------- /www/doc/2.1/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/using-cli.html -------------------------------------------------------------------------------- /www/doc/2.1/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/using-web.html -------------------------------------------------------------------------------- /www/doc/2.1/web-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/web-input.png -------------------------------------------------------------------------------- /www/doc/2.1/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.1/web-main.png -------------------------------------------------------------------------------- /www/doc/2.2/api-endpoints.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/api-endpoints.html -------------------------------------------------------------------------------- /www/doc/2.2/diagrams.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/diagrams.html -------------------------------------------------------------------------------- /www/doc/2.2/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/docker.html -------------------------------------------------------------------------------- /www/doc/2.2/error.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/error.html -------------------------------------------------------------------------------- /www/doc/2.2/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/faq.html -------------------------------------------------------------------------------- /www/doc/2.2/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/input.html -------------------------------------------------------------------------------- /www/doc/2.2/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/installing.html -------------------------------------------------------------------------------- /www/doc/2.2/localize-comparison.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/localize-comparison.png -------------------------------------------------------------------------------- /www/doc/2.2/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/options.html -------------------------------------------------------------------------------- /www/doc/2.2/platforms.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/platforms.html -------------------------------------------------------------------------------- /www/doc/2.2/plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/plugins.html -------------------------------------------------------------------------------- /www/doc/2.2/problematic-highlight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/problematic-highlight.png -------------------------------------------------------------------------------- /www/doc/2.2/problematic-improved-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/problematic-improved-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.2/problematic-improved-speed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/problematic-improved-speed.png -------------------------------------------------------------------------------- /www/doc/2.2/problematic-pareto-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/problematic-pareto-table.png -------------------------------------------------------------------------------- /www/doc/2.2/problematic-xim.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/problematic-xim.png -------------------------------------------------------------------------------- /www/doc/2.2/problematic-xre.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/problematic-xre.png -------------------------------------------------------------------------------- /www/doc/2.2/range-input-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/range-input-2.png -------------------------------------------------------------------------------- /www/doc/2.2/range-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/range-input.png -------------------------------------------------------------------------------- /www/doc/2.2/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/release-notes.html -------------------------------------------------------------------------------- /www/doc/2.2/report-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/report-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.2/report-alternative-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/report-alternative-derivation.png -------------------------------------------------------------------------------- /www/doc/2.2/report-alternative.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/report-alternative.png -------------------------------------------------------------------------------- /www/doc/2.2/report-cost-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/report-cost-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.2/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/report-large.png -------------------------------------------------------------------------------- /www/doc/2.2/report-reproduce.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/report-reproduce.png -------------------------------------------------------------------------------- /www/doc/2.2/report-step-by-step.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/report-step-by-step.png -------------------------------------------------------------------------------- /www/doc/2.2/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/report.html -------------------------------------------------------------------------------- /www/doc/2.2/specification.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/specification.png -------------------------------------------------------------------------------- /www/doc/2.2/system-2.2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/system-2.2.png -------------------------------------------------------------------------------- /www/doc/2.2/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/team.png -------------------------------------------------------------------------------- /www/doc/2.2/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/toc.js -------------------------------------------------------------------------------- /www/doc/2.2/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/tutorial.html -------------------------------------------------------------------------------- /www/doc/2.2/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/using-cli.html -------------------------------------------------------------------------------- /www/doc/2.2/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/using-web.html -------------------------------------------------------------------------------- /www/doc/2.2/web-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/web-input.png -------------------------------------------------------------------------------- /www/doc/2.2/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.2/web-main.png -------------------------------------------------------------------------------- /www/doc/2.3/api-endpoints.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/api-endpoints.html -------------------------------------------------------------------------------- /www/doc/2.3/diagrams.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/diagrams.html -------------------------------------------------------------------------------- /www/doc/2.3/docker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/docker.html -------------------------------------------------------------------------------- /www/doc/2.3/error.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/error.html -------------------------------------------------------------------------------- /www/doc/2.3/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/faq.html -------------------------------------------------------------------------------- /www/doc/2.3/input.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/input.html -------------------------------------------------------------------------------- /www/doc/2.3/installing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/installing.html -------------------------------------------------------------------------------- /www/doc/2.3/localize-comparison.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/localize-comparison.png -------------------------------------------------------------------------------- /www/doc/2.3/options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/options.html -------------------------------------------------------------------------------- /www/doc/2.3/platforms.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/platforms.html -------------------------------------------------------------------------------- /www/doc/2.3/plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/plugins.html -------------------------------------------------------------------------------- /www/doc/2.3/problematic-highlight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/problematic-highlight.png -------------------------------------------------------------------------------- /www/doc/2.3/problematic-improved-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/problematic-improved-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.3/problematic-improved-speed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/problematic-improved-speed.png -------------------------------------------------------------------------------- /www/doc/2.3/problematic-pareto-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/problematic-pareto-table.png -------------------------------------------------------------------------------- /www/doc/2.3/problematic-xim.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/problematic-xim.png -------------------------------------------------------------------------------- /www/doc/2.3/problematic-xre.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/problematic-xre.png -------------------------------------------------------------------------------- /www/doc/2.3/range-input-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/range-input-2.png -------------------------------------------------------------------------------- /www/doc/2.3/range-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/range-input.png -------------------------------------------------------------------------------- /www/doc/2.3/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/release-notes.html -------------------------------------------------------------------------------- /www/doc/2.3/report-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/report-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.3/report-alternative-derivation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/report-alternative-derivation.png -------------------------------------------------------------------------------- /www/doc/2.3/report-alternative.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/report-alternative.png -------------------------------------------------------------------------------- /www/doc/2.3/report-cost-accuracy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/report-cost-accuracy.png -------------------------------------------------------------------------------- /www/doc/2.3/report-large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/report-large.png -------------------------------------------------------------------------------- /www/doc/2.3/report-reproduce.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/report-reproduce.png -------------------------------------------------------------------------------- /www/doc/2.3/report-step-by-step.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/report-step-by-step.png -------------------------------------------------------------------------------- /www/doc/2.3/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/report.html -------------------------------------------------------------------------------- /www/doc/2.3/specification.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/specification.png -------------------------------------------------------------------------------- /www/doc/2.3/system-2.2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/system-2.2.png -------------------------------------------------------------------------------- /www/doc/2.3/team.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/team.png -------------------------------------------------------------------------------- /www/doc/2.3/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/toc.js -------------------------------------------------------------------------------- /www/doc/2.3/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/tutorial.html -------------------------------------------------------------------------------- /www/doc/2.3/using-cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/using-cli.html -------------------------------------------------------------------------------- /www/doc/2.3/using-web.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/using-web.html -------------------------------------------------------------------------------- /www/doc/2.3/web-input.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/web-input.png -------------------------------------------------------------------------------- /www/doc/2.3/web-main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/doc/2.3/web-main.png -------------------------------------------------------------------------------- /www/doc/latest: -------------------------------------------------------------------------------- 1 | 2.2 -------------------------------------------------------------------------------- /www/graph.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/graph.js -------------------------------------------------------------------------------- /www/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/index.html -------------------------------------------------------------------------------- /www/logo-car.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/logo-car.png -------------------------------------------------------------------------------- /www/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/logo.png -------------------------------------------------------------------------------- /www/main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/main.css -------------------------------------------------------------------------------- /www/papers.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/papers.html -------------------------------------------------------------------------------- /www/pldi15-paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/pldi15-paper.pdf -------------------------------------------------------------------------------- /www/pldi15-slides.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/pldi15-slides.key -------------------------------------------------------------------------------- /www/pldi15-slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/pldi15-slides.pdf -------------------------------------------------------------------------------- /www/results.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herbie-fp/herbie/HEAD/www/results.json --------------------------------------------------------------------------------