renamed fp32 to BigFloat

2 files changed, 7 insertions, 7 deletions

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index 7aa457fe..15ff87db 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -356,7 +356,7 @@ namespace Microsoft.Boogie {
       Contract.Ensures(Contract.Result<LiteralExpr>() != null);

       return new LiteralExpr(Token.NoToken, value);

     }

-    public static LiteralExpr Literal(FP32 value)

+    public static LiteralExpr Literal(BigFloat value)

     {

       Contract.Ensures(Contract.Result<LiteralExpr>() != null);

       return new LiteralExpr(Token.NoToken, value);

@@ -562,7 +562,7 @@ namespace Microsoft.Boogie {
     /// </summary>

     /// <param name="tok"></param>

     /// <param name="v"></param>

-    public LiteralExpr(IToken/*!*/ tok, FP32 v, bool immutable = false)

+    public LiteralExpr(IToken/*!*/ tok, BigFloat v, bool immutable = false)

       : base(tok, immutable)

     {

       Contract.Requires(tok != null);

@@ -630,7 +630,7 @@ namespace Microsoft.Boogie {
           return Type.Int;

         } else if (Val is BigDec) {

           return Type.Real;

-        } else if (Val is FP32) {

+        } else if (Val is BigFloat) {

           return Type.Float;

         } else if (Val is BvConst) {

           return Type.GetBvType(((BvConst)Val).Bits);

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index e3ffc1c9..8edcebdf 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -1719,7 +1719,7 @@ out List<Variable>/*!*/ ins, out List<Variable>/*!*/ outs, out QKeyValue kv) {
 	}

 

 	void AtomExpression(out Expr/*!*/ e) {

-  Contract.Ensures(Contract.ValueAtReturn(out e) != null); IToken/*!*/ x; int n; BigNum bn; BigDec bd; FP32 fp;

+  Contract.Ensures(Contract.ValueAtReturn(out e) != null); IToken/*!*/ x; int n; BigNum bn; BigDec bd; BigFloat fp;

 		List<Expr>/*!*/ es;  List<Variable>/*!*/ ds;  Trigger trig;

 		List<TypeVariable>/*!*/ typeParams;

 		IdentifierExpr/*!*/ id;

@@ -1863,7 +1863,7 @@ out List<Variable>/*!*/ ins, out List<Variable>/*!*/ outs, out QKeyValue kv) {
 		

 	}

 

- void Float(out FP32 n)

+ void Float(out BigFloat n)

  {

    string s = "";

    if (la.kind == 6) {

@@ -1871,10 +1871,10 @@ out List<Variable>/*!*/ ins, out List<Variable>/*!*/ outs, out QKeyValue kv) {
      s = t.val; 

    } else SynErr(126);

    try {

-     n = FP32.FromString(s); 

+     n = BigFloat.FromString(s); 

    } catch (FormatException) {

      this.SemErr("incorrectly formatted number");

-     n = FP32.ZERO; 

+     n = BigFloat.ZERO; 

    }

  }