Cleanup of pom files

hernanponcedeleon · Sep 6, 2023 · 88b37f1 · 88b37f1
1 parent 5434825
commit 88b37f1
Show file tree

Hide file tree

Showing 10 changed files with 982 additions and 1,191 deletions.
diff --git a/.gitignore b/.gitignore
@@ -33,11 +33,7 @@ Thumbs.db
 ##########
 # Builds #
 ##########
-dartagnan/target/
-porthos/target/
-ui/target/
-svcomp/target/
-zombmc/target/
+/*/target/
 
 ##########
 # Boogie #

diff --git a/README.md b/README.md
@@ -9,8 +9,8 @@
 
 Requirements
 ======
-* [Maven](https://maven.apache.org/)
-* [Java](https://openjdk.java.net/projects/jdk/16/) 8 or above
+* [Maven](https://maven.apache.org/) 3.8 or above
+* [Java](https://openjdk.java.net/projects/jdk/17/) 17 or above
 * [Smack](https://github.com/smackers/smack) 2.8.0 or above (only to verify C programs)
 * [Clang](https://clang.llvm.org) the concrete version depends on Smack (only to verify C programs)
 * [Atomic-replace](https://github.com/hernanponcedeleon/Dat3M/tree/master/llvm-passes/atomic-replace) library (only to verify C programs)