Add script for running uppsat, and also version number

src/main/scala/uppsat/main.scala

@@ -33,6 +33,8 @@ object globalOptions {
   // FLAGS
   var REACHED_MAX_PRECISON = false
 
+  val VERSION = "0.5"
+
   var RANDOM_SEED = 0
   var VERBOSE = false
   var STATS = false
@@ -103,6 +105,7 @@ object globalOptions {
 object main {
 
   def printUsage() = {
+    println("UppSAT version " + globalOptions.VERSION)
     println("Usage: uppsat [-options] input file")
     println("Options:")
     println("\t-v - verbose output")

src/main/scala/uppsat/parser/Interpreter.scala

@@ -5,6 +5,7 @@ package uppsat.parser
 import uppsat.theory.IntegerTheory._
 
 import uppsat.globalOptions.verbose
+import uppsat.globalOptions.VERSION
 
 import uppsat.theory.FloatingPointTheory.FPSortFactory.FPSort
 import uppsat.theory.BitVectorTheory.BVSortFactory.BVSort
@@ -432,7 +433,7 @@ def hexToBitList(hex : String) = {
          case ":name" =>
            println("(:name \"uppsat\")")
          case ":version" =>
-           println("(:version 0.01)")
+           println("(:version " + uppsat.globalOptions.VERSION + ")")
          case ":error-behavior" =>
            println("(:error-behavior \"immediate-exit\")")
          case ":interpolation-method" =>

uppsat

@@ -1,17 +1,2 @@
-#!/bin/sh
-
-if [ $(uname) = "Linux" ]; then
-    pathCmd="readlink -f"
-elif [ $(uname) = "Darwin" ]; then
-    pathCmd="stat -f %N"
-else
-    pathCmd="realpath"
-fi
-
-BASEDIR=`dirname $($pathCmd $0)`
-TARGET=`echo $BASEDIR/target/scala-*/uppsat-assembly*.jar`
-JAVA=java
-
-export JAVA_OPTS="-Xss20000k -Xmx1500m"
-
-exec $JAVA -jar $TARGET "$@"
+#!/bin/bash
+scala uppsat.jar $@