SuccessChanges

Summary

  1. Fix broken javadoc causing release problems (commit: f18ce03) (details)
  2. [maven-release-plugin] prepare release Release/2.7.0 (commit: a90cc7b) (details)
  3. [maven-release-plugin] prepare for next development iteration (commit: c81fed3) (details)
  4. Add link to the release procedure in the README (commit: 3740b75) (details)
  5. Update Eclipse update sites (commit: 0932785) (details)
  6. Small fix to mu error reporting locations (commit: 3c9dff9) (details)
  7. Added @OnFail annotation (commit: fdd6d7b) (details)
  8. Add LexLocation and newline to @OnFail output (commit: 39ec758) (details)
Commit f18ce0345a2503b141c2cb7ebf98d78338abedf0 by Peter W. V. Tran-Jørgensen
Fix broken javadoc causing release problems
(commit: f18ce03)
The file was modifiedcore/annotations/examples/src/main/java/org/overture/annotations/examples/GhostAnnotation.java (diff)
Commit a90cc7bbd3838f88f71034fbe175fa9c3c552aaf by Peter W. V. Tran-Jørgensen
[maven-release-plugin] prepare release Release/2.7.0
Bump ide/ to version 2.7.0
(commit: a90cc7b)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedide/vdmpp/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/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
Commit c81fed345784b4e0d0ce262c9a70032633fc9dcd by Peter W. V. Tran-Jørgensen
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 2.7.1-SNAPSHOT
(commit: c81fed3)
The file was modifiedcore/testing/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/features/rcp/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
Commit 3740b75f53f82aa0542fd80e13a9912c022a94da by Peter W. V. Tran-Jørgensen
Add link to the release procedure in the README
(commit: 3740b75)
The file was modifiedREADME.md (diff)
The file was modifiedide/product/src/main/resources/p2/overture.p2.inf (diff)
Commit 3c9dff93e03cdf5d284908fff2c25b8675de81fc by nick.battle
Small fix to mu error reporting locations
(commit: 3c9dff9)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/recordmodifierexpr/recordmodifierexpr-10.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.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/exprtest/CORE/expr/recordmodifierexpr/recordmodifierexpr-10.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/metroSL.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/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/recordmodifierexpr/recordmodifierexpr-03.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_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.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/modules/newspeakSL.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/trafficSL.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_SL_Modules_TestSuite_External/exprtest/CORE/expr/recordmodifierexpr/recordmodifierexpr-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.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_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.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/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recmodify/recmodify-08.vdm.result (diff)
The file was addedcore/annotations/provided/src/main/java/org/overture/annotations/provided/OnFailAnnotation.java
Commit 39ec7580b7e16d13d63f4af5137019eeae6c0d25 by nick.battle
Add LexLocation and newline to @OnFail output
(commit: 39ec758)
The file was modifiedcore/annotations/provided/src/main/java/org/overture/annotations/provided/OnFailAnnotation.java (diff)