Changes
Summary
- Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details)
- Use re-stated types in definition imports (see #760) (commit: bd2643b) (details)
- Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) (details)
- Resumes a single thread only (commit: 79517f0) (details)
- Updates the view when a thread is waiting (commit: 89d3ef8) (details)