From 065ff195b3ceec6a5676f2f668ee0c1495fa0e19 Mon Sep 17 00:00:00 2001
From: Hernan Ponce de Leon <zeta96@gmail.com>
Date: Fri, 24 May 2024 11:11:53 +0200
Subject: [PATCH] Release v4.1.0 (#682)

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
Co-authored-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
---
 dartagnan/pom.xml | 2 +-
 pom.xml           | 2 +-
 svcomp/pom.xml    | 2 +-
 ui/pom.xml        | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/dartagnan/pom.xml b/dartagnan/pom.xml
index 6b3a75d9d4..cbea0d07bb 100644
--- a/dartagnan/pom.xml
+++ b/dartagnan/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>com.dat3m</groupId>
         <artifactId>dat3m</artifactId>
-        <version>4.0.1</version>
+        <version>4.1.0</version>
     </parent>
     <artifactId>dartagnan</artifactId>
     <packaging>jar</packaging>
diff --git a/pom.xml b/pom.xml
index 0ad8a0661b..1ff80f9116 100644
--- a/pom.xml
+++ b/pom.xml
@@ -5,7 +5,7 @@
 
     <groupId>com.dat3m</groupId>
     <artifactId>dat3m</artifactId>
-    <version>4.0.1</version>
+    <version>4.1.0</version>
     <packaging>pom</packaging>
 
     <url>https://github.com/hernanponcedeleon/Dat3M</url>
diff --git a/svcomp/pom.xml b/svcomp/pom.xml
index 2f2cbfa2fd..34bc586fd5 100644
--- a/svcomp/pom.xml
+++ b/svcomp/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>com.dat3m</groupId>
         <artifactId>dat3m</artifactId>
-        <version>4.0.1</version>
+        <version>4.1.0</version>
     </parent>
     <artifactId>svcomp</artifactId>
     <packaging>jar</packaging>
diff --git a/ui/pom.xml b/ui/pom.xml
index c3130a3eb5..f164be6ba9 100644
--- a/ui/pom.xml
+++ b/ui/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>com.dat3m</groupId>
         <artifactId>dat3m</artifactId>
-        <version>4.0.1</version>
+        <version>4.1.0</version>
     </parent>
     <artifactId>ui</artifactId>
     <packaging>jar</packaging>