[Jenkins]Jenkins

SuccessChanges

Summary

  1. [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) (details)
  2. Do not report mutual recursion via pre/post expressions, fixes #719 (commit: 009b8d6) (details)
  3. Correct check for cyclic recursion, fixes #720 (commit: 4db56b7) (details)
  4. Update test results for recursive cycle check (commit: 1170f28) (details)
  5. Set module name for min/max parameters, fixes #722 (commit: 92aa706) (details)
  6. Added union order override warnings, fixes #723 (commit: c30d266) (details)
  7. Check for numeric types with unary + and -, fixes #724 (commit: 33a4bc1) (details)
  8. Check sequence apply expression for seq(0), fixes #726 (commit: 092763f) (details)
  9. Don't define a RESULT symbol for void explicit operation postconditions, (commit: 348dfe8) (details)
  10. Bump version number (commit: 185e89d) (details)
  11. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) (details)
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 modifiedcore/prettyprinting/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedpom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/product/overture.product
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedcore/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/platform/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
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/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/recursiveSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-08.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.result
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
Commit 1170f281a485be22f6e2ff8b13c66f457e3b5999 by nick.battle
Update test results for recursive cycle check
 (commit: 1170f28)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/pacemakerSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-05.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/PlannerSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/LUPSLSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/SAFERSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
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
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
Commit 33a4bc1ea4510a09bda2bd7b1b7facb177c6d036 by nick.battle
Check for numeric types with unary + and -, fixes #724
 (commit: 33a4bc1)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-05.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numplus/numplus-05.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-05.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numplus/numplus-04.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-04.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-04.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-03.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numplus/numplus-05.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numplus/numplus-04.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
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/recfun/recfun-13.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/applyexpr/applyexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/pog/sltest/exprtest/CORE/expr/applyexpr/applyexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/applyexpr/applyexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
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
Commit 185e89dc7861049c84abeedbb67f553dc9295b19 by idhugoid
Bump version number
 (commit: 185e89d)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifieddocumentation/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedcore/interpreter/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/platform/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedpom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedcore/ast/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/builders/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/features/core/pom.xml
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 modifiedcore/codegen/ir/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/product/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/parsers/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedpom.xml
The file was modifiedide/features/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/core/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml