SuccessChanges

Summary

  1. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) (details)
  2. Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
  3. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
  4. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)
  5. Change warning number for let def impure operations (commit: f762e74) (details)
  6. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) (details)
  7. Added warning for function value comparisons, fixes #739 (commit: 90c955f) (details)
  8. Pass element type into typecheck of set comprehensions, fixes #728 (commit: 253f4ba) (details)
  9. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details)
  10. Use re-stated types in definition imports (see #760) (commit: bd2643b) (details)
  11. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details)
  12. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) (details)
Commit 42ea3131087d72755847610367ceb7c7ae9cc73b by idhugoid
[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 3.0.1-SNAPSHOT
(commit: 42ea313)
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/parsers/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/builders/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/product/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedpom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedcore/typechecker/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
Commit b576a7521ea8becd6d3708a44df4b0604ac67f80 by nick.battle
Prevent looping type resolution, fixes #735
(commit: b576a75)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
Commit 05d176eb9732aaa2b7d15969436eae9805cea97a by nick.battle
Better approach to recursive type resolution errors, fixes #735
(commit: 05d176e)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java
Commit 8791e1ff56bad2f3d81de19a0e309c5766f1c5dd by nick.battle
Put let RHS functional checks within -strict flag
(commit: 8791e1f)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/Environment.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java
Commit f762e7459b6950e6548f85066bf2fed9cd053efb by nick.battle
Change warning number for let def impure operations
(commit: f762e74)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
Commit b9ea923a53e1ae8a07db9e46bbb1c0418bd61ba2 by nick.battle
Added warnings for threadid, time and new expressions in function ctxts
(commit: b9ea923)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
Commit 90c955fdb8c163988b5f0e01c23064aa10286409 by nick.battle
Added warning for function value comparisons, fixes #739
(commit: 90c955f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/type/PTypeAssistantTC.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
Commit 253f4ba15880e66fc21b3e083ed2d872a6397218 by nick.battle
Pass element type into typecheck of set comprehensions, fixes #728
(commit: 253f4ba)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.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/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.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/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/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.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/modules/realmSL.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/access-types/access-types.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.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-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.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/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.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_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.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/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.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/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.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/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
Commit e5b2e9f44de2909f4dfcdcb16b8c5c6bd60b1c0b by nick.battle
Fix the type definitions for pre and post conditions, fixes #740
(commit: e5b2e9f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.java
Commit bd2643ba9d5f6245f6363a199a1ceaf9c8a075c7 by nick.battle
Use re-stated types in definition imports (see #760)
(commit: bd2643b)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.java
Commit 656ece8aa7d9bbcdb9c1c5168169e64f997ee5ad by nick.battle
Correct check of function parameter patterns and arguments, fixes #762
(commit: 656ece8)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java
Commit cafcbab7365cc5e34400a8b4012c438213559144 by idhugoid
[maven-release-plugin] prepare release Release/3.0.2

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