Merge pull request #4 from vorpal-research/dev

move from jetbrains to vorpal
vorpal-research · Apr 29, 2022 · 42bc116 · 42bc116
2 parents 9229b5c + 63f9b2d
commit 42bc116
Show file tree

Hide file tree

Showing 20 changed files with 26 additions and 26 deletions.
diff --git a/README.md b/README.md
@@ -32,7 +32,7 @@ Add the link to the repository to your `pom.xml`:
 Include:
 ```xml
 <dependency>
-	<groupId>org.jetbrains.research</groupId>
+	<groupId>org.vorpal.research</groupId>
 	<artifactId>kex-intrinsics</artifactId>
 	<version>${kex-intrinsics.version}</version>
 	<type>pom</type>

diff --git a/pom.xml b/pom.xml
@@ -3,16 +3,16 @@
 
     <modelVersion>4.0.0</modelVersion>
 
-    <groupId>org.jetbrains.research</groupId>
+    <groupId>org.vorpal.research</groupId>
     <artifactId>kex-intrinsics</artifactId>
-    <version>0.0.7</version>
+    <version>0.0.8</version>
     <packaging>jar</packaging>
 
-    <name>org.jetbrains.research kex-intrinsics</name>
+    <name>org.vorpal.research kex-intrinsics</name>
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-        <kotlin.version>1.6.10</kotlin.version>
+        <kotlin.version>1.6.21</kotlin.version>
         <kotlin.code.style>official</kotlin.code.style>
         <junit.version>4.13.2</junit.version>
     </properties>

diff --git a/...search/kex/intrinsics/AssertIntrinsics.kt → ...search/kex/intrinsics/AssertIntrinsics.kt b/...search/kex/intrinsics/AssertIntrinsics.kt → ...search/kex/intrinsics/AssertIntrinsics.kt
@@ -1,6 +1,6 @@
 @file:Suppress("NOTHING_TO_INLINE", "UNUSED_PARAMETER")
 
-package org.jetbrains.research.kex.intrinsics
+package org.vorpal.research.kex.intrinsics
 
 object AssertIntrinsics {
     /**

diff --git a/...ch/kex/intrinsics/CollectionIntrinsics.kt → ...ch/kex/intrinsics/CollectionIntrinsics.kt b/...ch/kex/intrinsics/CollectionIntrinsics.kt → ...ch/kex/intrinsics/CollectionIntrinsics.kt
@@ -1,6 +1,6 @@
-package org.jetbrains.research.kex.intrinsics
+package org.vorpal.research.kex.intrinsics
 
-import org.jetbrains.research.kex.intrinsics.internal.*
+import org.vorpal.research.kex.intrinsics.internal.*
 
 object CollectionIntrinsics {
     /**

diff --git a/...search/kex/intrinsics/ObjectIntrinsics.kt → ...search/kex/intrinsics/ObjectIntrinsics.kt b/...search/kex/intrinsics/ObjectIntrinsics.kt → ...search/kex/intrinsics/ObjectIntrinsics.kt
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics
+package org.vorpal.research.kex.intrinsics
 
 class IntrinsicInvocationException : Throwable() {}
 

diff --git a/...earch/kex/intrinsics/UnknownIntrinsics.kt → ...earch/kex/intrinsics/UnknownIntrinsics.kt b/...earch/kex/intrinsics/UnknownIntrinsics.kt → ...earch/kex/intrinsics/UnknownIntrinsics.kt
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics
+package org.vorpal.research.kex.intrinsics
 
 class UnknownTypeInstantiation() : Throwable()
 

diff --git a/...intrinsics/internal/BooleanGenerator.java → ...intrinsics/internal/BooleanGenerator.java b/...intrinsics/internal/BooleanGenerator.java → ...intrinsics/internal/BooleanGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface BooleanGenerator {

diff --git a/...ex/intrinsics/internal/ByteGenerator.java → ...ex/intrinsics/internal/ByteGenerator.java b/...ex/intrinsics/internal/ByteGenerator.java → ...ex/intrinsics/internal/ByteGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface ByteGenerator {

diff --git a/...ex/intrinsics/internal/CharGenerator.java → ...ex/intrinsics/internal/CharGenerator.java b/...ex/intrinsics/internal/CharGenerator.java → ...ex/intrinsics/internal/CharGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface CharGenerator {

diff --git a/.../intrinsics/internal/DoubleGenerator.java → .../intrinsics/internal/DoubleGenerator.java b/.../intrinsics/internal/DoubleGenerator.java → .../intrinsics/internal/DoubleGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface DoubleGenerator {

diff --git a/...x/intrinsics/internal/FloatGenerator.java → ...x/intrinsics/internal/FloatGenerator.java b/...x/intrinsics/internal/FloatGenerator.java → ...x/intrinsics/internal/FloatGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface FloatGenerator {

diff --git a/...rinsics/internal/Int2BooleanFunction.java → ...rinsics/internal/Int2BooleanFunction.java b/...rinsics/internal/Int2BooleanFunction.java → ...rinsics/internal/Int2BooleanFunction.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface Int2BooleanFunction {

diff --git a/.../internal/IntBoolean2BooleanFunction.java → .../internal/IntBoolean2BooleanFunction.java b/.../internal/IntBoolean2BooleanFunction.java → .../internal/IntBoolean2BooleanFunction.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface IntBoolean2BooleanFunction {

diff --git a/.../kex/intrinsics/internal/IntConsumer.java → .../kex/intrinsics/internal/IntConsumer.java b/.../kex/intrinsics/internal/IntConsumer.java → .../kex/intrinsics/internal/IntConsumer.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface IntConsumer {

diff --git a/...kex/intrinsics/internal/IntGenerator.java → ...kex/intrinsics/internal/IntGenerator.java b/...kex/intrinsics/internal/IntGenerator.java → ...kex/intrinsics/internal/IntGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface IntGenerator {

diff --git a/...ex/intrinsics/internal/LongGenerator.java → ...ex/intrinsics/internal/LongGenerator.java b/...ex/intrinsics/internal/LongGenerator.java → ...ex/intrinsics/internal/LongGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface LongGenerator {

diff --git a/.../intrinsics/internal/ObjectGenerator.java → .../intrinsics/internal/ObjectGenerator.java b/.../intrinsics/internal/ObjectGenerator.java → .../intrinsics/internal/ObjectGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface ObjectGenerator<T> {

diff --git a/...x/intrinsics/internal/ShortGenerator.java → ...x/intrinsics/internal/ShortGenerator.java b/...x/intrinsics/internal/ShortGenerator.java → ...x/intrinsics/internal/ShortGenerator.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface ShortGenerator {

diff --git a/...ex/intrinsics/internal/ValueProducer.java → ...ex/intrinsics/internal/ValueProducer.java b/...ex/intrinsics/internal/ValueProducer.java → ...ex/intrinsics/internal/ValueProducer.java
@@ -1,4 +1,4 @@
-package org.jetbrains.research.kex.intrinsics.internal;
+package org.vorpal.research.kex.intrinsics.internal;
 
 @FunctionalInterface
 public interface ValueProducer<T> {

diff --git a/src/test/kotlin/org/jetbrains/research/kex/AssertIntrinsicsTest.kt b/src/test/kotlin/org/jetbrains/research/kex/AssertIntrinsicsTest.kt
@@ -1,7 +1,7 @@
-package org.jetbrains.research.kex
+package org.vorpal.research.kex
 
-import org.jetbrains.research.kex.intrinsics.AssertIntrinsics.kexAssert
-import org.jetbrains.research.kex.intrinsics.AssertIntrinsics.kexUnreachable
+import org.vorpal.research.kex.intrinsics.AssertIntrinsics.kexAssert
+import org.vorpal.research.kex.intrinsics.AssertIntrinsics.kexUnreachable
 import org.junit.Test
 
 class AssertIntrinsicsTest {