Herbie for Odyssey 1.1 binaries

Herbie binaries for the Odyssey 1.1 release.

Linux FPTaylor and FPBench Binaries

FPTaylor and FPBench binaries for FPTaylor external integration

Related Herbie binaries for 1.0.2

These are the Herbie binaries for all platforms that Odyssey automatically runs to analyze expressions.

Should work with 1.0.2 (and later versions until Herbie/Odyssey introduce breaking changes).

UIST'23 Eval archive branch

This is the code artifact for our UIST'23 submission.