k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] sqrtFloat

From: Dwight Guth <dwight.guth AT runtimeverification.com>
To: Omar Duhaiby <3omarz AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>, "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: Re: [K-user] sqrtFloat
Date: Mon, 20 Oct 2014 08:27:51 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Unfortunately this function was accidentally deleted from the latest master when the floating point support in the framework was updated. I am adding it back in now, but it may be a little bit before it is back in master. In the meantime, feel free to use rootFloat(F:Float, 2)

On Sun, Oct 19, 2014 at 3:02 AM, Omar Duhaiby <3omarz AT gmail.com> wrote:

Hello, I thought sqrtFloat was included in the FLOAT-HOOKS module, which is automatically imported through BUILTIN-HOOKS. But I get a syntax error when I use sqrtFloat. How do I do it?

Thank you
Omar Alzuhaibi

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] sqrtFloat, Omar Duhaiby, 10/19/2014
- Re: [K-user] sqrtFloat, Dwight Guth, 10/20/2014
  - Re: [K-user] sqrtFloat, Omar Duhaiby, 10/21/2014