Started 4 yr 8 mo ago
Took 26 min

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

Build Artifacts
Expand all Collapse all
Changes
  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

Revision: bdecc491e87277f92c87b3973c56b745d1729340
  • master
Task Scanner: 22 open tasks in 96 workspace files.
    Task Scanner: 20 open tasks in 85 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION63%
      BRANCH43%
      COMPLEXITY38%
      LINE61%
      METHOD57%
      CLASS87%
      Task Scanner: 22 open tasks in 147 workspace files.
        Task Scanner: 22 open tasks in 96 workspace files.