updated scenario verifier to version 0.2.21-SNAPSHOT

INTO-CPS-Association · Dec 7, 2023 · 5a45009 · 5a45009
1 parent b0172af
commit 5a45009
Show file tree

Hide file tree

Showing 5 changed files with 56 additions and 52 deletions.
diff --git a/frameworks/fmi2/pom.xml b/frameworks/fmi2/pom.xml
@@ -21,7 +21,7 @@
         <dependency>
             <groupId>org.into-cps.vdmcheck.fmi2</groupId>
             <artifactId>vdmcheck2</artifactId>
-            <version>1.1.1</version>
+            <version>1.1.3-SNAPSHOT</version>
             <exclusions>
                 <exclusion>
                     <groupId>junit</groupId>

diff --git a/maestro-webapi/pom.xml b/maestro-webapi/pom.xml
@@ -23,8 +23,8 @@
             <version>3.11</version>
         </dependency>
         <dependency>
-            <groupId>INTO-CPS-Association</groupId>
-            <artifactId>scenario_verifier_2.13</artifactId>
+            <groupId>org.into-cps.verification</groupId>
+            <artifactId>scenario_verifier</artifactId>
         </dependency>
         <dependency>
             <groupId>org.junit.jupiter</groupId>

diff --git a/maestro/pom.xml b/maestro/pom.xml
@@ -27,8 +27,9 @@
         </dependency>
 
         <dependency>
-            <groupId>INTO-CPS-Association</groupId>
-            <artifactId>scenario_verifier_2.13</artifactId>
+            <groupId>org.into-cps.verification</groupId>
+            <artifactId>scenario_verifier</artifactId>
+
         </dependency>
         <dependency>
             <groupId>org.junit.jupiter</groupId>

diff --git a/plugins/sigver/pom.xml b/plugins/sigver/pom.xml
@@ -33,10 +33,13 @@
             <version>${project.version}</version>
             <scope>compile</scope>
         </dependency>
-        <dependency>
-            <groupId>INTO-CPS-Association</groupId>
-            <artifactId>scenario_verifier_2.13</artifactId>
-        </dependency>
+
+ <dependency>
+   <groupId>org.into-cps.verification</groupId>
+    <artifactId>scenario_verifier</artifactId>
+<version>0.2.21-SNAPSHOT</version>
+  </dependency>
+
         <dependency>
             <groupId>org.jetbrains.kotlin</groupId>
             <artifactId>kotlin-stdlib-jdk8</artifactId>
@@ -118,4 +121,4 @@
             </plugin>
         </plugins>
     </build>
-</project>
+</project>
diff --git a/pom.xml b/pom.xml
@@ -37,21 +37,21 @@
     </properties>
 
     <repositories>
-        <repository>
-            <id>maestro2-third-party</id>
-            <name>maestro2-third-party</name>
-            <url>https://overture.au.dk/artifactory/maestro2-third-party</url>
-        </repository>
-        <repository>
-            <id>overture.au.dk</id>
-            <name>overture.au.dk-releases</name>
-            <url>https://overture.au.dk/artifactory/into-cps</url>
-        </repository>
-        <repository>
-            <id>vdmj</id>
-            <name>overture.au.dk-vdmj</name>
-            <url>https://overture.au.dk/artifactory/vdmj</url>
-        </repository>
+<!--        <repository>-->
+<!--            <id>maestro2-third-party</id>-->
+<!--            <name>maestro2-third-party</name>-->
+<!--            <url>https://overture.au.dk/artifactory/maestro2-third-party</url>-->
+<!--        </repository>-->
+<!--        <repository>-->
+<!--            <id>overture.au.dk</id>-->
+<!--            <name>overture.au.dk-releases</name>-->
+<!--            <url>https://overture.au.dk/artifactory/into-cps</url>-->
+<!--        </repository>-->
+<!--        <repository>-->
+<!--            <id>vdmj</id>-->
+<!--            <name>overture.au.dk-vdmj</name>-->
+<!--            <url>https://overture.au.dk/artifactory/vdmj</url>-->
+<!--        </repository>-->
     </repositories>
 
     <modules>
@@ -367,9 +367,9 @@
         <dependencies>
 
             <dependency>
-                <groupId>INTO-CPS-Association</groupId>
-                <artifactId>scenario_verifier_2.13</artifactId>
-                <version>0.2.6</version>
+                <groupId>org.into-cps.verification</groupId>
+                <artifactId>scenario_verifier</artifactId>
+                <version>0.2.21-SNAPSHOT</version>
             </dependency>
 
             <dependency>
@@ -746,30 +746,30 @@
             </activation>
             <repositories>
 
-                <repository>
-                    <id>maestro2-third-party</id>
-                    <name>maestro2-third-party</name>
-                    <url>https://overture.au.dk/artifactory/maestro2-third-party</url>
-                    <snapshots>
-                        <updatePolicy>interval:30</updatePolicy>
-                    </snapshots>
-                </repository>
-                <repository>
-                    <id>overture.au.dk</id>
-                    <name>overture.au.dk-releases</name>
-                    <url>https://overture.au.dk/artifactory/into-cps</url>
-                    <snapshots>
-                        <updatePolicy>interval:30</updatePolicy>
-                    </snapshots>
-                </repository>
-                <repository>
-                    <id>vdmj</id>
-                    <name>overture.au.dk-vdmj</name>
-                    <url>https://overture.au.dk/artifactory/vdmj</url>
-                    <snapshots>
-                        <updatePolicy>interval:30</updatePolicy>
-                    </snapshots>
-                </repository>
+<!--                <repository>-->
+<!--                    <id>maestro2-third-party</id>-->
+<!--                    <name>maestro2-third-party</name>-->
+<!--                    <url>https://overture.au.dk/artifactory/maestro2-third-party</url>-->
+<!--                    <snapshots>-->
+<!--                        <updatePolicy>interval:30</updatePolicy>-->
+<!--                    </snapshots>-->
+<!--                </repository>-->
+<!--                <repository>-->
+<!--                    <id>overture.au.dk</id>-->
+<!--                    <name>overture.au.dk-releases</name>-->
+<!--                    <url>https://overture.au.dk/artifactory/into-cps</url>-->
+<!--                    <snapshots>-->
+<!--                        <updatePolicy>interval:30</updatePolicy>-->
+<!--                    </snapshots>-->
+<!--                </repository>-->
+<!--                <repository>-->
+<!--                    <id>vdmj</id>-->
+<!--                    <name>overture.au.dk-vdmj</name>-->
+<!--                    <url>https://overture.au.dk/artifactory/vdmj</url>-->
+<!--                    <snapshots>-->
+<!--                        <updatePolicy>interval:30</updatePolicy>-->
+<!--                    </snapshots>-->
+<!--                </repository>-->
             </repositories>
         </profile>
     </profiles>