FailedChanges

Summary

  1. Changes the interpreter startup (commit: e7a1016) (details)
  2. Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
  3. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
  4. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)
  5. Adds strict option to the launch configuration (commit: 915dddc) (details)
Commit e7a10162ac9c00d737a977e9b04836b44c0dd40b by idhugoid
Changes the interpreter startup

In case the interpreter is initialized before connecting to Overture the
connection timeout on the Overture side may elapse, while the initialize
does it work. In this commit we change the approach to connect first and
initialize after.
(commit: e7a1016)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReader.java (diff)
Commit b576a7521ea8becd6d3708a44df4b0604ac67f80 by nick.battle
Prevent looping type resolution, fixes #735
(commit: b576a75)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java (diff)
Commit 05d176eb9732aaa2b7d15969436eae9805cea97a by nick.battle
Better approach to recursive type resolution errors, fixes #735
(commit: 05d176e)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java (diff)
Commit 8791e1ff56bad2f3d81de19a0e309c5766f1c5dd by nick.battle
Put let RHS functional checks within -strict flag
(commit: 8791e1f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.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 (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (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/Environment.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java (diff)
Commit 915dddc18a86c63d7eb01797310f8105a85e0bae by idhugoid
Adds strict option to the launch configuration

The -strict flag was added to VDMJ to address #736.
(commit: 915dddc)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/launching/VdmRuntimeChecksLaunchConfigurationTab.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/IDebugConstants.java (diff)