FailedChanges

Summary

  1. Added IR nodes and cases for ASetPattern and AUnionPattern. (details)
  2. Add "opaque" label to types' toString (details)
  3. Change (opaque) label to /* opaque */ (details)
  4. Check for nil values in InvariantValue equalities, fixes #717 (details)
  5. Adds Overture 2.7.4 release notes (details)
  6. Preparing the release of Overture 2.7.4 (details)
  7. Revert "Merge pull request #714 from SamieJim/js/ir" (details)
  8. [maven-release-plugin] prepare release Release/2.7.4 (details)
  9. [maven-release-plugin] prepare for next development iteration (details)
  10. Do not report mutual recursion via pre/post expressions, fixes #719 (details)
  11. Correct check for cyclic recursion, fixes #720 (details)
  12. Update test results for recursive cycle check (details)
  13. Fixes #721 (details)
  14. Relativizes URI to the project files location. Fixes #721. (details)
Commit b83f2245c331cf44930482d1e37a112b54366a3d by ncdmz\jasim
Added IR nodes and cases for ASetPattern and AUnionPattern.
The file was modifiedcore/codegen/ir/src/main/resources/ir.ast (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/PatternVisitorIR.java (diff)
Commit 9b578acad03c5173de53e1314ab4257865493882 by nick.battle
Add "opaque" label to types' toString
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring (diff)
Commit b9a26fd791ec5aa7a2409bceab833db93d30352f by nick.battle
Change (opaque) label to /* opaque */
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring (diff)
Commit 9940f684a2c44cbf314b1d2333ed8b3b04a72e63 by nick.battle
Check for nil values in InvariantValue equalities, fixes #717
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java (diff)
Commit b987cb29ffdecde06c2aeb868b54542b6ac7ffd5 by idhugo
Adds Overture 2.7.4 release notes
The file was addeddocumentation/releasenotes/ReleaseNotes_2.7.4.md
Commit a11b54774d773c7a982b2034390d66e22896a845 by idhugo
Preparing the release of Overture 2.7.4
The file was modifiedoverture.release.properties (diff)
Commit 908057e31bf57424a4409c35b1bb63791aed4379 by idhugo
Revert "Merge pull request #714 from SamieJim/js/ir"

This reverts commit 87e8945dbf2bc95bdd7ff9ffd90e784c9422cec4, reversing
changes made to 51351ae505504fd4bef82f2c2b0429c7bd876f42.

Those commits break the javagen tests according to issue #718
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/PatternVisitorIR.java (diff)
The file was modifiedcore/codegen/ir/src/main/resources/ir.ast (diff)
Commit ded1ba63f0e9bce36af5f6c1071305a3c33d40ee by idhugo
[maven-release-plugin] prepare release Release/2.7.4

Bump ide/ to version 2.7.4
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/help/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 modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedide/features/rcp/pom.xml (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
Commit 2a9fecf0fcc849f2acc74a74e3378934387aa88e by idhugo
[maven-release-plugin] prepare for next development iteration

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

Adds project subfolders to the path when converting the full debugging URI path
to a file name that must be found relative to the project path.
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmStackFrame.java (diff)
Commit 95a823a176f85b63f8ed0c3a15f01036d8479fb1 by idhugo
Relativizes URI to the project files location. Fixes #721.

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

In case a user imports projects and maintains the files in another
location outside the Eclipse workspace folder, this fix provides the
appropriate paths.
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmStackFrame.java (diff)