SuccessChanges

Summary

  1. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) (details)
  2. Adds strict option to the launch configuration (commit: 915dddc) (details)
  3. Adds use let def strict option to the project properties (commit: bca2a6a) (details)
  4. Resumes a single thread only (commit: 79517f0) (details)
  5. Updates the view when a thread is waiting (commit: 89d3ef8) (details)
  6. Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) (details)
  7. [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/parsers/vdmj/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedexternals/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifieddocumentation/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedcore/ast/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedpom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/help/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedcore/isapog/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
Commit 915dddc18a86c63d7eb01797310f8105a85e0bae by idhugoid
Adds strict option to the launch configuration

The -strict flag was added to VDMJ to address #736.
(commit: 915dddc)
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/ui/launching/VdmRuntimeChecksLaunchConfigurationTab.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java
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/core/resources/IVdmProject.java
The file was modifiedide/core/src/main/java/org/overture/ide/internal/core/resources/VdmProject.java
The file was modifiedide/ui/src/main/java/org/overture/ide/ui/property/VdmLanguagePropertyPage.java
The file was modifiedide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderSl.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/launching/VdmRuntimeChecksLaunchConfigurationTab.java
The file was modifiedide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderPp.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
Commit 79517f01a5a438a731337214fb1a5138383c91ac by idhugoid
Resumes a single thread only

When we call resume on a thread, it is better to resume that single
thread instead of calling resume on the manager, that iterates over all
available threads calling resume.
(commit: 79517f0)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThread.java
Commit 89d3ef8d7590d8cfa12e1d191caae65e36e397b7 by idhugoid
Updates the view when a thread is waiting

In case the main thread is blocked in a permission predicate, the
blocked file is not shown to the user. This fix provides the view update
and thus the blocked file is bring to front.
(commit: 89d3ef8)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/internal/ui/viewers/update/VdmThreadEventHandler.java
Commit ab7de77fe11ed5d002754bd27bb658f49595d667 by idhugoid
Adds a check to avoid managing the console of external tools. Fixes #763
(commit: ab7de77)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.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 modifiedcore/isapog/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedcore/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/core/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedexternals/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/ui/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/platform/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedcore/commandline/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedpom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedcore/testframework/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/ast/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF