Changes

Summary

Changes the interpreter startup (commit: e7a1016) (details)
Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)
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)
	core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReader.java (diff)
Commit b576a7521ea8becd6d3708a44df4b0604ac67f80 by nick.battle Prevent looping type resolution, fixes #735 (commit: b576a75)
	core/ast/src/main/resources/overtureII.astv2 (diff)
	core/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)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java (diff)
	core/ast/src/main/resources/overtureII.astv2 (diff)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java (diff)
Commit 8791e1ff56bad2f3d81de19a0e309c5766f1c5dd by nick.battle Put let RHS functional checks within -strict flag (commit: 8791e1f)
	core/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java (diff)
	core/parser/src/main/java/org/overture/parser/syntax/StatementReader.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/Environment.java (diff)
	core/ast/src/main/resources/overtureII.astv2 (diff)
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.java (diff)
	core/ast/src/main/java/org/overture/ast/factory/AstFactory.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.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)
	ide/debug/src/main/java/org/overture/ide/debug/core/IDebugConstants.java (diff)
	ide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
	ide/debug/src/main/java/org/overture/ide/debug/ui/launching/VdmRuntimeChecksLaunchConfigurationTab.java (diff)