SuccessChanges

Summary

  1. Replaces the oxygen repositories with the 2019-12 ones (commit: 972e1fe) (details)
  2. Bumps the Eclipse version from 4.7 to 4.14. (commit: 45f6a8d) (details)
  3. Drops support to 32 bit versions. (commit: babf8a6) (details)
  4. Replaces direct usage of Equinox DS bundle (commit: 1b8095b) (details)
  5. [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) (details)
  6. Do not report mutual recursion via pre/post expressions, fixes #719 (commit: 009b8d6) (details)
  7. Correct check for cyclic recursion, fixes #720 (commit: 4db56b7) (details)
  8. Update test results for recursive cycle check (commit: 1170f28) (details)
  9. Fixes #721 (commit: 41d4542) (details)
  10. Set module name for min/max parameters, fixes #722 (commit: 92aa706) (details)
  11. Added union order override warnings, fixes #723 (commit: c30d266) (details)
  12. Check for numeric types with unary + and -, fixes #724 (commit: 33a4bc1) (details)
  13. Added Serializable to LexComment, fixes #725 (commit: 7488a48) (details)
  14. Relativizes URI to the project files location. Fixes #721. (commit: 95a823a) (details)
  15. Adds outlines of VDM-SL AModuleModules AST nodes (commit: 94fc7cb) (details)
  16. Updates copyright dates (commit: 1ea05fd) (details)
  17. Accomodates suggested problem resolution (commit: 8fd05a4) (details)
  18. Check sequence apply expression for seq(0), fixes #726 (commit: 092763f) (details)
  19. Don't define a RESULT symbol for void explicit operation postconditions, (commit: 348dfe8) (details)
  20. Fix maps with invariant typed domains, fixes #731 (commit: b265cea) (details)
  21. Add a hashCode to InvariantValue to return a constant for (commit: 6a89546) (details)
  22. Removes the resetting of enabled status for breakpoints (commit: aedace4) (details)
  23. Provide more accurate error location for predicates, fixes #732 (commit: 8ca5489) (details)
  24. Upgrades vulnerable dep (commit: c2119a9) (details)
  25. Adds logo to Welcome page (commit: c57d5af) (details)
  26. Removes the setting of SkipAllBreakpoints on non Debug Launches (commit: 91453bd) (details)
  27. Updates the copyright (commit: 0b6f495) (details)
  28. Disables breakpoints on non-debug launches (commit: a15548b) (details)
  29. Adds a Debug VDM perspective (commit: 989a70c) (details)
  30. Indents xml (commit: 7b53e3c) (details)
  31. Bump version number (commit: 185e89d) (details)
  32. Prints prompt only when the interpreter sends the evaluation result (commit: 1afdbcd) (details)
  33. Waits for result of coverage and prints message Fixes #716 (commit: 134c0be) (details)
  34. Fix RecordValue.compareTo to call super.compareTo for different types, (commit: a84093c) (details)
  35. Brings the VDM console of a launch to the front of the view (commit: 1e83f91) (details)
  36. Adds support for DBGP messages and Rmoves dead code (commit: a46e1d4) (details)
  37. Checks whether the DBGP response has a value to print (commit: 7ef5f51) (details)
  38. Calls coverage before terminating the interpreter (commit: 4f23db6) (details)
  39. Bump examples changes (commit: 509904f) (details)
  40. Merges external documentation submodule (commit: 03c5f3e) (details)
  41. Fix condition (commit: 0dee778) (details)
  42. Show VdmDebugConsole on top in the View (commit: 52901b2) (details)
  43. Moves the console for the current process to the front (commit: d945c81) (details)
  44. Adds release note (commit: 1ddce8d) (details)
  45. Bump versions (commit: e380028) (details)
  46. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) (details)
Commit 972e1fe77749f8dc75d49fce13b892f8c58b4b6e by idhugo
Replaces the oxygen repositories with the 2019-12 ones
(commit: 972e1fe)
The file was modifiedide/product/src/main/resources/p2/overture.p2.inf (diff)
Commit 45f6a8d14e2e10c807008d6fec371dea7e9637b4 by idhugo
Bumps the Eclipse version from 4.7 to 4.14.
(commit: 45f6a8d)
The file was modifiedide/pom.xml (diff)
Commit babf8a6a45bd446cf017e82e5ea3d2ca2a654216 by idhugo
Drops support to 32 bit versions.

According to:

https://www.eclipse.org/eclipse/news/4.10/platform.php#java32-removal

from 4.10 on "Eclipse and eclipse based applications no longer run on
32 bit platforms or 32 bit JVM. Only 64-bit platforms/JVM are supported."
(commit: babf8a6)
The file was modifiedide/pom.xml (diff)
Commit 1b8095b9f9e7f4b5149d082b08a937b0d8888420 by idhugo
Replaces direct usage of Equinox DS bundle

According to:

https://help.eclipse.org/2018-12/topic/org.eclipse.platform.doc.isv/porting/4.10/recommended.html?cp=2_3_1_3#EquinoxDS_to_FelixSCR

from 4.10 on org.apache.felix.scr substitutes org.eclipse.equinox.ds.
(commit: 1b8095b)
The file was modifiedide/product/overture.product (diff)
The file was modifiedide/product/src/main/resources/product/overture.product (diff)
Commit 2a9fecf0fcc849f2acc74a74e3378934387aa88e by idhugo
[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 2.7.5-SNAPSHOT
(commit: 2a9fecf)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedide/features/rcp/pom.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedide/features/rcp/feature.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 modifiedcore/codegen/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/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 modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (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/developerutils/pom.xml (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
Commit 009b8d6bd5430c06ec4d7147d00ec4bf877779c2 by nick.battle
Do not report mutual recursion via pre/post expressions, fixes #719
(commit: 009b8d6)
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.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_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.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/modules/realmSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.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/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-08.vpp.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.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/DigraphSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.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/trafficSL.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_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.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/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/recursiveSL.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/modules/librarySL.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/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result (diff)
Commit 4db56b748f67e285e4c0c5127fe2a99774f7f4e5 by nick.battle
Correct check for cyclic recursion, fixes #720
(commit: 4db56b7)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.java (diff)
Commit 1170f281a485be22f6e2ff8b13c66f457e3b5999 by nick.battle
Update test results for recursive cycle check
(commit: 1170f28)
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/pacemakerSL.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_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.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/modules/SAFERSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/LUPSLSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.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/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.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/modules/MAASL.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/ProgLangSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.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_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.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/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/PlannerSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
Commit 41d45424990d5fb591548d21e7f17cbec04a77b1 by idhugo
Fixes #721

Adds project subfolders to the path when converting the full debugging URI path
to a file name that must be found relative to the project path.
(commit: 41d4542)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmStackFrame.java (diff)
Commit 92aa7063a551309f7fc3b1a738140dd668ac3588 by nick.battle
Set module name for min/max parameters, fixes #722
(commit: 92aa706)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ImplicitDefinitionFinder.java (diff)
Commit c30d266e249d96b3e6a920fdf9f08b28032400e4 by nick.battle
Added union order override warnings, fixes #723
(commit: c30d266)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
Commit 33a4bc1ea4510a09bda2bd7b1b7facb177c6d036 by nick.battle
Check for numeric types with unary + and -, fixes #724
(commit: 33a4bc1)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numplus/numplus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.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/unaryexpr/numminus/numminus-03.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numplus/numplus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numplus/numplus-05.vdm.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/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.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/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.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_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.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/modules/trafficSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numplus/numplus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.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/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result (diff)
Commit 7488a48ad145d48a81c27de7b84847fb58226ece by nick.battle
Added Serializable to LexComment, fixes #725
(commit: 7488a48)
The file was modifiedcore/ast/src/main/java/org/overture/ast/lex/LexComment.java (diff)
Commit 95a823a176f85b63f8ed0c3a15f01036d8479fb1 by idhugo
Relativizes URI to the project files location. Fixes #721.

Previous correction worked only for projects stored under a workspace,
because it used the workspace folder location to relativize file paths.

In case a user imports projects and maintains the files in another
location outside the Eclipse workspace folder, this fix provides the
appropriate paths.
(commit: 95a823a)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmStackFrame.java (diff)
Commit 94fc7cb96c94ae22f622e4ead58cc4dced79f641 by idhugo
Adds outlines of VDM-SL AModuleModules AST nodes

As per 4f28f932a8da298aba5c013635c665751035e576 a bad offset index
exception occurs for AST nodes that were not added to AstLocationSearcher. This
commit adds a kind of node that was missing, and that @nickbattle found while
testing the Eclipse 4.7 to 4.14 upgrade.
(commit: 94fc7cb)
The file was modifiedide/ui/src/main/java/org/overture/ide/ui/utility/ast/AstLocationSearcher.java (diff)
The file was modifiedide/platform/about.properties (diff)
The file was modifiedide/platform/src/main/resources/plugin.properties (diff)
Commit 8fd05a4a692209c9722eef0e5f413acd2284c860 by idhugo
Accomodates suggested problem resolution
(commit: 8fd05a4)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
Commit 092763f1cbe8d6e992b04e4c6cf21452f32793b4 by nick.battle
Check sequence apply expression for seq(0), fixes #726
(commit: 092763f)
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/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.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/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.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/modules/MAASL.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/modules/DFDexampleSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.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/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.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/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/applyexpr/applyexpr-03.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/modules/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.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_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/pog/sltest/exprtest/CORE/expr/applyexpr/applyexpr-03.vdm.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/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/applyexpr/applyexpr-03.vdm.result (diff)
Commit 348dfe8452b28a1df7ecdcb650a97ca9855e1ed0 by nick.battle
Don't define a RESULT symbol for void explicit operation postconditions,
fixes #727
(commit: 348dfe8)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
Commit b265cea5f95d388eed2ab4fd41fff1fa1a6b14c0 by nick.battle
Fix maps with invariant typed domains, fixes #731
(commit: b265cea)
The file was modifiedcore/interpreter/src/test/resources/classesClassic/SAFERProofPP/SAFERProofPP.result (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/AllNamedValuesLocator.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/ValueMap.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java (diff)
Commit 6a89546809c5c3231196859ad7c4b5df494a2b95 by nick.battle
Add a hashCode to InvariantValue to return a constant for
equality-enabled values, fixes #731
(commit: 6a89546)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java (diff)
Commit aedace4285c7eb544d6677063067eb0ae54eebb4 by idhugo
Removes the resetting of enabled status for breakpoints

The SkipAllBreakpoints mode was reset at each debug launch because of
this line. Found together with @prasadtalasila.
(commit: aedace4)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
Commit 8ca5489a8a03330fd9c623f15d350eab6605518a by nick.battle
Provide more accurate error location for predicates, fixes #732
(commit: 8ca5489)
The file was modifiedcore/interpreter/src/test/resources/Interpreter_SL_Modules_TestSuite_External/CORE/expr/iota/iota-04.vdm.result (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/platform/plugin.xml (diff)
Commit 91453bd9a29bb1db502eecc8bc61832f88af086f by idhugo
Removes the setting of SkipAllBreakpoints on non Debug Launches
(commit: 91453bd)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
The file was modifiedide/plugins/features/isatrans/feature.properties (diff)
The file was modifiedide/plugins/developerutils/src/main/java/org/overture/ide/plugins/developerutils/preferences/WorkbenchPreferencePageDot.java (diff)
The file was modifiedide/features/rcp/feature.properties (diff)
The file was modifiedide/plugins/features/poviewer/feature.properties (diff)
The file was modifiedide/plugins/features/developerutils/feature.properties (diff)
The file was modifiedide/platform/src/main/resources/plugin.properties (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.properties (diff)
The file was modifiedide/platform/about.properties (diff)
The file was modifiedide/plugins/features/csk/feature.properties (diff)
The file was modifiedide/plugins/features/uml2/feature.properties (diff)
The file was modifiedide/plugins/features/latex/feature.properties (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.properties (diff)
The file was modifiedide/features/core/feature.properties (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.properties (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.properties (diff)
The file was modifiedide/plugins/features/javagen/feature.properties (diff)
Commit a15548b797dbce846c900e3ac8d50e7d61271a5c by idhugo
Disables breakpoints on non-debug launches
(commit: a15548b)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmBreakpointManager.java (diff)
Commit 989a70c6134c2f6d49c867136b4606e931f2ef90 by idhugoid
Adds a Debug VDM perspective

The Overture debug layout is different from the one in Eclipse Debug UI.

With this perspective the users are able to match the Debug VDM
perspective displayed views with the screenshots in the training
materials.
(commit: 989a70c)
The file was modifiedide/vdmsl/debug/plugin.xml (diff)
The file was modifiedide/vdmrt/debug/plugin.xml (diff)
The file was modifiedide/vdmpp/debug/plugin.xml (diff)
The file was modifiedide/debug/plugin.properties (diff)
The file was modifiedide/debug/plugin.xml (diff)
The file was addedide/debug/src/main/java/org/overture/ide/debug/ui/DebugPerspectiveFactory.java
The file was addedide/debug/icons/eview16/debug_vdm.png
The file was modifiedide/debug/plugin.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/rcp/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedcore/pom.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/features/developerutils/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
Commit 1afdbcdcc2e78e6255f93971e2fd6d54c7752dc6 by idhugoid
Prints prompt only when the interpreter sends the evaluation result
(commit: 1afdbcd)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmConsoleInputListener.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/VdmStreamProxy.java (diff)
Commit 134c0be847a9f1b9aa2def2b336692d95fe36361 by idhugoid
Waits for result of coverage and prints message Fixes #716
(commit: 134c0be)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/packets/DbgpPacketReceiver.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/commands/IDbgpOvertureCommands.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugTarget.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/commands/DbgpOvertureCommands.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReaderV2.java (diff)
Commit a84093ca06c40b3a482b04959eb1e7ac468b95f5 by nick.battle
Fix RecordValue.compareTo to call super.compareTo for different types,
fixes #734
(commit: a84093c)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/RecordValue.java (diff)
Commit 1e83f91781fa30ea725a4bcec38022a37a956160 by idhugoid
Brings the VDM console of a launch to the front of the view

When a launch is made requesting an interactive session, the VDM console
does not always appear in the Eclipse console view. Instead the
Interpreter console is shown. This commit introduces a bring to front
call after the Interpreter has connected, thus its console should be
moved to the back.
(commit: 1e83f91)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
Commit a46e1d4a049173c509e59f3225c0778fee31d915 by idhugoid
Adds support for DBGP messages and Rmoves dead code

Some answers in the DBGP neither contain a property element nor a
success attribute, thus list is Null.
(commit: a46e1d4)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/commands/DbgpExtendedCommands.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/commands/IDbgpExtendedCommands.java (diff)
Commit 7ef5f5117951b93852c578b0f9ddfd7e25364b33 by idhugoid
Checks whether the DBGP response has a value to print

Some of the commands executed in the launched interpreter return no
property value. (For instance a quit)
(commit: 7ef5f51)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmConsoleInputListener.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/VdmStreamProxy.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/IVdmStreamProxy.java (diff)
Commit 4f23db6d4532b4f5978595186a1254e1ee3392a5 by idhugoid
Calls coverage before terminating the interpreter

Sorts a race condition where the interpreter would receive a stop
command and shut before the coverage was completely processed by the
debug plugin.

It could be squashed with 134c0be847a9f1b9aa2def2b336692d95fe36361 as it
is part of the fix.
(commit: 4f23db6)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/IVdmThread.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugTarget.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/IVdmThreadManager.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThreadManager.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThread.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThreadStateManager.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmConsoleInputListener.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/operations/DbgpTerminateOperation.java (diff)
The file was modifiedexternals/docrepo (diff)
Commit 03c5f3ef738e191283ed7be93d2640d8f4c7bedd by idhugoid
Merges external documentation submodule
(commit: 03c5f3e)
The file was modifiedexternals/docrepo (diff)
Commit 0dee7780df793555f5bd644b8e8aaa5440993b88 by idhugoid
Fix condition

In case there is an exception coverage is not written
(commit: 0dee778)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThreadStateManager.java (diff)
Commit 52901b2937543e2ed461048c49c4301f94cd23b0 by idhugoid
Show VdmDebugConsole on top in the View

The console gets hidden behind the Interpreter one that is blank. This
commit moves towards a solution. Unfortunately in the case the
Interpreter console is pinned or there is a write to the out or error
of it, the VdmDebugConsole will not be visible.
(commit: 52901b2)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.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/ProcessConsolePageParticipant.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/VdmDebugConsole.java (diff)
Commit d945c81a8b3429a5917285123e85a6c592357136 by idhugoid
Moves the console for the current process to the front
(commit: d945c81)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/VdmDebugConsole.java (diff)
The file was addeddocumentation/releasenotes/ReleaseNotes_3.0.0.md
The file was modifiedoverture.release.properties (diff)
Commit c179d6bed2cef0f05399434b731d680bdd71c9fd by idhugoid
[maven-release-plugin] prepare release Release/3.0.0

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