Maven

Generated Artifacts

core-2.7.2.pom
documentation-2.7.2.pom
externals-2.7.2.jar
externals-2.7.2.pom
ide-2.7.2.pom
root-2.7.2.pom
annotations-2.7.2.pom
ast-2.7.2.jar
ast-2.7.2-javadoc.jar
ast-2.7.2.pom
codegen-2.7.2.pom
combinatorialtesting-2.7.2.pom
commandlinetool-2.7.2.jar
commandlinetool-2.7.2-jar-with-dependencies.jar
commandlinetool-2.7.2.pom
interpreter-2.7.2.jar
interpreter-2.7.2-javadoc.jar
interpreter-2.7.2.pom
isapog-2.7.2.jar
isapog-2.7.2-javadoc.jar
isapog-2.7.2.pom
npp-2.7.2.jar
npp-2.7.2-javadoc.jar
npp-2.7.2.pom
parser-2.7.2.jar
parser-2.7.2-javadoc.jar
parser-2.7.2.pom
pog-2.7.2.jar
pog-2.7.2-javadoc.jar
pog-2.7.2.pom
prettyprinting-2.7.2.pom
testframework-2.7.2.jar
testframework-2.7.2-javadoc.jar
testframework-2.7.2.pom
testing-2.7.2.pom
typechecker-2.7.2.jar
typechecker-2.7.2-javadoc.jar
typechecker-2.7.2.pom
examples-2.7.2.jar
examples-2.7.2-javadoc.jar
examples-2.7.2.pom
provided-2.7.2.jar
provided-2.7.2-javadoc.jar
provided-2.7.2.pom
codegen-plugin-2.7.2-javadoc.jar
codegen-plugin-2.7.2.jar
codegen-plugin-2.7.2.pom
codegen-runtime-2.7.2.jar
codegen-runtime-2.7.2-sources.jar
codegen-runtime-2.7.2-javadoc.jar
codegen-runtime-2.7.2.pom
ir-2.7.2.jar
ir-2.7.2-javadoc.jar
ir-2.7.2.pom
isagen-2.7.2.jar
isagen-2.7.2-javadoc.jar
isagen-2.7.2.pom
javagen-2.7.2.jar
javagen-2.7.2-javadoc.jar
javagen-2.7.2.pom
javagen-test-2.7.2.jar
javagen-test-2.7.2-javadoc.jar
javagen-test-2.7.2.pom
platform-2.7.2.jar
platform-2.7.2-javadoc.jar
platform-2.7.2.pom
vdm2jml-2.7.2.jar
vdm2jml-2.7.2-javadoc.jar
vdm2jml-2.7.2.pom
vdm2jml-runtime-2.7.2.jar
vdm2jml-runtime-2.7.2-sources.jar
vdm2jml-runtime-2.7.2-javadoc.jar
vdm2jml-runtime-2.7.2.pom
ctruntime-2.7.2.jar
ctruntime-2.7.2-javadoc.jar
ctruntime-2.7.2.pom
ctutils-2.7.2.jar
ctutils-2.7.2-javadoc.jar
ctutils-2.7.2.pom
prettyprinter-2.7.2.jar
prettyprinter-2.7.2-javadoc.jar
prettyprinter-2.7.2.pom
framework-2.7.2.jar
framework-2.7.2-javadoc.jar
framework-2.7.2.pom
samples-2.7.2.jar
samples-2.7.2.pom
releasenotes-2.7.2.jar
releasenotes-2.7.2.pom
features-2.7.2.pom
org.overture.ide.builders-2.7.2.pom
org.overture.ide.core-2.7.2.jar
org.overture.ide.core-2.7.2.pom
org.overture.ide.core-2.7.2-p2artifacts.xml
org.overture.ide.core-2.7.2-p2metadata.xml
org.overture.ide.debug-2.7.2.jar
org.overture.ide.debug-2.7.2.pom
org.overture.ide.debug-2.7.2-p2artifacts.xml
org.overture.ide.debug-2.7.2-p2metadata.xml
org.overture.ide.help-2.7.2.jar
org.overture.ide.help-2.7.2.pom
org.overture.ide.help-2.7.2-p2artifacts.xml
org.overture.ide.help-2.7.2-p2metadata.xml
org.overture.ide.parsers-2.7.2.pom
org.overture.ide.platform-2.7.2.jar
org.overture.ide.platform-2.7.2.pom
org.overture.ide.platform-2.7.2-p2artifacts.xml
org.overture.ide.platform-2.7.2-p2metadata.xml
org.overture.ide.plugins-2.7.2.pom
org.overture.ide.product-2.7.2.zip
org.overture.ide.product-2.7.2.pom
org.overture.ide.product-2.7.2-p2artifacts.xml
org.overture.ide.product-2.7.2-p2metadata.xml
org.overture.ide.product-2.7.2-linux.gtk.x86.zip
org.overture.ide.product-2.7.2-linux.gtk.x86_64.zip
org.overture.ide.product-2.7.2-macosx.cocoa.x86_64.zip
org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.gtk.linux.x86.zip
org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.win32.win32.x86.zip
org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip
org.overture.ide.product-2.7.2-win32.win32.x86.zip
org.overture.ide.product-2.7.2-win32.win32.x86_64.zip
org.overture.ide.ui-2.7.2.jar
org.overture.ide.ui-2.7.2.pom
org.overture.ide.ui-2.7.2-p2artifacts.xml
org.overture.ide.ui-2.7.2-p2metadata.xml
org.overture.ide.vdmpp-2.7.2.pom
org.overture.ide.vdmrt-2.7.2.pom
org.overture.ide.vdmsl-2.7.2.pom
org.overture.ide.builders.vdmj-2.7.2.jar
org.overture.ide.builders.vdmj-2.7.2.pom
org.overture.ide.builders.vdmj-2.7.2-p2artifacts.xml
org.overture.ide.builders.vdmj-2.7.2-p2metadata.xml
org.overture.ide.features.core-2.7.2.jar
org.overture.ide.features.core-2.7.2.pom
org.overture.ide.features.core-2.7.2-p2artifacts.xml
org.overture.ide.features.core-2.7.2-p2metadata.xml
org.overture.ide.features.rcp-2.7.2.jar
org.overture.ide.features.rcp-2.7.2.pom
org.overture.ide.features.rcp-2.7.2-p2artifacts.xml
org.overture.ide.features.rcp-2.7.2-p2metadata.xml
org.overture.ide.features.rcp-2.7.2-root.zip
org.overture.ide.parsers.vdmj-2.7.2.jar
org.overture.ide.parsers.vdmj-2.7.2.pom
org.overture.ide.parsers.vdmj-2.7.2-p2artifacts.xml
org.overture.ide.parsers.vdmj-2.7.2-p2metadata.xml
org.overture.ide.plugins.combinatorialtesting-2.7.2.jar
org.overture.ide.plugins.combinatorialtesting-2.7.2.pom
org.overture.ide.plugins.combinatorialtesting-2.7.2-p2artifacts.xml
org.overture.ide.plugins.combinatorialtesting-2.7.2-p2metadata.xml
org.overture.ide.plugins.coverageeditor-2.7.2.jar
org.overture.ide.plugins.coverageeditor-2.7.2.pom
org.overture.ide.plugins.coverageeditor-2.7.2-p2artifacts.xml
org.overture.ide.plugins.coverageeditor-2.7.2-p2metadata.xml
org.overture.ide.plugins.csk-2.7.2.jar
org.overture.ide.plugins.csk-2.7.2.pom
org.overture.ide.plugins.csk-2.7.2-p2artifacts.xml
org.overture.ide.plugins.csk-2.7.2-p2metadata.xml
org.overture.ide.plugins.developerutils-2.7.2.jar
org.overture.ide.plugins.developerutils-2.7.2.pom
org.overture.ide.plugins.developerutils-2.7.2-p2artifacts.xml
org.overture.ide.plugins.developerutils-2.7.2-p2metadata.xml
org.overture.ide.plugins.externaleditor-2.7.2.jar
org.overture.ide.plugins.externaleditor-2.7.2.pom
org.overture.ide.plugins.externaleditor-2.7.2-p2artifacts.xml
org.overture.ide.plugins.externaleditor-2.7.2-p2metadata.xml
org.overture.ide.plugins.features-2.7.2.pom
org.overture.ide.plugins.javagen-2.7.2.jar
org.overture.ide.plugins.javagen-2.7.2.pom
org.overture.ide.plugins.javagen-2.7.2-p2artifacts.xml
org.overture.ide.plugins.javagen-2.7.2-p2metadata.xml
org.overture.ide.plugins.latex-2.7.2.jar
org.overture.ide.plugins.latex-2.7.2.pom
org.overture.ide.plugins.latex-2.7.2-p2artifacts.xml
org.overture.ide.plugins.latex-2.7.2-p2metadata.xml
org.overture.ide.plugins.poviewer-2.7.2.jar
org.overture.ide.plugins.poviewer-2.7.2.pom
org.overture.ide.plugins.poviewer-2.7.2-p2artifacts.xml
org.overture.ide.plugins.poviewer-2.7.2-p2metadata.xml
org.overture.ide.plugins.quickinterpreter-2.7.2.jar
org.overture.ide.plugins.quickinterpreter-2.7.2.pom
org.overture.ide.plugins.quickinterpreter-2.7.2-p2artifacts.xml
org.overture.ide.plugins.quickinterpreter-2.7.2-p2metadata.xml
org.overture.ide.plugins.rttraceviewer-2.7.2.jar
org.overture.ide.plugins.rttraceviewer-2.7.2.pom
org.overture.ide.plugins.rttraceviewer-2.7.2-p2artifacts.xml
org.overture.ide.plugins.rttraceviewer-2.7.2-p2metadata.xml
org.overture.ide.plugins.uml2-2.7.2.jar
org.overture.ide.plugins.uml2-2.7.2.pom
org.overture.ide.plugins.uml2-2.7.2-p2artifacts.xml
org.overture.ide.plugins.uml2-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.combinatorialtesting-2.7.2.jar
org.overture.ide.plugins.features.combinatorialtesting-2.7.2.pom
org.overture.ide.plugins.features.combinatorialtesting-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.combinatorialtesting-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.coverageeditor-2.7.2.jar
org.overture.ide.plugins.features.coverageeditor-2.7.2.pom
org.overture.ide.plugins.features.coverageeditor-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.coverageeditor-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.csk-2.7.2.jar
org.overture.ide.plugins.features.csk-2.7.2.pom
org.overture.ide.plugins.features.csk-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.csk-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.developerutils-2.7.2.jar
org.overture.ide.plugins.features.developerutils-2.7.2.pom
org.overture.ide.plugins.features.developerutils-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.developerutils-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.javagen-2.7.2.jar
org.overture.ide.plugins.features.javagen-2.7.2.pom
org.overture.ide.plugins.features.javagen-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.javagen-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.latex-2.7.2.jar
org.overture.ide.plugins.features.latex-2.7.2.pom
org.overture.ide.plugins.features.latex-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.latex-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.poviewer-2.7.2.jar
org.overture.ide.plugins.features.poviewer-2.7.2.pom
org.overture.ide.plugins.features.poviewer-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.poviewer-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.quickinterpreter-2.7.2.jar
org.overture.ide.plugins.features.quickinterpreter-2.7.2.pom
org.overture.ide.plugins.features.quickinterpreter-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.quickinterpreter-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.rttraceviewer-2.7.2.jar
org.overture.ide.plugins.features.rttraceviewer-2.7.2.pom
org.overture.ide.plugins.features.rttraceviewer-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.rttraceviewer-2.7.2-p2metadata.xml
org.overture.ide.plugins.features.uml2-2.7.2.jar
org.overture.ide.plugins.features.uml2-2.7.2.pom
org.overture.ide.plugins.features.uml2-2.7.2-p2artifacts.xml
org.overture.ide.plugins.features.uml2-2.7.2-p2metadata.xml
org.overture.ide.vdmpp.core-2.7.2.jar
org.overture.ide.vdmpp.core-2.7.2.pom
org.overture.ide.vdmpp.core-2.7.2-p2artifacts.xml
org.overture.ide.vdmpp.core-2.7.2-p2metadata.xml
org.overture.ide.vdmpp.debug-2.7.2.jar
org.overture.ide.vdmpp.debug-2.7.2.pom
org.overture.ide.vdmpp.debug-2.7.2-p2artifacts.xml
org.overture.ide.vdmpp.debug-2.7.2-p2metadata.xml
org.overture.ide.vdmpp.ui-2.7.2.jar
org.overture.ide.vdmpp.ui-2.7.2.pom
org.overture.ide.vdmpp.ui-2.7.2-p2artifacts.xml
org.overture.ide.vdmpp.ui-2.7.2-p2metadata.xml
org.overture.ide.vdmrt.core-2.7.2.jar
org.overture.ide.vdmrt.core-2.7.2.pom
org.overture.ide.vdmrt.core-2.7.2-p2artifacts.xml
org.overture.ide.vdmrt.core-2.7.2-p2metadata.xml
org.overture.ide.vdmrt.debug-2.7.2.jar
org.overture.ide.vdmrt.debug-2.7.2.pom
org.overture.ide.vdmrt.debug-2.7.2-p2artifacts.xml
org.overture.ide.vdmrt.debug-2.7.2-p2metadata.xml
org.overture.ide.vdmrt.ui-2.7.2.jar
org.overture.ide.vdmrt.ui-2.7.2.pom
org.overture.ide.vdmrt.ui-2.7.2-p2artifacts.xml
org.overture.ide.vdmrt.ui-2.7.2-p2metadata.xml
org.overture.ide.vdmsl.core-2.7.2.jar
org.overture.ide.vdmsl.core-2.7.2.pom
org.overture.ide.vdmsl.core-2.7.2-p2artifacts.xml
org.overture.ide.vdmsl.core-2.7.2-p2metadata.xml
org.overture.ide.vdmsl.debug-2.7.2.jar
org.overture.ide.vdmsl.debug-2.7.2.pom
org.overture.ide.vdmsl.debug-2.7.2-p2artifacts.xml
org.overture.ide.vdmsl.debug-2.7.2-p2metadata.xml
org.overture.ide.vdmsl.ui-2.7.2.jar
org.overture.ide.vdmsl.ui-2.7.2.pom
org.overture.ide.vdmsl.ui-2.7.2-p2artifacts.xml
org.overture.ide.vdmsl.ui-2.7.2-p2metadata.xml

Artifacts generated by this build. Hyperlink added when the artifact has been deployed to a Maven repository.

Upstream Builds

Builds that generate artifacts that are dependencies of this build.
This list is filtered by permissions, you must have the ITEM.Read permission on the job to see it.
Note that these builds have not necessarily triggered this job: a trigger "Build whenever a SNAPSHOT dependency is built" must be configured on this job.

Downstream Jobs

Jobs that have dependencies on artifacts generated by this build.
This list is filtered by permissions, you must have the ITEM.Read permission on the job to see it.
Note that these jobs will not necessarily be triggered by this job: a trigger "Build whenever a SNAPSHOT dependency is built" must be configured on the downstream job.

Dependencies

Dependencies recorded according to the settings of the "Pipeline Graph Publisher"
By default, only "snapshot" dependencies are recorded and "release" dependencies are ignored to optimize the size on disk of the database of the "Pipeline Maven Plugin".

Contributions to improve this dashboard are appreciated. Please feel free to submit a Pull Request or to suggest an improvement creating a Jira issue on https://issues.jenkins-ci.org.