From 52aa9b8f63a3d955031e7a0dfd6e575ca7cf76b3 Mon Sep 17 00:00:00 2001
From: Dietrich <dgeisler50@gmail.com>
Date: Mon, 13 Jul 2015 19:40:09 -0600
Subject: Modified internal abstract float representation to allow user-defined
 mantissa and exponent

---
 Source/Core/Parser.cs | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'Source/Core/Parser.cs')

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index 6f793503..bb372cfb 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -668,7 +668,17 @@ private class BvBounds : Expr {
    ty = new BasicType(t, SimpleType.Real);
   } else if (la.kind == 98) {
    Get();
-   ty = new BasicType(t, SimpleType.Float);
+   if (la.kind == 9) {
+     Get();
+     Expect(3);
+     int exp = Int32.Parse(t.val);
+     Expect(3);
+     int man = Int32.Parse(t.val);
+     ty = new FloatType(t, exp, man);
+     Expect(10);
+   }
+   else
+    ty = new FloatType(t, 8, 23);
   } else if (la.kind == 16) {
 			Get();
 			ty = new BasicType(t, SimpleType.Bool); 
-- 
cgit v1.2.3