SuccessChanges

Summary

  1. Fix bug with import type mismatch with export (commit: 03c6582) (details)
  2. Suppress details as well as messages in VDMError when suspended (commit: b652fba) (details)
Commit 03c658231743e2c3e84af345d8f01df5ba6b780d by nick.battle
Fix bug with import type mismatch with export
(commit: 03c6582)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java (diff)
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/visitor/TypeCheckerImportsVisitor.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/assistant/ITypeCheckerAssistantFactory.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)