Skip to content

Commit

Permalink
Update to version 4.2.0
Browse files Browse the repository at this point in the history
  • Loading branch information
hernan-poncedeleon committed Nov 15, 2024
1 parent 5789d53 commit 6919834
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion dartagnan/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>com.dat3m</groupId>
<artifactId>dat3m</artifactId>
<version>4.1.0</version>
<version>4.2.0</version>
</parent>
<artifactId>dartagnan</artifactId>
<packaging>jar</packaging>
Expand Down
2 changes: 1 addition & 1 deletion pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

<groupId>com.dat3m</groupId>
<artifactId>dat3m</artifactId>
<version>4.1.0</version>
<version>4.2.0</version>
<packaging>pom</packaging>

<url>https://github.com/hernanponcedeleon/Dat3M</url>
Expand Down
2 changes: 1 addition & 1 deletion svcomp/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>com.dat3m</groupId>
<artifactId>dat3m</artifactId>
<version>4.1.0</version>
<version>4.2.0</version>
</parent>
<artifactId>svcomp</artifactId>
<packaging>jar</packaging>
Expand Down
2 changes: 1 addition & 1 deletion ui/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>com.dat3m</groupId>
<artifactId>dat3m</artifactId>
<version>4.1.0</version>
<version>4.2.0</version>
</parent>
<artifactId>ui</artifactId>
<packaging>jar</packaging>
Expand Down

0 comments on commit 6919834

Please sign in to comment.