SuccessChanges

Summary

  1. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) (details)
  2. Adds use let def strict option to the project properties (commit: bca2a6a) (details)
  3. Changes message on project settings (commit: db9f31e) (details)
  4. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) (details)
Commit 42ea3131087d72755847610367ceb7c7ae9cc73b by idhugoid
[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 3.0.1-SNAPSHOT
(commit: 42ea313)
The file was modifiedide/core/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/features/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/builders/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/parsers/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedexternals/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedpom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedcore/typechecker/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedcore/testframework/pom.xml
Commit bca2a6a5086a904fa2fefb74cb89f9b0db74ccf1 by idhugoid
Adds use let def strict option to the project properties

The -strict flag was added to VDMJ to address #736.

VDM projects can now use default or strict let def type checking.
This commit adds that option to the Typecheck group in the VDM Settings.

This commit reverts the changes made in 915ddc that used a launch
configuration settings approach.
(commit: bca2a6a)
The file was modifiedide/core/src/main/java/org/overture/ide/internal/core/resources/VdmProject.java
The file was modifiedide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderPp.java
The file was modifiedide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderSl.java
The file was modifiedide/ui/src/main/java/org/overture/ide/ui/property/VdmLanguagePropertyPage.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/launching/VdmRuntimeChecksLaunchConfigurationTab.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/IDebugConstants.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java
The file was modifiedide/core/src/main/java/org/overture/ide/core/resources/IVdmProject.java
Commit db9f31e916d08acf1fe53758b600a4a238f65762 by idhugoid
Changes message on project settings
(commit: db9f31e)
The file was modifiedide/ui/src/main/java/org/overture/ide/ui/property/VdmLanguagePropertyPage.java
Commit cafcbab7365cc5e34400a8b4012c438213559144 by idhugoid
[maven-release-plugin] prepare release Release/3.0.2

Bump ide/ to version 3.0.2
(commit: cafcbab)
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifieddocumentation/pom.xml
The file was modifiedide/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/ui/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/features/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedpom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedcore/interpreter/pom.xml