CRLF line endings.
Merge remote-tracking branch 'origin/development' into newpog
Add test runner and resources for the Overture examples.
Merge remote-tracking branch 'origin/development' into newpog
Fixed crash on Robot VDMRT.
Fixed crash on POP3 VDMPP
Fixed crash on loose VDMSL
Correct view IDs.
Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/development' into newpog
Correct power type constraint checkin, fixes #274
Another fix for power constraints.
CRLF fix on result files
Spellcheck: *ReaderWritter in testframework renamed to *ReaderWriter
Alter the testframework to use LF-only newlines when writing .result files
Spellcheck: encondeResult to encodeResult
Skip tests/javadoc during deploy on travis
Merge remote-tracking branch 'origin/newpog' into development