4.0.0 liquidjava liquidjava-umbrella 1.0 io.github.liquid-java liquidjava-verifier 0.0.8 liquidjava-verifier LiquidJava Verifier https://github.com/liquid-java/liquidjava jar MIT License https://opensource.org/licenses/MIT repo CatarinaGamboa Catarina Gamboa CatarinaGamboa@users.noreply.github.com https://github.com/CatarinaGamboa alcides Alcides Fonseca alcides@users.noreply.github.com https://github.com/alcides pcanelas Paulo Canelas pcanelas@users.noreply.github.com https://github.com/pcanelas rcosta358 Ricardo Costa rcosta358@users.noreply.github.com https://github.com/rcosta358 scm:git:git://github.com/liquid-java/liquidjava.git scm:git:ssh://github.com:liquid-java/liquidjava.git https://github.com/liquid-java/liquidjava/tree/main ${jar.finalName} net.revelc.code.formatter formatter-maven-plugin 2.16.0 validate validate format 17 17 17 org.apache.maven.plugins maven-compiler-plugin ${pVersion.compiler} 17 17 org.apache.maven.plugins maven-surefire-plugin 3.2.1 org.antlr antlr4-maven-plugin 4.7.1 antlr4 org.apache.maven.plugins maven-shade-plugin 3.2.4 package shade liquidjava.api.CommandLineLauncher *:* META-INF/*.SF META-INF/*.DSA META-INF/*.RSA org.apache.maven.plugins maven-source-plugin 3.3.0 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 3.6.0 attach-javadocs jar none 17 org.apache.maven.plugins maven-gpg-plugin 3.1.0 ${gpg.skip} sign-artifacts verify sign org.apache.maven.plugins maven-deploy-plugin 3.1.2 true org.sonatype.central central-publishing-maven-plugin 0.9.0 true central ${maven.deploy.skip} central https://central.sonatype.com/api/v1/publisher UTF-8 17 17 17 5.10.0 1.3.0 10.4.2 4.8.17 3.8.0 3.1.2 ${project.artifactId}-${project.version} true true central Central Repository https://repo.maven.apache.org/maven2 default false org.junit.platform junit-platform-launcher test org.junit.jupiter junit-jupiter-engine compile org.junit.vintage junit-vintage-engine test org.junit.jupiter junit-jupiter-params test ch.qos.logback logback-classic 1.4.12 org.mdkt.compiler InMemoryJavaCompiler ${version.memcompiler} fr.inria.gforge.spoon spoon-core ${version.spoon} tools.aqua z3-turnkey ${version.z3} io.github.liquid-java liquidjava-api 0.0.3 org.antlr antlr4 4.7.1 org.antlr antlr4-runtime 4.7.1 com.google.code.gson gson 2.10.1 org.junit junit-bom 5.10.0 pom import