SuccessChanges

Summary

  1. Changes the interpreter startup (commit: e7a1016) (details)
  2. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) (details)
  3. Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
  4. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
  5. Replaces the 2019-12 repositories with the 2020-09 ones (commit: 596cf18) (details)
  6. BUMPS the Eclipse version from 2019-12 to 2020-09 (commit: 4191f2c) (details)
  7. Upgrades Tycho version (commit: d544553) (details)
  8. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)
  9. Adds strict option to the launch configuration (commit: 915dddc) (details)
  10. Adds strict flag parsing to the interpreter command line (commit: db2d546) (details)
  11. Adds use let def strict option to the project properties (commit: bca2a6a) (details)
  12. Change warning number for let def impure operations (commit: f762e74) (details)
  13. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) (details)
  14. Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) (details)
  15. Added warning for function value comparisons, fixes #739 (commit: 90c955f) (details)
  16. Changes message on project settings (commit: db9f31e) (details)
  17. Adds strict checking to the parser/tc settings (commit: e6f41cf) (details)
  18. Fixes a bug preventing the display of warnings (commit: 90e0da5) (details)
  19. Pass element type into typecheck of set comprehensions, fixes #728 (commit: 253f4ba) (details)
  20. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details)
  21. Use re-stated types in definition imports (see #760) (commit: bd2643b) (details)
  22. Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) (details)
  23. Resumes a single thread only (commit: 79517f0) (details)
  24. Updates the view when a thread is waiting (commit: 89d3ef8) (details)
  25. Check for invariant types when converting function values, fixes #761 (commit: b42facd) (details)
  26. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details)
  27. Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) (details)
  28. Prepare Release 3.0.2 (commit: 0a7e3f3) (details)
  29. Adjusts versions (commit: 95e6f39) (details)
  30. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) (details)
Commit e7a10162ac9c00d737a977e9b04836b44c0dd40b by idhugoid
Changes the interpreter startup

In case the interpreter is initialized before connecting to Overture the
connection timeout on the Overture side may elapse, while the initialize
does it work. In this commit we change the approach to connect first and
initialize after.
(commit: e7a1016)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReader.java (diff)
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/features/core/feature.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedide/features/rcp/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
Commit b576a7521ea8becd6d3708a44df4b0604ac67f80 by nick.battle
Prevent looping type resolution, fixes #735
(commit: b576a75)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java (diff)
Commit 05d176eb9732aaa2b7d15969436eae9805cea97a by nick.battle
Better approach to recursive type resolution errors, fixes #735
(commit: 05d176e)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java (diff)
Commit 596cf1842c9255ba2b1c71acc26f4b1fceab4274 by idhugoid
Replaces the 2019-12 repositories with the 2020-09 ones
(commit: 596cf18)
The file was modifiedide/product/src/main/resources/p2/overture.p2.inf (diff)
Commit 4191f2cb087d60922cfdea2ff6ce03ba0da91f01 by idhugoid
BUMPS the Eclipse version from 2019-12 to 2020-09
(commit: 4191f2c)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
Commit 8791e1ff56bad2f3d81de19a0e309c5766f1c5dd by nick.battle
Put let RHS functional checks within -strict flag
(commit: 8791e1f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/Environment.java (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
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 (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/launching/VdmRuntimeChecksLaunchConfigurationTab.java (diff)
Commit db2d546debcf962847babcf1950b58582ce6196e by idhugoid
Adds strict flag parsing to the interpreter command line
(commit: db2d546)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReaderV2.java (diff)
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/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderSl.java (diff)
The file was modifiedide/ui/src/main/java/org/overture/ide/ui/property/VdmLanguagePropertyPage.java (diff)
The file was modifiedide/core/src/main/java/org/overture/ide/internal/core/resources/VdmProject.java (diff)
The file was modifiedide/core/src/main/java/org/overture/ide/core/resources/IVdmProject.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/IDebugConstants.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/launching/VdmRuntimeChecksLaunchConfigurationTab.java (diff)
The file was modifiedide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderPp.java (diff)
Commit f762e7459b6950e6548f85066bf2fed9cd053efb by nick.battle
Change warning number for let def impure operations
(commit: f762e74)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
Commit b9ea923a53e1ae8a07db9e46bbb1c0418bd61ba2 by nick.battle
Added warnings for threadid, time and new expressions in function ctxts
(commit: b9ea923)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
Commit 56b873f09a5e9572e4a372cffeab957c1ebfc650 by nick.battle
Fix FunctionValue comparisons to cope with free variables, fixes #739
(commit: 56b873f)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java (diff)
The file was modifiedcore/interpreter/src/test/resources/Interpreter_SL_Modules_TestSuite_External/CORE/expr/letexpr/letexpr-07.vdm.entry (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/definition/NamedValueLister.java (diff)
Commit 90c955fdb8c163988b5f0e01c23064aa10286409 by nick.battle
Added warning for function value comparisons, fixes #739
(commit: 90c955f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/type/PTypeAssistantTC.java (diff)
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 (diff)
Commit e6f41cfd93061bbea165c52ac4ffd29501877a3e by idhugoid
Adds strict checking to the parser/tc settings

In bca2a6a the strict flag was set only to launches and builds, thus the
flag is not set when the parser/tc is called while typing. This commit
fixes that.
(commit: e6f41cf)
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmPp.java (diff)
The file was modifiedide/vdmrt/debug/src/main/java/org/overture/ide/vdmrt/debug/ui/launching/VdmRtMainLaunchConfigurationTab.java (diff)
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmSl.java (diff)
The file was modifiedide/vdmpp/debug/src/main/java/org/overture/ide/vdmpp/debug/ui/launching/VdmPpMainLaunchConfigurationTab.java (diff)
The file was modifiedide/vdmsl/debug/src/main/java/org/overture/ide/vdmsl/debug/ui/launching/VdmSlMainLaunchConfigurationTab.java (diff)
Commit 90e0da59b9282fadeb71568c24852d05e93fcad0 by idhugoid
Fixes a bug preventing the display of warnings
(commit: 90e0da5)
The file was modifiedide/core/src/main/java/org/overture/ide/core/parser/AbstractParserParticipant.java (diff)
Commit 253f4ba15880e66fc21b3e083ed2d872a6397218 by nick.battle
Pass element type into typecheck of set comprehensions, fixes #728
(commit: 253f4ba)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
Commit e5b2e9f44de2909f4dfcdcb16b8c5c6bd60b1c0b by nick.battle
Fix the type definitions for pre and post conditions, fixes #740
(commit: e5b2e9f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.java (diff)
Commit bd2643ba9d5f6245f6363a199a1ceaf9c8a075c7 by nick.battle
Use re-stated types in definition imports (see #760)
(commit: bd2643b)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java (diff)
Commit f2b2a6a63fabde8ead445fbcdae324b93d679576 by idhugoid
Avoids sending an empty internal tag causing troubles in the response parsing
(commit: f2b2a6a)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReaderV2.java (diff)
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 (diff)
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 (diff)
Commit b42facd34eef8747a0c2c79555ac70bb60175e9e by nick.battle
Check for invariant types when converting function values, fixes #761
(commit: b42facd)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java (diff)
Commit 656ece8aa7d9bbcdb9c1c5168169e64f997ee5ad by nick.battle
Correct check of function parameter patterns and arguments, fixes #762
(commit: 656ece8)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java (diff)
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 (diff)
The file was addeddocumentation/releasenotes/ReleaseNotes_3.0.2.md
The file was modifiedoverture.release.properties (diff)
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/vdmsl/core/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/features/rcp/pom.xml (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)