Verification with floating point

@dwightguth @andreistefanescu please review 
yes, it corresponds to ==Float in that NaN != NaN. and 0 == -0

On Thu, Sep 25, 2014 at 2:32 PM, Andrei Stefanescu <notifications@github.com
> wrote:

> In src/main/java/org/kframework/backend/java/symbolic/KILtoSMTLib.java:
>
> > @@ -70,6 +72,11 @@
> >              "int_max",
> >              "int_min",
> >              "int_abs",
> > +            /* extra float theory */
> > +            "remainder",
> > +            "min",
> > +            "max",
> > +            "==",
>
> is == specific for floats?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/968/files#r18054342>.
>