4.0.0 io.github.o2alexanderfedin.javafv java-fv-parent 1.2.0 pom Java-FV Parent Formal Verification Constraint Inference for Java https://github.com/o2alexanderfedin/java-fv CC BY-NC-ND 4.0 https://creativecommons.org/licenses/by-nc-nd/4.0/ o2alexanderfedin Alexander Fedin o2alexanderfedin@gmail.com scm:git:git://github.com/o2alexanderfedin/java-fv.git scm:git:ssh://github.com:o2alexanderfedin/java-fv.git https://github.com/o2alexanderfedin/java-fv/tree/main UTF-8 UTF-8 22 22 22 5.10.1 3.24.2 5.15.2 1.18.4 33.0.0-jre 2.0.11 1.4.14 2.10.0 3.42.0 1.1.1 3.2.3 3.15.0 3.5.4 3.3.0 3.6.0 3.4.1 3.3.2 3.3.1 3.1.1 3.1.1 1.3.2 2.7.0 1.7.1 3.3.1 3.11.2 3.2.7 0.7.0 annotations verifier yices compiler-plugin cli lsp io.github.o2alexanderfedin.javafv java-fv-annotations ${project.version} org.junit.jupiter junit-jupiter-api ${junit.version} test org.junit.jupiter junit-jupiter-engine ${junit.version} test org.junit.jupiter junit-jupiter-params ${junit.version} test org.assertj assertj-core ${assertj.version} test net.bytebuddy byte-buddy ${byte-buddy.version} net.bytebuddy byte-buddy-agent ${byte-buddy.version} org.mockito mockito-core ${mockito.version} test org.mockito mockito-junit-jupiter ${mockito.version} test com.google.guava guava ${guava.version} org.slf4j slf4j-api ${slf4j.version} ch.qos.logback logback-classic ${logback.version} org.immutables value ${immutables.version} provided org.checkerframework checker-qual ${checker.version} com.google.auto.service auto-service ${auto-service.version} provided com.google.auto.service auto-service-annotations ${auto-service.version} com.github.ben-manes.caffeine caffeine ${caffeine.version} org.apache.maven.plugins maven-compiler-plugin ${maven-compiler-plugin.version} ${maven.compiler.source} ${maven.compiler.target} ${maven.compiler.release} -Xlint:all,-processing -Werror true true org.apache.maven.plugins maven-surefire-plugin ${maven-surefire-plugin.version} org.apache.maven.plugins maven-jar-plugin ${maven-jar-plugin.version} org.apache.maven.plugins maven-assembly-plugin ${maven-assembly-plugin.version} org.apache.maven.plugins maven-clean-plugin ${maven-clean-plugin.version} org.apache.maven.plugins maven-resources-plugin ${maven-resources-plugin.version} org.apache.maven.plugins maven-install-plugin ${maven-install-plugin.version} org.apache.maven.plugins maven-deploy-plugin ${maven-deploy-plugin.version} org.apache.maven.plugins maven-checkstyle-plugin 3.6.0 compiler-plugin/checkstyle.xml true false warning org.apache.maven.plugins maven-pmd-plugin 3.28.0 false true com.googlecode.maven-download-plugin download-maven-plugin ${download-maven-plugin.version} org.apache.maven.plugins maven-enforcer-plugin ${maven-enforcer-plugin.version} enforce-versions enforce [3.8.1,) [22,) release org.apache.maven.plugins maven-source-plugin ${maven-source-plugin.version} attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin ${maven-javadoc-plugin.version} none attach-javadocs jar org.apache.maven.plugins maven-gpg-plugin ${maven-gpg-plugin.version} sign-artifacts verify sign --pinentry-mode loopback org.sonatype.central central-publishing-maven-plugin ${central-publishing-maven-plugin.version} true central true