Bump Bump to version 0.4.1-SNAPSHOT for post-COMPASS development

symphonytool · Sep 29, 2014 · 5b27e92 · 5b27e92
1 parent d8ca230
commit 5b27e92
Show file tree

Hide file tree

Showing 67 changed files with 67 additions and 67 deletions.
diff --git a/core/analysis/modelchecker/pom.xml b/core/analysis/modelchecker/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.core.analysis</groupId>
     <artifactId>analysis</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/analysis/pog/pom.xml b/core/analysis/pog/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>eu.compassresearch.core.analysis</groupId>
 		<artifactId>analysis</artifactId>
-		<version>0.4.0</version>
+		<version>0.4.1-SNAPSHOT</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/core/analysis/pom.xml b/core/analysis/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>eu.compassresearch.core</groupId>
     <artifactId>core</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/analysis/refinementtool/pom.xml b/core/analysis/refinementtool/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.core.analysis</groupId>
     <artifactId>analysis</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/analysis/rtt-mbt/pom.xml b/core/analysis/rtt-mbt/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.core.analysis</groupId>
     <artifactId>analysis</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/analysis/theoremprover/pom.xml b/core/analysis/theoremprover/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.core.analysis</groupId>
     <artifactId>analysis</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/ast/pom.xml b/core/ast/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.core</groupId>
     <artifactId>core</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/cmdline/pom.xml b/core/cmdline/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.core</groupId>
     <artifactId>core</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/interpreter/pom.xml b/core/interpreter/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>eu.compassresearch.core</groupId>
 		<artifactId>core</artifactId>
-		<version>0.4.0</version>
+		<version>0.4.1-SNAPSHOT</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/core/parser/pom.xml b/core/parser/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.core</groupId>
     <artifactId>core</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/pom.xml b/core/pom.xml
@@ -7,7 +7,7 @@
   <parent>
     <groupId>eu.compassresearch</groupId>
     <artifactId>root</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/core/s2c/pom.xml b/core/s2c/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>eu.compassresearch.core</groupId>
 		<artifactId>core</artifactId>
-		<version>0.4.0</version>
+		<version>0.4.1-SNAPSHOT</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/core/typechecker/pom.xml b/core/typechecker/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>eu.compassresearch.core</groupId>
 		<artifactId>core</artifactId>
-		<version>0.4.0</version>
+		<version>0.4.1-SNAPSHOT</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/ide/core/META-INF/MANIFEST.MF b/ide/core/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Symphony IDE CML Core
 Bundle-SymbolicName: eu.compassresearch.ide.core;singleton:=true
-Bundle-Version: 0.4.0
+Bundle-Version: 0.4.1.qualifier
 Bundle-Activator: eu.compassresearch.ide.core.CmlCorePlugin
 Bundle-Vendor: The COMPASS Project
 Bundle-Localization: plugin

diff --git a/ide/core/pom.xml b/ide/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide</groupId>
     <artifactId>ide</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/core/feature.xml b/ide/features/core/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.core"
       label="Symphony Core"
-      version="0.4.0"
+      version="0.4.1.qualifier"
       plugin="eu.compassresearch.ide.core">
 
    <description>

diff --git a/ide/features/core/pom.xml b/ide/features/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide</groupId>
     <artifactId>features</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/collaboration/feature.xml b/ide/features/plugins/collaboration/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.plugins.collaboration"
       label="Collaboration"
-      version="0.4.0">
+      version="0.4.1.qualifier">
 
    <description>
       %description

diff --git a/ide/features/plugins/collaboration/pom.xml b/ide/features/plugins/collaboration/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/faulttolerance/feature.xml b/ide/features/plugins/faulttolerance/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.plugins.faulttolerance"
       label="Fault Tolerance Plugin"
-      version="0.4.0">
+      version="0.4.1.qualifier">
 
    <description>
       %description

diff --git a/ide/features/plugins/faulttolerance/pom.xml b/ide/features/plugins/faulttolerance/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/interpreter/feature.xml b/ide/features/plugins/interpreter/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.plugins.interpreter"
       label="CML Interpreter"
-      version="0.4.0">
+      version="0.4.1.qualifier">
 
    <description>
       %description

diff --git a/ide/features/plugins/interpreter/pom.xml b/ide/features/plugins/interpreter/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/modelchecker/feature.xml b/ide/features/plugins/modelchecker/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.plugins.modelchecker"
       label="CML Model Checker"
-      version="0.4.0">
+      version="0.4.1.qualifier">
 
    <description>
       %description

diff --git a/ide/features/plugins/modelchecker/pom.xml b/ide/features/plugins/modelchecker/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/pog/feature.xml b/ide/features/plugins/pog/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.plugins.pog"
       label="Proof Obligation Generation"
-      version="0.4.0">
+      version="0.4.1.qualifier">
 
    <description>
       %description

diff --git a/ide/features/plugins/pog/pom.xml b/ide/features/plugins/pog/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/pom.xml b/ide/features/plugins/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide</groupId>
     <artifactId>features</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/refinementtool/feature.xml b/ide/features/plugins/refinementtool/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.plugins.refinementtool"
       label="Refinement Tool"
-      version="0.4.0">
+      version="0.4.1.qualifier">
 
    <description>
       %description

diff --git a/ide/features/plugins/refinementtool/pom.xml b/ide/features/plugins/refinementtool/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/rtt-mbt/pom.xml b/ide/features/plugins/rtt-mbt/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/s2c/feature.xml b/ide/features/plugins/s2c/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.plugins.s2c"
       label="CML S2C"
-      version="0.4.0">
+      version="0.4.1.qualifier">
 
    <description>
       %description

diff --git a/ide/features/plugins/s2c/pom.xml b/ide/features/plugins/s2c/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/plugins/theoremprover/feature.xml b/ide/features/plugins/theoremprover/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="eu.compassresearch.ide.features.plugins.theoremprover"
       label="Theorem Prover"
-      version="0.4.0">
+      version="0.4.1.qualifier">
 
    <description>
       %description

diff --git a/ide/features/plugins/theoremprover/pom.xml b/ide/features/plugins/theoremprover/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide.features</groupId>
     <artifactId>plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/pom.xml b/ide/features/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide</groupId>
     <artifactId>ide</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/features/rcp/feature.xml b/ide/features/rcp/feature.xml
@@ -2,7 +2,7 @@
 <feature
     id="eu.compassresearch.ide.features.rcp"
     label="Symphony IDE RCP"
-    version="0.4.0">
+    version="0.4.1.qualifier">
 
   <description>
     %description

diff --git a/ide/features/rcp/pom.xml b/ide/features/rcp/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>eu.compassresearch.ide</groupId>
     <artifactId>features</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/libraries/META-INF/MANIFEST.MF b/ide/libraries/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: COMPASS
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 0.4.0
+Bundle-Version: 0.4.1.qualifier
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin

diff --git a/ide/libraries/pom.xml b/ide/libraries/pom.xml
@@ -2,7 +2,7 @@
   <parent>
     <groupId>eu.compassresearch.ide</groupId>
     <artifactId>ide</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 	<modelVersion>4.0.0</modelVersion>

diff --git a/ide/platform/META-INF/MANIFEST.MF b/ide/platform/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Symphony IDE Product
 Bundle-SymbolicName: eu.compassresearch.ide.platform;singleton:=true
-Bundle-Version: 0.4.0
+Bundle-Version: 0.4.1.qualifier
 Bundle-Localization: plugin
 Bundle-Activator: eu.compassresearch.ide.platform.Activator
 Bundle-Vendor: The COMPASS Project

diff --git a/ide/platform/pom.xml b/ide/platform/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>eu.compassresearch.ide</groupId>
     <artifactId>ide</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 

diff --git a/ide/plugins/collaboration/META-INF/MANIFEST.MF b/ide/plugins/collaboration/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Symphony IDE Collaboration Plugin
 Bundle-SymbolicName: eu.compassresearch.ide.collaboration;singleton:=true
-Bundle-Version: 0.4.0
+Bundle-Version: 0.4.1.qualifier
 Bundle-Activator: eu.compassresearch.ide.collaboration.Activator
 Bundle-Vendor: The COMPASS Project
 Import-Package: eu.compassresearch.ast.actions,

diff --git a/ide/plugins/collaboration/pom.xml b/ide/plugins/collaboration/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>eu.compassresearch.ide</groupId>
     <artifactId>eu.compassresearch.ide.plugins</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>