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

Some kind of server/interface state bug? #62

Closed elmisback closed 2 months ago

elmisback commented 3 months ago

sqrt(x + 1) - sqrt(x) after x + y after default breaks things

Might be helped by restarting the server. Need to confirm a good commit to deploy.

elmisback commented 2 months ago

Tracked specifically in #66