Support for smtlib `to_real`

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

133 stars 33 forks source link

Closed bclement-ocp closed 1 year ago

bclement-ocp commented 1 year ago

to_real in smtlib should really be recognized as Sy.Real_of_int. I guess this also applies to other RIA features enabled by --use-fpa.

bclement-ocp commented 1 year ago

Done in #647