Started 5 yr 0 mo ago
Took 18 min

Success Build #4 (May 1, 2017 3:22:06 PM)

Build Artifacts
vdmclib-0.1.6.jar104.42 KB view
vdm2c-0.1.6-jar-with-dependencies.jar7.56 MB view
vdm2c-0.1.6.jar341.68 KB view
org.overturetool.vdm2c.ide.cgen-0.1.6.jar4.57 MB view
org.overturetool.vdm2c.ide.features.cgen-0.1.6.jar5.00 KB view
Changes
  1. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  2. Update to CMake file with respect to including VdmModelFeatures.h file. (details / githubweb)
  3. Refactor test code (details / githubweb)
  4. Mangle token types (details / githubweb)
  5. Update CompatibleMethodCollector to handle pre and postcondition (details / githubweb)
  6. Remove packaging phase from Jenkinsfile (details / githubweb)
  7. Convert tokens to apply expressions (details / githubweb)
  8. Update garbage collection transformation to handle tokens (details / githubweb)
  9. Fix handling of token values in literal transformation (details / githubweb)
  10. Move bool conversion to comprehension strategies (details / githubweb)
  11. Add support for forall (quantified) expressions (details / githubweb)
  12. Test translation of forall (quantified expressions) (details / githubweb)
  13. Support 'exists' quantified expressions (details / githubweb)
  14. More testing of 'forall' and 'exists' (details / githubweb)
  15. Conditionally including ctype.h for use in CSV library. (details / githubweb)
  16. Code cleanup. (details / githubweb)
  17. Noticed and fixed bug that allocated a lot more memory than necessary (details / githubweb)
  18. Factored out unpackstring utility function for use with token types. (details / githubweb)
  19. WIP adding token type support. (details / githubweb)
  20. WIP support for token types. (details / githubweb)
  21. Pass 'this' to field initialisers (details / githubweb)
  22. Update VDM2C CLI to accept VDM++ files (details / githubweb)
  23. Update test file filter (details / githubweb)
  24. Runtime library support for token types. (details / githubweb)
  25. Test code-generation of tokens (details / githubweb)
  26. Initial runtime support for creation of GC compatible sequences. (details / githubweb)
  27. -  Almost complete support for GC-compatible sequences. -  Missing (details / githubweb)
  28. Convert sequence enumerations to apply expressions (details / githubweb)
  29. Update garbage collection transformation to handle sequences (details / githubweb)
  30. Remove redundant test (details / githubweb)
  31. Remove test code that is not used anymore (details / githubweb)
  32. Ensure that test models are type correct (details / githubweb)
  33. Remove declaration templates that are not used (details / githubweb)
  34. Clean up expression templates (details / githubweb)
  35. Clean up statement templates (details / githubweb)
  36. Clean up type templates (details / githubweb)
  37. Print C output folder as the last step (details / githubweb)
  38. Change NameMangler to not report errors for unsupported types (details / githubweb)
  39. Remove header files if the corresponding C sources cannot be generated (details / githubweb)
  40. WIP GC support for sets. (details / githubweb)
  41. Head file cleanup. (details / githubweb)
  42. Added set-valued functions. (details / githubweb)
  43. WIP GC support for maps in runtime library. (details / githubweb)
  44. Ensure folder structure when file is emitted (details / githubweb)
  45. Refactor collection enumeration transformation (details / githubweb)
  46. Transform set enumerations to apply expressions (details / githubweb)
  47. Update garbage collection transformation to handle newSetVar (details / githubweb)
  48. Add GC support for 'tl' (details / githubweb)
  49. Add GC support for 'len' (details / githubweb)
  50. Add GC support for 'hd' (details / githubweb)
  51. Add GC support for sequence concatenation (details / githubweb)
  52. Add GC support for 'reverse' (details / githubweb)
  53. Clean up apply template (details / githubweb)
  54. Add GC support for sequence look-up (details / githubweb)
  55. WIP GC support for maps. -  GC interface for implemented. -  vdmFree (details / githubweb)
  56. WIP GC support for maps. -  vdmClone implemented. (details / githubweb)
  57. Initial complete GC support for maps for non-GLib hash table branch. (details / githubweb)
  58. WIP GC support for maps with GLib hash table implementation. (details / githubweb)
  59. GC support for newMapVarToGrow. (details / githubweb)
  60. -  Missing declarations. -  Fix for mismatched va_arg. (details / githubweb)
  61. -  Memory leak fixes for maps. -  Addresses # 87. (details / githubweb)
  62. Eliminated some compiler warnings related to const qualifiers on (details / githubweb)
  63. -  GC interface for products. -  Addresses #87. (details / githubweb)
  64. -  Pretty printing support for products (tuples). -  Addresses #88. (details / githubweb)
  65. Add GC support for vdmSetElementAt (used by CForIterator) (details / githubweb)
  66. Add GC support for 'in set' (details / githubweb)
  67. Add GC support for 'union' (details / githubweb)
  68. Add GC support for 'inter' (details / githubweb)
  69. Add GC support for '\' (set difference) (details / githubweb)
  70. Add GC support for 'subset' (details / githubweb)
  71. Add GC support for 'psubset' (details / githubweb)
  72. Add GC support for 'card' (details / githubweb)
  73. Add GC support for 'dunion' (details / githubweb)
  74. Add GC support for 'dinter' (details / githubweb)
  75. Add GC support for 'power' (details / githubweb)
  76. Add GC support for map enumerations (details / githubweb)
  77. Add GC support for 'dom' (details / githubweb)
  78. Fix handling of 'newMapVarToGrowGC' (details / githubweb)
  79. Add GC support for 'rng' (details / githubweb)
  80. Clean up imports (details / githubweb)
  81. Add GC support for 'munion' (details / githubweb)
  82. Fix map enumerations, GC version (details / githubweb)
  83. Interface cleanup in runtime library for sequences. (details / githubweb)
  84. Add GC support for map look-ups (details / githubweb)
  85. Convert tuple expressions to apply expressions (details / githubweb)
  86. Add GC support for tuple expressions (details / githubweb)
  87. Add GC support for tuple field access (details / githubweb)
  88. Run value type tests with GC enabled (details / githubweb)
  89. Interface cleanup for sets. (details / githubweb)
  90. -  Interface cleanup for maps in runtime library. -  Addresses #87. (details / githubweb)
  91. -  Interface cleanup for products in runtime library. -  Addresses #87. (details / githubweb)
  92. Conditionally excluding PrettyPrint. (details / githubweb)
  93. Fix in vdmSetGrow in accordance with errors from valgrind. (details / githubweb)
  94. Mechanism that detects interference with current stack frame variables (details / githubweb)
  95. -  Fixed memory leak in maps. -  Addresses #87. (details / githubweb)
  96. -  Set clone test in accordance with observation on generated AlarmPP (details / githubweb)
  97. -  GC support for newSetVarToGrow. -  Addresses #87. (details / githubweb)
  98. -  Modifications and test for GC support for sets. -  Addresses #87. (details / githubweb)
  99. Add GC support for 'newSetVarToGrowGC' (details / githubweb)
  100. -  Enabled compiler warnings in runtime library. -  Cleanup based on (details / githubweb)
  101. Enabled compiler warnings in generated code CMake file. (details / githubweb)
  102. -  Fix for vdmSetVarToGrowGC crash. -  Addresses #87. (details / githubweb)
  103. -  Improvement to GC stack variable interference detection mechanism. - (details / githubweb)
  104. Cleanup. (details / githubweb)
  105. Don't pass addresses of "return" variables to garbage collector (details / githubweb)
  106. Add GC support for 'elems' (details / githubweb)
  107. Add GC support for 'inds' (details / githubweb)
  108. Reverted "Cleanup" commit causing failure on build server. (details / githubweb)
  109. Support map overrides, the '++' operator (no GC) (details / githubweb)
  110. Support distributed map merge, the 'merge' operator (no GC) (details / githubweb)
  111. Support distributed map-domain-restrict-to operator (no GC) (details / githubweb)
  112. Support map-domain-restrict-by operator (no GC) (details / githubweb)
  113. Change argument order for map-range operators (details / githubweb)
  114. Support map-range-restrict-to operator (no GC) (details / githubweb)
  115. -  Made runtime library code C99-compliant. -  Addresses #91. (details / githubweb)
  116. Support map-range-restrict-by operator (no GC) (details / githubweb)
  117. Remove TODO that does not really apply anymore (details / githubweb)
  118. Add GC support for map override (details / githubweb)
  119. Add GC support for distributed merge (details / githubweb)
  120. Add GC support for map-dom-restrict-to (details / githubweb)
  121. Add GC support for map-dom-resrict-by (details / githubweb)
  122. Add GC support for map-range-restrict-to (details / githubweb)
  123. Add GC support for map-restrict-range-by (details / githubweb)
  124. -  Further C89 improvements in runtime library. -  Addresses #91. (details / githubweb)
  125. -  CMakeLists.txt file for generator tests now forces C99 dialect. - (details / githubweb)
  126. Add missing 'clone' call (details / githubweb)
  127. Add missing type to constructor call (details / githubweb)
  128. Approximate macro expression type (details / githubweb)
  129. -  Changing comments to C89 style. -  Addresses #91. (details / githubweb)
  130. Accounting for CUSTOM_IO definition in FMU export. (details / githubweb)
  131. -  Including VdmRecord.h in Vdm.h. -  Addresses #21 (details / githubweb)
  132. Make generated code C89 compliant (details / githubweb)
  133. Add release notes for version 0.1.6 (details / githubweb)
  134. Prepare release of VDM2C version 0.1.6 (details / githubweb)
  135. [maven-release-plugin] prepare release Release/0.1.6 (details / githubweb)

Branch indexing

Revision: 041e3b41c53dbb478f1cc3e7eb24cd07f364f7ce
  • master
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION61%
    BRANCH41%
    COMPLEXITY37%
    LINE59%
    METHOD55%
    CLASS86%
    Task Scanner: 23 open tasks in 144 workspace files.