Search results

If E is in an expression, it can't be improved

Status: Open.

#277 In herbie-fp/odyssey;

· elmisback opened on Jun 12, 2025

Make sure to filter initial expression from results for /alternatives

Status: Open.

#276 In herbie-fp/odyssey;

· elmisback opened on Jun 12, 2025

JSON derivations create many core->tex server calls

enhancementNew feature or requestNew feature or request

future-work

Status: Open.

#274 In herbie-fp/odyssey;

· elmisback opened on Jun 5, 2025

Approx nodes can't be translated into TeX

Status: Open.

#273 In herbie-fp/odyssey;

· elmisback opened on Jun 5, 2025

Add progress bar for download of binaries (update binaries command)

future-work

Status: Open.

#272 In herbie-fp/odyssey;

· elmisback opened on May 23, 2025

Re-raise non-syntax-based expression errors as interface errors

Status: Open.

#265 In herbie-fp/odyssey;

· elmisback opened on May 2, 2025

Odyssey wrap-up issue

priority-high

Status: Open.

#263 In herbie-fp/odyssey;

· elmisback opened on May 2, 2025

Add test for double toast

priority-low

Status: Open.

#255 In herbie-fp/odyssey;

· elmisback opened on Apr 14, 2025

Update API docs in Herbie -- remove unused functions and improve docs

priority-high

Status: Open.

#249 In herbie-fp/odyssey;

· elmisback opened on Mar 14, 2025

Switch from histories -> derivations for showing derivation steps

priority-high

Status: Open.

#248 In herbie-fp/odyssey;

· elmisback opened on Mar 13, 2025

Ask an LLM to review our codebase for long-term maintenance issues

future-work

priority-high

Status: Open.

#246 In herbie-fp/odyssey;

· elmisback opened on Feb 28, 2025

Limit vertical space used by components

future-work

quick

Status: Open.

#244 In herbie-fp/odyssey;

· elmisback opened on Feb 28, 2025