[Jenkins]Jenkins

SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) (details)
  2. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details)
  3. Fix bug with import type mismatch with export (commit: 03c6582) (details)
  4. Suppress details as well as messages in VDMError when suspended (commit: b652fba) (details)
  5. Fix min_/max_ functions, fixes #706 (commit: c354db8) (details)
Commit 9a86d2eb9b2a11c4b5530c0eb7ab55221923fae3 by Peter W. V. Tran-Jørgensen
[maven-release-plugin] prepare release Release/2.7.2
Bump ide/ to version 2.7.2
 (commit: 9a86d2e)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedpom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedcore/isapog/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/help/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedcore/testing/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifieddocumentation/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
Commit 2412c37f17ef54d7977a9b0db3abb9804bcb23b5 by Peter W. V. Tran-Jørgensen
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 2.7.3-SNAPSHOT
 (commit: 2412c37)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/platform/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedpom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedcore/testing/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/product/overture.product
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
Commit 03c658231743e2c3e84af345d8f01df5ba6b780d by nick.battle
Fix bug with import type mismatch with export
 (commit: 03c6582)
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/DetailedTypeDisplayer.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerImportsVisitor.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/type/PTypeAssistantTC.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java
Commit b652fbac5d3d73467b18744fc9fc57934d8d7914 by nick.battle
Suppress details as well as messages in VDMError when suspended
 (commit: b652fba)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java
Commit c354db831f18c5e7368563bba4e85866232b541f by nick.battle
Fix min_/max_ functions, fixes #706
 (commit: c354db8)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_not_bool.result
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_func.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ImplicitDefinitionFinder.java
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel.result
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_missing_func.result