Started 2 yr 9 mo ago
Took 36 min on master

Success Build #60 (May 1, 2017 2:39:20 PM)

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

Started by user Peter W. V. Tran-Jørgensen

Revision: 819d0fbdbe970bfa34e0e2fde53dd988fc513f14
  • refs/remotes/origin/development