SuccessChanges

Summary

  1. Changes the interpreter startup (commit: e7a1016) (details)
  2. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) (details)
  3. Adds strict flag parsing to the interpreter command line (commit: db2d546) (details)
  4. Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) (details)
  5. Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) (details)
  6. Check for invariant types when converting function values, fixes #761 (commit: b42facd) (details)
  7. [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
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 modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedcore/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedcore/parser/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/core/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedpom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/platform/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/ui/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
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
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
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/definition/NamedValueLister.java
The file was modifiedcore/interpreter/src/test/resources/Interpreter_SL_Modules_TestSuite_External/CORE/expr/letexpr/letexpr-07.vdm.entry
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java
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
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
Commit cafcbab7365cc5e34400a8b4012c438213559144 by idhugoid
[maven-release-plugin] prepare release Release/3.0.2

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