search

herbie-fp / odyssey

A platform for exploring floating-point expressions :boat:
https://herbie-fp.github.io/odyssey/
MIT License
16 stars 0 forks source link

Input/output logging #100

Open elmisback opened 2 weeks ago

elmisback commented 2 weeks ago

In order to replace the Herbie demo, the most important missing feature is input-output logging. We can accomplish this through a logging server that all input expressions, alternatives, and sampling info are sent to. We should try to avoid data duplication to the extent that we can, but the priority is having something that runs.

elmisback commented 2 weeks ago

We need to save at least the input spec, the sample, any expressions considered, and the analysis data for those expressions for each tool.

elmisback commented 2 weeks ago
elmisback commented 2 weeks ago

We could also potentially load analysis state from this server?