Build #6 (Sep 11, 2017 2:39:36 PM)

1. Strict comparison for NULL values. (details / githubweb)
2. [maven-release-plugin] prepare for next development iteration (details / githubweb)
3. Set log level to ERROR (details / githubweb)
4. Guard against non-existing super headers (details / githubweb)
5. Add runtime support for sequence modifications (explicit version) (details / githubweb)
6. Allowing maps when sequences are used due to sequence modification. (details / githubweb)
7. -  Formatting. -  Addresses #107. (details / githubweb)
8. -  Garbage collection version of sequence modification. -  Addresses (details / githubweb)
9. -  Fix collection grow issue for sets. -  Addresses #106. (details / githubweb)
10. -  Removing variable length arrays to accommodate the Visual C compiler. (details / githubweb)
11. Update the generator to support sequence modifications (details / githubweb)
12. Address misnomer, rename newMapVarToGrow to newMapVar #106 (details / githubweb)
13. Add version 0.1.10 release notes (details / githubweb)
14. Prepare release of version 0.1.10 (details / githubweb)
15. [maven-release-plugin] prepare release Release/0.1.10 (details / githubweb)
16. [maven-release-plugin] prepare for next development iteration (details / githubweb)
17. Build against Overture 2.5.0 (details / githubweb)
18. Add VDM2C 0.1.12 release notes (details / githubweb)
19. Prepare release of VDM2C 0.1.12 (details / githubweb)
20. [maven-release-plugin] prepare release Release/0.1.12 (details / githubweb)

Push event to branch master at 14:39:29 on 11-Sep-2017

• master

• 2 closed tasks