No commit message

sankalpgambhir · Aug 20, 2014 · 98c9145 · 98c9145
1 parent cb329b3
commit 98c9145
Show file tree

Hide file tree

Showing 9 changed files with 11 additions and 4 deletions.
diff --git a/build.xml b/build.xml
@@ -25,11 +25,13 @@
     <property name="build.dir" value="${base.dir}/bin" />
 
 	<!-- BIP libraries -->
+<!-- BIP support is disabled for the time being
 	<path id="bip.jars">
 		<fileset dir="${base.dir}/bip-lib">
 	        <include name="*.jar"/>
 	    </fileset>
 	</path>
+ -->
 
     <!-- libraries -->
     <property name="java-cup.jar" value="${lib.dir}/java-cup-11a.jar" />
@@ -142,7 +144,7 @@
         	    <pathelement location="${nts.jar}" />
                 <pathelement location="${build.dir}" />
             </classpath>
-    	    <classpath refid="bip.jars" />
+<!--    	    <classpath refid="bip.jars" /> -->
         </scalac>
     </target>
 

diff --git a/flata/README b/flata/README
@@ -0,0 +1,5 @@
+Flata is the toolset for the manipulation and the analysis of counter
+automata, distributed under LGPL at http://nts.imag.fr/index.php/Flata
+
+NTS is the Java parser for the Numerical Transition Systems library,
+available from https://github.com/filipkonecny/nts
diff --git a/flata/acceleration.jar b/flata/acceleration.jar
diff --git a/flata/acceleration.tgz b/flata/acceleration.tgz
diff --git a/flata/flata.jar b/flata/flata.jar
diff --git a/flata/nts.jar b/flata/nts.jar
diff --git a/src/lazabs/Main.scala b/src/lazabs/Main.scala
@@ -137,7 +137,7 @@ object Main {
 
 
   val greeting =
-    "Eldarica [version 1.00]. (C) Copyright 2012 LARA. EPFL"
+    "Eldarica, 2014-08-20. (C) Copyright 2012-2014 Hossein Hojjat and Philipp Ruemmer"
 
   def doMain(args: Array[String],
              stoppingCond : => Boolean) : Unit = try {
@@ -221,7 +221,7 @@ object Main {
       case "-pngNo" :: rest => pngNo = true; arguments(rest)
       case "-dotCEX" :: rest => pngNo = false; arguments(rest)
       case "-assert" :: rest => GlobalParameters.get.assertions = true; arguments(rest)
-      case "-h" :: rest => println(greeting + "\nUsage: lazabs [options] file\n\n" +
+      case "-h" :: rest => println(greeting + "\n\nUsage: lazabs [options] file\n\n" +
           "General options:\n" +
           " -h\t\tShow this information\n" +
           " -assert\tEnable assertions in Eldarica\n" +
@@ -334,7 +334,7 @@ object Main {
       format match {
         case InputFormat.Bip =>
           // BIP mode
-          lazabs.bip.HornBip.apply(fileName)
+//          lazabs.bip.HornBip.apply(fileName)
           return
         case InputFormat.UppaalRelational =>
           // uses iterative relational encoding to solve the system 

diff --git a/src/lazabs/bip/BipAst.scala → src/lazabs/bip/BipAst.scala-disabled b/src/lazabs/bip/BipAst.scala → src/lazabs/bip/BipAst.scala-disabled
diff --git a/src/lazabs/bip/HornBip.scala → src/lazabs/bip/HornBip.scala-disabled b/src/lazabs/bip/HornBip.scala → src/lazabs/bip/HornBip.scala-disabled