[Jenkins]Jenkins

SuccessChanges

Summary

  1. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details)
  2. Use re-stated types in definition imports (see #760) (commit: bd2643b) (details)
  3. Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) (details)
  4. Resumes a single thread only (commit: 79517f0) (details)
  5. Updates the view when a thread is waiting (commit: 89d3ef8) (details)
Commit e5b2e9f44de2909f4dfcdcb16b8c5c6bd60b1c0b by nick.battle
Fix the type definitions for pre and post conditions, fixes #740
 (commit: e5b2e9f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.java (diff)
Commit bd2643ba9d5f6245f6363a199a1ceaf9c8a075c7 by nick.battle
Use re-stated types in definition imports (see #760)
 (commit: bd2643b)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.java (diff)
Commit f2b2a6a63fabde8ead445fbcdae324b93d679576 by idhugoid
Avoids sending an empty internal tag causing troubles in the response parsing
 (commit: f2b2a6a)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReaderV2.java (diff)
Commit 79517f01a5a438a731337214fb1a5138383c91ac by idhugoid
Resumes a single thread only

When we call resume on a thread, it is better to resume that single
thread instead of calling resume on the manager, that iterates over all
available threads calling resume.
 (commit: 79517f0)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThread.java (diff)
Commit 89d3ef8d7590d8cfa12e1d191caae65e36e397b7 by idhugoid
Updates the view when a thread is waiting

In case the main thread is blocked in a permission predicate, the
blocked file is not shown to the user. This fix provides the view update
and thus the blocked file is bring to front.
 (commit: 89d3ef8)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/internal/ui/viewers/update/VdmThreadEventHandler.java (diff)