Moddy

Fixed
- Threads that are initially preempted lose incoming messages on ports

Added
- First installation via pip

Added
- Installation via pip

Changed
- Documentation changed from .docx/pdf to Sphinx
- Internal directory structure: seqDiagInteractiveViewer now below moddy/

Added
- iaViewer 0.8: search function

Changed
- iaViewer 0.7: Fix time marker handling. Markers toggle their appearance with every click. Time delta now displayed in headline.

- Simulator speed improved by approx factor 4..5: Replaced msg-passing deepcopy by pickle. Use specialized queues and heaps, replaced slow exec() calls.

Added
- waitUntil() API for vThreads
- Allow vThread wait() API to wait for IOPorts (not only input ports)

Changed
- vThread communication timeout increased to 20s (was 2s, too short for heavily loaded systems)
- vThread: Corrected term "queing" -> "queuing" in port names and method names. The old miss-spelled name is still supported in queue names (not method names)

Added
- iaViewer 0.6: Support time markers.
- support for model assertions: models can call assertionFailed(). Simulator by default stops on assertionFailure. Use
- Update User Manual