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

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

• master

• 2 new open tasks
• 1 closed task