search

herbie-fp / odyssey

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

Implement Odyssey support for async APIs #125

Open elmisback opened 1 month ago

elmisback commented 1 month ago
zaneenders commented 1 month ago

@parthrdesai Let me know if you need help with Async API's what got merged into main is slightly different then what the branch above had.

zaneenders commented 1 month ago

I wrote this function to test the async APIs in Herbie similarly to how we test the sync versions. So something similar might work as a starting point in Odyessy. https://github.com/herbie-fp/herbie/blob/02e7ec5a3709ad3e06968daa97db50d636f1e44b/infra/testApi.mjs#L241

parthrdesai commented 1 month ago

Thanks Zane, I started working on implementing the api's which are not in odyssey. Just a quick question, the API's which are in odyssey will remain as it is right?

zaneenders commented 1 month ago

Oh sorry, Parth didn't see your comment.

Here is a PR implementing this issue. https://github.com/herbie-fp/odyssey/pull/135

elmisback commented 2 weeks ago

After this is merged, we must test all endpoints/Odyssey behavior!

zaneenders commented 3 days ago

Edward mentioned that we should check if the server supports async in this PR.