SuccessChanges

Summary

  1. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details)
  2. Fix bug with import type mismatch with export (commit: 03c6582) (details)
  3. Corrected retrieval of nat values to allow 0 (commit: ab0e2dc) (details)
  4. Suppress details as well as messages in VDMError when suspended (commit: b652fba) (details)
  5. Fix min_/max_ functions, fixes #706 (commit: c354db8) (details)
  6. Correct recursive type check for function types, fixes #707 (commit: 59b42cc) (details)
  7. Correct specification statement parse, fixes #708 (commit: 98065ea) (details)
  8. Added stack overflow handing, fixes #709 (commit: c29570c) (details)
  9. More sensible file handling in CommandReader (commit: bdedb54) (details)
  10. Improved stack overflow handling, fixes #709 (commit: 3ead045) (details)
  11. Improved stack overflow stack printing, fixes #709 (commit: b5fcc49) (details)
  12. Add annotations.debug property to debug annotation parsing (commit: b94246e) (details)
  13. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) (details)
  14. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details)
  15. Allow renamed function imports to use reserved prefixes, fixes #711 (commit: 0f7f4cf) (details)
  16. Added warning for TypeComparator with ParameterTypes, fixes #562 (commit: 277c1b9) (details)
  17. Added coprights to ParameterFinder (commit: b19f3f9) (details)
  18. Allow state records to be imported as types (commit: aba0f48) (details)
  19. Added #ifndef processing to LatexStreamReader (commit: 59da932) (details)
  20. Corrected toString for seq binds, fixes #651 (commit: ce53cc1) (details)
  21. Added #ifndef keyword (commit: 34989bc) (details)
  22. Fix check for exit statements, fixes #14 (commit: b6bcf40) (details)
  23. More fixes for #14 (commit: af5a48c) (details)
  24. Small fix for measure expressions, see #15 (commit: f5a67a6) (details)
  25. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) (details)
  26. Better resolution of apply function names, fixes #15 (commit: f8fa46c) (details)
  27. Exit detection understands "is not yet specified" (commit: 837029a) (details)
  28. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) (details)
  29. Some corrections to mutual recursion checking, #15 (commit: c357576) (details)
  30. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) (details)
  31. Added some clones to TypeCompatabilityObligation, see #15 (commit: 759f6ff) (details)
  32. Add expression and bind checks to exception checking, see #14 (commit: 62ab12e) (details)
  33. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
  34. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) (details)
  35. Added IR nodes and cases for ASetPattern and AUnionPattern. (commit: b83f224) (details)
  36. Add "opaque" label to types' toString (commit: 9b578ac) (details)
  37. Change (opaque) label to /* opaque */ (commit: b9a26fd) (details)
  38. Check for nil values in InvariantValue equalities, fixes #717 (commit: 9940f68) (details)
  39. Adds Overture 2.7.4 release notes (commit: b987cb2) (details)
  40. Preparing the release of Overture 2.7.4 (commit: a11b547) (details)
  41. Revert "Merge pull request #714 from SamieJim/js/ir" (commit: 908057e) (details)
  42. [maven-release-plugin] prepare release Release/2.7.4 (commit: ded1ba6) (details)
Commit 2412c37f17ef54d7977a9b0db3abb9804bcb23b5 by Peter W. V. Tran-Jørgensen
[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 2.7.3-SNAPSHOT
(commit: 2412c37)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/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/features/rcp/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/debug/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 modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedide/plugins/features/csk/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/framework/pom.xml (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/features/developerutils/pom.xml (diff)
Commit 03c658231743e2c3e84af345d8f01df5ba6b780d by nick.battle
Fix bug with import type mismatch with export
(commit: 03c6582)
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/DetailedTypeDisplayer.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/type/PTypeAssistantTC.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerImportsVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java (diff)
Commit ab0e2dc8015d6fa4a75067dfbf5866a91abb9017 by simon.fraser
Corrected retrieval of nat values to allow 0
(commit: ab0e2dc)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/ReferenceValue.java (diff)
Commit b652fbac5d3d73467b18744fc9fc57934d8d7914 by nick.battle
Suppress details as well as messages in VDMError when suspended
(commit: b652fba)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java (diff)
Commit c354db831f18c5e7368563bba4e85866232b541f by nick.battle
Fix min_/max_ functions, fixes #706
(commit: c354db8)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_not_bool.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_missing_func.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ImplicitDefinitionFinder.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_func.result (diff)
Commit 59b42cc9148c8035ebc7994c0693b8ff5fee77eb by nick.battle
Correct recursive type check for function types, fixes #707
(commit: 59b42cc)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java (diff)
Commit 98065ea1627be9c41523b29176698b15161a3551 by nick.battle
Correct specification statement parse, fixes #708
(commit: 98065ea)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java (diff)
Commit c29570c5bb2fc1b4fc9d3abd9ca0ab1c6ce39be8 by nick.battle
Added stack overflow handing, fixes #709
(commit: c29570c)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/OperationValue.java (diff)
Commit bdedb54f8057188932b7b95cfd5a6a5510dcd340 by nick.battle
More sensible file handling in CommandReader
(commit: bdedb54)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java (diff)
Commit 3ead045ff04650558f226a77093116c663a53339 by nick.battle
Improved stack overflow handling, fixes #709
(commit: 3ead045)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/OperationValue.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReader.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/scheduler/MainThread.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMPP.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/assistant/module/ModuleListAssistantInterpreter.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/assistant/module/AModuleModulesAssistantInterpreter.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMSL.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReaderV2.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/runtime/ContextException.java (diff)
Commit b5fcc49d8e29fb175e836fa64dd1fa0bb750e340 by nick.battle
Improved stack overflow stack printing, fixes #709
(commit: b5fcc49)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java (diff)
Commit b94246e3281031693e6254cd9b7127c827c4d4dd by nick.battle
Add annotations.debug property to debug annotation parsing
(commit: b94246e)
The file was modifiedcore/parser/src/main/java/org/overture/parser/annotations/ASTAnnotationAdapter.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java (diff)
Commit 3ce92764dcba355ad948b8b73dd0791f4fb9a3fb by nick.battle
Fix #ifdef processing and move to properties, fixes #710
(commit: 3ce9276)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMRT.java (diff)
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmSl.java (diff)
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmPp.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/lex/LatexStreamReader.java (diff)
The file was modifiedide/vdmpp/ui/src/main/java/org/overture/ide/vdmpp/ui/editor/syntax/VdmPpKeywords.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMPP.java (diff)
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmRt.java (diff)
The file was modifiedide/vdmsl/ui/src/main/java/org/overture/ide/vdmsl/ui/editor/syntax/VdmSlKeywords.java (diff)
The file was modifiedide/vdmrt/ui/src/main/java/org/overture/ide/vdmrt/ui/editor/syntax/VdmRtKeywords.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/VDMSL.java (diff)
Commit 348313a0b360f0bf65f81ea56a4671cf9c8d58c5 by nick.battle
Add checks for reserved word prefixes in definition names, fixes #711
(commit: 348313a)
The file was modifiedcore/parser/src/test/resources/specifications/rt/examples/CarNaviRadioRT (diff)
The file was modifiedcore/typechecker/src/test/resources/classesRT/CarNaviRadioRT (diff)
The file was modifiedcore/interpreter/src/test/resources/classesRTClassic/oldcarradioRT/oldcarradioRT.vdmrt (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/letexpr/letexpr-23.vdm.result (diff)
The file was modifiedcore/parser/src/test/resources/specifications/sl/examples/ACSSL (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java (diff)
The file was modifiedcore/typechecker/src/test/resources/classesRT/oldcarradioRT (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/adapted/ACSSL.vdmsl (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL (diff)
The file was modifiedcore/parser/src/test/resources/specifications/sl/examples/DigraphSL (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ACSSL (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/PatternReader.java (diff)
The file was modifiedcore/parser/src/test/resources/specifications/rt/examples/oldcarradioRT (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/adapted/ACSSL.vdmsl.result (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ModuleReader.java (diff)
Commit 0f7f4cffbf9f80484313faf83f395ec5b56716e0 by nick.battle
Allow renamed function imports to use reserved prefixes, fixes #711
(commit: 0f7f4cf)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ModuleReader.java (diff)
Commit 277c1b95f6bfbb8cdd953934315c4d561d219a61 by nick.battle
Added warning for TypeComparator with ParameterTypes, fixes #562
(commit: 277c1b9)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/fcttypeinstexpr/fcttypeinstexpr-03.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/modules17/modules17.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/pog/pptest/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules17/modules17.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/extexplfndef/extexplfndef.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/fcttypeinstexpr/fcttypeinstexpr-03.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/pog/sltest/fulltest/CORE/extexplfndef/extexplfndef-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java (diff)
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/ParameterFinder.java
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/extexplfndef/extexplfndef.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/pog/pptest/fulltest/PP/fundefpp/fundefpp-02.vpp.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/pog/sltest/fulltest/CORE/fundefsl/fundefsl-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/LexNameTokenAssistant.java (diff)
Commit b19f3f9d838d1313e959667e8300bb090d220d5e by nick.battle
Added coprights to ParameterFinder
(commit: b19f3f9)
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/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/fulltest/CORE/stmt/casesstmt/casesstmt-01.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/opdef/opdef.vdm.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/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/ParameterFinder.java (diff)
Commit aba0f48b66445c19c0f893c3a272f92f32301b6c by nick.battle
Allow state records to be imported as types
(commit: aba0f48)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerImportsVisitor.java (diff)
Commit 59da932fafd307ed9139586b915fe4aa73b97651 by nick.battle
Added #ifndef processing to LatexStreamReader
(commit: 59da932)
The file was modifiedcore/parser/src/main/java/org/overture/parser/lex/LatexStreamReader.java (diff)
Commit ce53cc135be2a70bc3a63c7698d5d08e4da2357f by nick.battle
Corrected toString for seq binds, fixes #651
(commit: ce53cc1)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring (diff)
The file was modifiedide/vdmpp/ui/src/main/java/org/overture/ide/vdmpp/ui/editor/syntax/VdmPpKeywords.java (diff)
The file was modifiedide/vdmsl/ui/src/main/java/org/overture/ide/vdmsl/ui/editor/syntax/VdmSlKeywords.java (diff)
The file was modifiedide/vdmrt/ui/src/main/java/org/overture/ide/vdmrt/ui/editor/syntax/VdmRtKeywords.java (diff)
Commit b6bcf403a45e55912d143655084c76c0081e98e6 by nick.battle
Fix check for exit statements, fixes #14
(commit: b6bcf40)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java (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/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/cloning_specs/CashDispenserPP.vdmpp.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/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java (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/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was modifiedcore/ast/src/main/java/org/overture/ast/util/PTypeComparator.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (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/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java (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_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/concurrency_classics_specs/POP3_LogBased_Test1.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/classic_specs/CashDispenserPP.vdmpp.result (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/SL/opdef/opdef.vdm.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/fundefpp/fundefpp.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/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result (diff)
Commit f5a67a6a14c61039fffb4532065978b78b3e9313 by nick.battle
Small fix for measure expressions, see #15
(commit: f5a67a6)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
Commit 228447e11a1b148129d2a8d82f488ca53640d037 by nick.battle
First cut changes for mutual recursive TCs, fixes #15
(commit: 228447e)
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/fulltest/CORE/fundefsl/fundefsl.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/pp/diet2japanPP.vdmpp.result (diff)
The file was modifiedcore/pog/src/test/resources/micro/pos/FunctionApply.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result (diff)
The file was modifiedcore/pog/src/test/resources/micro/pos/NonEmptySeq.vdmsl.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/rectrapstmt/rectrapstmt.vpp.result (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/expressSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.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_SL_Modules_TestSuite_External/fulltest/CORE/extexplfndef/extexplfndef.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/applyexpr/applyexpr-17.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.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/modules/SAFERSL.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/modules/looseSL.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/BOMSL.vdmsl.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/CORE/recfun/recfun-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/PlannerSL.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/realmSL.vdmsl.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/PlannerSL.vdmsl.result (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/obligation/RecursiveObligation.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.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/pacemakerSL.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/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/raildirSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.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/DigraphSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.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/classes/CodegenPP.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/DFDexampleSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/LUPSLSL.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/MAASL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.java (diff)
The file was modifiedcore/typechecker/src/test/resources/classes/treePP.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/recursiveSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java (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/ast/src/main/resources/overtureII.astv2 (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-13.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/recursiveSL.result (diff)
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/RecursiveLoops.java
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/pacemakerSL.vdmsl.result (diff)
Commit f8fa46c0425fa8a9aa58d6fe44adaba24280070f by nick.battle
Better resolution of apply function names, fixes #15
(commit: f8fa46c)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.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-08.vpp.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/RecursiveLoops.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.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_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/classes/treePP.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/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.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_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/opdef/opdef.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.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/modules/ADTSL.result (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-32.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/SL/stmtsl/rectrapstmt/rectrapstmt.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-05.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.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/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
Commit 837029abe50923fc94dbf57b96c58b1ceb43ba93 by nick.battle
Exit detection understands "is not yet specified"
(commit: 837029a)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java (diff)
Commit f11015a4e1516c0cff57adf2b9a7c6b2380a2fed by nick.battle
Added extra checks for exceptions, searching expressions. See #14
(commit: f11015a)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-18.vdm.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/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-16.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_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-18.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-08.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/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/ifstmt/if-18.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.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/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-17.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.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/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/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/setcomp/setcomp-09.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-19.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/ifstmt/if-17.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/stmtsl/rectrapstmt/rectrapstmt.vdm.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/codegen/javagen/src/test/resources/var_shadowing_specs/TrapStmTuplePattern.vdmpp (diff)
The file was addedcore/codegen/vdm2jml-runtime/.gitignore
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/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recmodify/recmodify-11.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/setdistrunion/setdistrunion-05.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-09.vdm.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/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/typejudgement/typejudgement-03.vdm.result (diff)
The file was addedcore/codegen/codegen-runtime/.gitignore
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/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/simple-blockstmt/blockstmt-07.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/casesstmt/casesstmt-16.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recordexpr/recordexpr-10.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.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/stmt/letbestmt/letbestmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result (diff)
The file was addedcore/codegen/isagen/.gitignore
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.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_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.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/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/setdistrunion/setdistrunion-05.vdm.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/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java (diff)
The file was addedcore/codegen/ir/.gitignore
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/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/casesexpr/casesexpr-03.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
Commit c3575766edeea094a15564d99056201ba2f0113a by nick.battle
Some corrections to mutual recursion checking, #15
(commit: c357576)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.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/DFDexampleSL.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/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.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/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.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/fulltest/SL/modules06/modules06.vdm.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/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/main/java/org/overture/typechecker/RecursiveLoops.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.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/SL/extexplopdef/extexplopdef.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-05.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.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-31.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result (diff)
Commit d2ee23f5c8ecb8c9055f79669e7f40d530d268fe by nick.battle
Add a depth limit to recursive cycle searching, see #15
(commit: d2ee23f)
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/graphedSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.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/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-07.vpp.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/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.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_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/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/BOMSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.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/MAASL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.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/modules/trafficSL.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/RecursiveLoops.java (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/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.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/DigraphSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.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/modules06/modules06.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.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/CORE/recfun/recfun-32.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
Commit 759f6ff1573ad706db3832bc298cf77c6a7e92e3 by nick.battle
Added some clones to TypeCompatabilityObligation, see #15
(commit: 759f6ff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java (diff)
Commit 62ab12e0ffab72fdc55b3eff6693c946e9242b6e by nick.battle
Add expression and bind checks to exception checking, see #14
(commit: 62ab12e)
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/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-08.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-19.vdm.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/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/simple-blockstmt/blockstmt-07.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.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_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.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/fundefsl/fundefsl.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/typejudgement/typejudgement-03.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-09.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java (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/STVSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recmodify/recmodify-11.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-18.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result (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/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/setcomp/setcomp-09.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.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/CORE/stmt/casesstmt/casesstmt-18.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.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/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.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/DFDexampleSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recordexpr/recordexpr-10.vdm.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_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/assistant/expression/PExpAssistantTC.java
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.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_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.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/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/ifstmt/if-18.vdm.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/looseSL.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/modules/simulatorSL.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-32.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result (diff)
Commit 699e976a474418a6c5e6d910362296e5881bd648 by nick.battle
Correction to seq comprehensions to use "bind", see #692
(commit: 699e976)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/FreeVariablesChecker.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/OldNameCollector.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/expression/ExpressionValueCollector.java (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/.gitignore (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/contexts/POForAllContext.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
The file was modifiedcore/codegen/codegen-runtime/.gitignore (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java (diff)
Commit 51351ae505504fd4bef82f2c2b0429c7bd876f42 by nick.battle
Correctly order type-bind generated invariant values, see #692
(commit: 51351ae)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/type/AllValuesCollector.java (diff)
Commit b83f2245c331cf44930482d1e37a112b54366a3d by ncdmz\jasim
Added IR nodes and cases for ASetPattern and AUnionPattern.
(commit: b83f224)
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 9b578acad03c5173de53e1314ab4257865493882 by nick.battle
Add "opaque" label to types' toString
(commit: 9b578ac)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring (diff)
Commit b9a26fd791ec5aa7a2409bceab833db93d30352f by nick.battle
Change (opaque) label to /* opaque */
(commit: b9a26fd)
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
(commit: 9940f68)
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
(commit: b987cb2)
The file was addeddocumentation/releasenotes/ReleaseNotes_2.7.4.md
Commit a11b54774d773c7a982b2034390d66e22896a845 by idhugo
Preparing the release of Overture 2.7.4
(commit: a11b547)
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
(commit: 908057e)
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
(commit: ded1ba6)
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/help/pom.xml (diff)
The file was modifiedide/plugins/uml2/pom.xml (diff)
The file was modifiedexternals/pom.xml (diff)
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/core/feature.xml (diff)
The file was modifiedide/plugins/quickinterpreter/pom.xml (diff)
The file was modifiedide/builders/pom.xml (diff)
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/javagen/feature.xml (diff)
The file was modifiedcore/commandline/pom.xml (diff)
The file was modifiedcore/annotations/provided/pom.xml (diff)
The file was modifiedide/vdmsl/core/pom.xml (diff)
The file was modifiedcore/interpreter/pom.xml (diff)
The file was modifiedcore/testing/samples/pom.xml (diff)
The file was modifiedide/plugins/features/javagen/pom.xml (diff)
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/javagen/pom.xml (diff)
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/debug/pom.xml (diff)
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml (diff)
The file was modifiedcore/prettyprinting/pom.xml (diff)
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/annotations/examples/pom.xml (diff)
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/ui/pom.xml (diff)
The file was modifiedide/vdmpp/debug/pom.xml (diff)
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/quickinterpreter/feature.xml (diff)
The file was modifiedcore/ast/pom.xml (diff)
The file was modifiedide/plugins/features/pom.xml (diff)
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/testing/pom.xml (diff)
The file was modifiedide/help/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/developerutils/feature.xml (diff)
The file was modifiedide/plugins/developerutils/pom.xml (diff)
The file was modifiedcore/codegen/codegen-runtime/pom.xml (diff)
The file was modifiedcore/codegen/javagen-test/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/vdmrt/core/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/pom.xml (diff)
The file was modifiedcore/codegen/pom.xml (diff)
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/latex/pom.xml (diff)
The file was modifiedcore/parser/pom.xml (diff)
The file was modifiedide/plugins/pom.xml (diff)
The file was modifiedide/vdmsl/ui/pom.xml (diff)
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/poviewer/feature.xml (diff)
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml (diff)
The file was modifiedide/features/core/pom.xml (diff)
The file was modifiedide/features/rcp/pom.xml (diff)
The file was modifiedcore/annotations/pom.xml (diff)
The file was modifiedide/platform/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/isagen/pom.xml (diff)
The file was modifiedide/product/overture.product (diff)
The file was modifiedcore/testframework/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmrt/pom.xml (diff)
The file was modifiedide/parsers/vdmj/pom.xml (diff)
The file was modifiedcore/isapog/pom.xml (diff)
The file was modifiedide/plugins/features/coverageeditor/feature.xml (diff)
The file was modifiedide/vdmpp/pom.xml (diff)
The file was modifiedide/builders/vdmj/pom.xml (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml (diff)
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/poviewer/pom.xml (diff)
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF (diff)
The file was modifiedide/product/pom.xml (diff)
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/csk/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/plugins/features/developerutils/pom.xml (diff)
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml (diff)
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/uml2/feature.xml (diff)
The file was modifiedcore/typechecker/pom.xml (diff)
The file was modifiedide/parsers/pom.xml (diff)
The file was modifiedide/ui/pom.xml (diff)
The file was modifiedide/core/pom.xml (diff)
The file was modifieddocumentation/pom.xml (diff)
The file was modifiedide/vdmsl/pom.xml (diff)
The file was modifiedcore/codegen/vdm2jml/pom.xml (diff)
The file was modifiedide/features/rcp/feature.xml (diff)
The file was modifiedcore/pog/pom.xml (diff)
The file was modifiedide/debug/pom.xml (diff)
The file was modifiedide/plugins/combinatorialtesting/pom.xml (diff)
The file was modifiedide/plugins/features/latex/feature.xml (diff)
The file was modifiedide/plugins/features/quickinterpreter/pom.xml (diff)
The file was modifiedide/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml (diff)
The file was modifiedide/plugins/uml2.tests/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/codegen/ir/pom.xml (diff)
The file was modifiedide/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/csk/pom.xml (diff)
The file was modifiedide/platform/pom.xml (diff)
The file was modifiedide/plugins/coverageeditor/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifieddocumentation/releasenotes/pom.xml (diff)
The file was modifiedide/ui.tests/pom.xml (diff)
The file was modifiedide/plugins/externaleditor/pom.xml (diff)
The file was modifiedide/plugins/latex/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml (diff)
The file was modifiedcore/combinatorialtesting/pom.xml (diff)
The file was modifiedide/vdmpp/core/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/feature.xml (diff)
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF (diff)
The file was modifiedide/plugins/rttraceviewer/pom.xml (diff)
The file was modifiedide/vdmsl/debug/pom.xml (diff)
The file was modifiedide/plugins/features/rttraceviewer/pom.xml (diff)
The file was modifiedcore/prettyprinting/npp/pom.xml (diff)
The file was modifiedide/plugins/features/csk/feature.xml (diff)
The file was modifiedide/plugins/poviewer/pom.xml (diff)
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF (diff)
The file was modifiedide/vdmpp/ui/pom.xml (diff)
The file was modifiedide/plugins/features/uml2/pom.xml (diff)