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
Correction for map compose calls with incompatible dom/rng
Correct view IDs.
Type corrections for iota and map/set/seq comprehensions
Merge remote-tracking branch 'origin/development' into newpog
Changes to allow type constraints for statements
Correction to type checking of set intersections
Type constraint fixes for card, len, mk_() and set ranges
More test file changes
Fix to constraints with elems expression
Another elems test result fix
Fix for iota and inds constraint checking
Merge remote-tracking branch 'origin/development' into newpog
Update .gitattributes to include .result files, and manually convert them from CRLF to LF line endings