Started 2 yr 3 mo ago
Took 15 min

Success Build #9 (Feb 14, 2018 12:26:53 PM)

Build Artifacts
Expand all Collapse all
Changes
  1. -  Expanded is_ support to cover basic types. -  Addresses #108. (details / githubweb)
  2. -  Runtime support for is_ test on basic types plus tests. -  Addresses (details / githubweb)
  3. -  Is sequence of int support. -  Addresses #108. (details / githubweb)
  4. -  WIP on recurive is check for arbitrary nesting of seqs and sets. - (details / githubweb)
  5. Large is construct for basic built-in types. (details / githubweb)
  6. Tests for deep nesting. (details / githubweb)
  7. -  Sequence and Set exclusion mechanism for is queries. -  Addresses (details / githubweb)
  8. WIP support for records in is queries. (details / githubweb)
  9. WIP renaming VDM MATH library. (details / githubweb)
  10. Use transformation to emit "is" checks (details / githubweb)
  11. Remove templates that are not needed anymore #108 (details / githubweb)
  12. Test that is_nat generates correctly #108 (details / githubweb)
  13. Add support for is_nat1 #108 (details / githubweb)
  14. Support is_int #108 (details / githubweb)
  15. Support is_bool #108 (details / githubweb)
  16. Support is_rat #108 (details / githubweb)
  17. Support is_char #108 (details / githubweb)
  18. Support is_token #108 (details / githubweb)
  19. Support is_real #108 (details / githubweb)
  20. -  WIP is_ query on arbitrary types. -  Addresses #108. (details / githubweb)
  21. Emit class association file (details / githubweb)
  22. Add "generated file" comment to VdmClassHierarchy.h (details / githubweb)
  23. -  Support for arbitrary sequence and set is_ queries. -  Addresses (details / githubweb)
  24. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. (details / githubweb)
  25. -  Runtime library support for is checks on product, class and record (details / githubweb)
  26. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes (details / githubweb)
  27. -  No longer emitting global field numFields_X as it is no longer used. (details / githubweb)
  28. Comment cleanup. (details / githubweb)
  29. -  Runtime library support for issameclass. -  Addresses #108. (details / githubweb)
  30. -  Fixed name of sameclass query in runtime library. -  Addresses *108. (details / githubweb)
  31. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  32. -  Product test for (int * char) * int. -  Addresses #108. (details / githubweb)
  33. -  Dummy VdmClassHierarchy.h file for runtime library testing. - (details / githubweb)
  34. -  Runtime library support for isofbaseclass. -  Addresses #108. (details / githubweb)
  35. -  Runtime library support for samebaseclass. -  Addresses #108. (details / githubweb)
  36. Class association should not consider standard library classes (details / githubweb)
  37. Update distribution code-generator to emit class association file (details / githubweb)
  38. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - (details / githubweb)
  39. -  Map composition support in the runtime library. -  Addresses #108. (details / githubweb)
  40. -  GC version of map composition in the runtime library. -  Addresses (details / githubweb)
  41. -  Map iteration support in the runtime library. -  Addresses #108. (details / githubweb)
  42. -  Reducing flash footprint. -  Addresses #120. (details / githubweb)
  43. -  Support for is seq1. -  Addresses #108. (details / githubweb)
  44. -  Support for is set1 type queries. -  More tests for is seq1. - (details / githubweb)
  45. -  Runtime support for is map queries. -  Addresses #108. (details / githubweb)
  46. Add initial support for type encoding #108 (details / githubweb)
  47. Code cleanup, comments. (details / githubweb)
  48. Update type encoder to support set1, seq1 and map (details / githubweb)
  49. -  Reduction in flash footprint:  maps. -  Addresses #120. (details / githubweb)
  50. Address wrong assumption in the distributed code-generator (details / githubweb)
  51. -  Flash footprint reduction, sequences. -  Addresses #120. (details / githubweb)
  52. -  Flash footprint reduction, sets. -  Addresses #120. (details / githubweb)
  53. -  Eliminating some compiler warnings in distribution runtime. - (details / githubweb)
  54. -  Bugfix. -  Addresses #120. (details / githubweb)
  55. -  WIP runtime library support for optional types encoding. -  Addresses (details / githubweb)
  56. -  Runtime library support for is queries on optional types. - (details / githubweb)
  57. -  Runtime support for eliminating is queries based on NO_IS flag. - (details / githubweb)
  58. Emit NO_IS flag in model features file #108 (details / githubweb)
  59. Support exists1 quantifier #108 (details / githubweb)
  60. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. (details / githubweb)
  61. Support preconditions #108 (details / githubweb)
  62. Support encoding of optional types #108 (details / githubweb)
  63. Temporarily build against Overture 2.5.3-SNAPSHOT (details / githubweb)
  64. Update VDM2C to work with newest Overture (details / githubweb)
  65. Support map iteration #108 (details / githubweb)
  66. Support map composition #108 (details / githubweb)
  67. Support iota #108 (details / githubweb)
  68. Support non-deterministic statements #108 (details / githubweb)
  69. Support isofbaseclass #108 (details / githubweb)
  70. Support isofclass operator #108 (details / githubweb)
  71. Support samebaseclass operator #108 (details / githubweb)
  72. Support sameclass operator #108 (details / githubweb)
  73. -  Typo in type encoding in test. -  Addresses #108. (details / githubweb)
  74. Work on checking union types in is_ expressions #108 (details / githubweb)
  75. Emit type encoding for is_* checks #108 (details / githubweb)
  76. Fix two issues in IsExpUnionTypeFinder #108 (details / githubweb)
  77. Support union types in is_* expressions #108 (details / githubweb)
  78. Fix memory leak in field initializers (details / githubweb)
  79. Fix index issue in "for all" loops (details / githubweb)
  80. -  Fixed bugs in runtime library OO support. -  isofclass is both (details / githubweb)
  81. -  Fixed bug with exclusion of class inheritance header file. - (details / githubweb)
  82. -  Minor refinement to exclusion mechanism. -  Addresses #108. (details / githubweb)
  83. Use Overture 2.5.4 (details / githubweb)
  84. Fix clean up in OOChecks test (details / githubweb)
  85. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (details / githubweb)
  86. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - (details / githubweb)
  87. Further speed and size improvements in GC versions of operations. (details / githubweb)
  88. Emit GC versions of class constructors #124 (details / githubweb)
  89. Tag constructor calls in CallRewriteTrans #124 (details / githubweb)
  90. -  Memory leak fixes. -  Addresses #108. (details / githubweb)
  91. -  WIP removing traces of source variable from garbage collector. - (details / githubweb)
  92. -  Removed ref_from element of TVP and associated GC machinery. - (details / githubweb)
  93. Distributed code-generator fix (details / githubweb)
  94. Handle vdm2c build jobs in Jenkinsfile (details / githubweb)
  95. Fix deployment, skip tests temporarily (details / githubweb)
  96. Re-enable testing in Jenkinsfile (details / githubweb)
  97. -  Unused variable cleanup. -  Addresses #123. (details / githubweb)
  98. Format Jenkinsfile (details / githubweb)
  99. Fix assignments to static fields #122 (details / githubweb)
  100. -  Addition of newSeqVarToGrowGC. -  Addresses #125. (details / githubweb)
  101. Emit newSeqVarToGrowGC (details / githubweb)
  102. -  Added comment to each runtime library file about the version of VMD2C (details / githubweb)
  103. -  Added missing function declaration. -  Addresses #125. (details / githubweb)
  104. -  Fixed problem with vdmSeqGrow and values passed under GC control. - (details / githubweb)
  105. Fix for problem with vdmSetGrow when under GC control. (details / githubweb)
  106. Fixed memory leak in vdmSeqInds. (details / githubweb)
  107. Fixed memory leak in records. (details / githubweb)
  108. Fixed memory leak with records. (details / githubweb)
  109. -  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126. (details / githubweb)
  110. Add generator support for `vdmSetEnumerateSetOfIntsGC` (details / githubweb)
  111. -  Committing omitted header file. -  Addresses #126. (details / githubweb)
  112. Uninitialized variable warnings in maps, runtime. (details / githubweb)
  113. Add v0.2 release notes (details / githubweb)
  114. Prepare release of VDM2C v0.2.0 (details / githubweb)
  115. Adjust version number in v0.2.0 release notes (details / githubweb)
  116. [maven-release-plugin] prepare release Release/0.2.0 (details / githubweb)

Push event to branch master at 12:26:46 on 14-Feb-2018

Revision: 5dd41408f5df7f06f0d1fec1557a7b9eddb0b0ba
  • master
Task Scanner: 29 open tasks in 119 workspace files.
Task Scanner: 27 open tasks in 108 workspace files.
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION66%
    BRANCH45%
    COMPLEXITY40%
    LINE64%
    METHOD58%
    CLASS88%
    Task Scanner: 29 open tasks in 179 workspace files.
    Task Scanner: 29 open tasks in 119 workspace files.