You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The current implementation of Alt-Ergo doesn't support the float theory https://smtlib.cs.uiowa.edu/theories-FloatingPoint.shtml but
a theory about round functions from the real to subset of real corresponding to finite floats with fixed precision.
In particular, our implementation doesn't support infinity values or NaN values.
The text was updated successfully, but these errors were encountered:
The current implementation of Alt-Ergo doesn't support the float theory https://smtlib.cs.uiowa.edu/theories-FloatingPoint.shtml but
a theory about round functions from the
real
to subset ofreal
corresponding to finite floats with fixed precision.In particular, our implementation doesn't support infinity values or
NaN
values.The text was updated successfully, but these errors were encountered: