4.0.0 org.sonatype.oss oss-parent 7 org.overturetool.vdm2c root pom Overture VDM 2 C Translator Root 0.1.17-SNAPSHOT UTF-8 2.5.4 vdm2c.overture.au.dk vdm2c.overture.au.dk-releases false daily warn true always warn http://overture.au.dk/artifactory/overture-development-vdm2c default c core With-IDE ide release org.codehaus.mojo exec-maven-plugin false git submodule update initialize git submodule update --init --recursive exec codesigning org.apache.maven.plugins maven-jarsigner-plugin ${keystore.type} ${keystore.path} ${keystore.alias} ${keystore.store.password} ${keystore.key.password} sign sign install org.codehaus.mojo versions-maven-plugin false org.jacoco jacoco-maven-plugin 0.7.6.201602180812 ${basedir}/target/coverage-reports/jacoco-unit.exec ${basedir}/target/coverage-reports/jacoco-unit.exec org/overture/cgc/extast/analysis/**/*.* org/overture/codegen/vdm2c/extast/expressions/**/* org/overture/codegen/vdm2c/extast/declarations/**/* org/overture/codegen/vdm2c/extast/statements/**/* org/overture/cgc/extast/node/**/* org/overture/codegen/vdm2c/ast/preview/**/* jacoco-initialize prepare-agent jacoco-site package report org.apache.maven.plugins maven-compiler-plugin 3.0 1.7 1.7 org.apache.maven.plugins maven-source-plugin 2.2.1 true org.apache.maven.plugins maven-javadoc-plugin 2.10.4 attach-javadocs jar false true org.apache.maven.plugins maven-resources-plugin 2.6 org.apache.maven.plugins maven-surefire-plugin 2.19 org.apache.maven.plugins maven-dependency-plugin 2.6 org.apache.maven.plugins maven-assembly-plugin 2.4 jar-with-dependencies org.apache.maven.plugins maven-install-plugin 2.4 org.apache.maven.plugins maven-deploy-plugin 2.8.1 org.apache.maven.plugins maven-shade-plugin 2.0 org.apache.maven.plugins maven-jar-plugin 2.4 org.apache.maven.plugins maven-clean-plugin 2.5 org.apache.maven.plugins maven-antrun-plugin 1.7 org.codehaus.mojo build-helper-maven-plugin 1.7 org.codehaus.mojo versions-maven-plugin 2.1 org.apache.maven.plugins maven-jarsigner-plugin 1.2 pl.project13.maven git-commit-id-plugin 2.1.8 ${project.basedir}/.git org.apache.maven.plugins maven-release-plugin 2.5 release,With-IDE,all-platforms,codesigning Release/@{project.version} org.eclipse.m2e lifecycle-mapping 1.0.0 org.apache.maven.plugins maven-enforcer-plugin [1.0,) enforce org.apache.maven.wagon wagon-ssh 2.4 git@github.com:overturetool/vdm2c.git scm:git:git://github.com/overturetool/vdm2c.git scm:git:git@github.com:overturetool/vdm2c.git HEAD overture info@overturetool.org Information contact for the Overture project http://overturetool.org/ Primary point of contact lausdahl lausdahl@eng.au.dk Kenneth Lausdahl coordinator architect developer Aarhus University http://eng.au.dk/ Private Overture http://overturetool.org/ 2016 overture.au.dk overture.au.dk-releases http://overture.au.dk/artifactory/vdm2c overture.au.dk overture.au.dk-snapshots http://overture.au.dk/artifactory/vdm2c