Changes

#67 (Nov 22, 2018 12:40:51 PM)

1. [maven-release-plugin] prepare release Release/0.2.0 — jenkins / githubweb
2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
3. Remove build status icon — Peter W. V. Tran-Jørgensen / githubweb
4. Update to Overture 2.6.4 and Eclipse Oxygen — Peter W. V. Tran-Jørgensen / githubweb
5. Add VDM2C 0.2.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
6. Prepare release of VDM2C 0.2.2 — Peter W. V. Tran-Jørgensen / githubweb

#66 (Feb 14, 2018 11:48:29 AM)

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

#65 (Oct 5, 2017 11:10:06 AM)

1. Uncommented generation of individual system definition — Miran / githubweb
2. Changed the quote id generation from using name hashcode to using a — Miran / githubweb
3. Initial work for generating system definition pr. cpu — Miran / githubweb
4. Generate individual DM for each cpu — Miran / githubweb
5. Let counter start from one for each distributed object — Miran / githubweb
6. Fix minor problems introduced by the merge with vpb/development — Miran / githubweb
7. Initial work for dispatcher — Miran / githubweb
8. Add new external node for creating the distribution map — Miran / githubweb
9. Generate the System architecture maps to string version — Miran / githubweb
10. Initial work for bus dispatcher — Miran / githubweb
11. Generate the string version maps — Miran / githubweb
12. Updated the testing node for distribution — Miran / githubweb
13. Add new parameter for the sendBus functionality — Miran / githubweb
14. Initial version of the GetRes functionality — Miran / githubweb
15. Added flag for indicating if distribution generation is needed — Miran / githubweb
16. Minor update + additional comments — Miran / githubweb
17. Updates for resolve call function distpacher — Miran / githubweb
18. Minor name fix — Miran / githubweb
19. Use the correct object name — Miran / githubweb
20. get all classes used in the VDM-RT model — Miran / githubweb
21. Added the macro wrapper function used to resolve a remote call — Miran / githubweb
22. Initial work for inheritance for distribution — Miran / githubweb
23. Initial support for inheritance dispatching for distribution — Miran / githubweb
24. Updated VDM library parts used for distribution — Miran / githubweb
25. Minor fixes — Miran / githubweb
26. Comment distribtion parts for VDM lib out — Miran / githubweb
27. Updated distributed code generator to use the new interface — Miran / githubweb
28. Added the distribution code generation as a command line argument — Miran / githubweb
29. added local declaration of args — Miran / githubweb
30. Added function call to statement of send_bus function — Miran / githubweb
31. Uncomment distribution addition in the vdm library — Miran / githubweb
32. Refactoring writeFile code — Miran / githubweb
33. Minor updated of transformation used for testing — Miran / githubweb
34. Use absolute path of output directory — Miran / githubweb
35. Initial test set up for distribution (only generate files) — Miran / githubweb
36. Use overture formatter + either generate distribution or sequential — Miran / githubweb
37. Minor clean up — Miran / githubweb
38. Added time limit for run during testing — Miran / githubweb
39. Add inclusion of the user specific header during run-time — Miran / githubweb
40. Updated test1 and add run-time ressources — Miran / githubweb
41. Minor updated to the include transformation — Miran / githubweb
42. Run test with the executable and updated test resource for the main — Miran / githubweb
43. ressources for cpu2 in test1 added — Miran / githubweb
44. Updated test to use the new resources for cpu2 — Miran / githubweb
45. Added test for the system analysis generator — Miran / githubweb
46. Added test for distribution using ASN1 — Miran / githubweb
47. Add arguments to DIST_CALL macro using proper index numbers — Miran / githubweb
48. Added test of asn serialisation of arguments and return type — Miran / githubweb
49. Fix to the generate send bus transformation, skip if there is no bus — Miran / githubweb
50. Initial version of a Cpu init function — Miran / githubweb
51. Added test of correct assignment of cpu init functionality — Miran / githubweb
52. Initial update of the runtime for the new distributed dispatching — Miran / githubweb
53. Removed unused automatically generated files — Miran / githubweb
54. New transformation for transforming a remote object representation using — Miran / githubweb
55. Use the remote object transformation, and do not use the specific ID and — Miran / githubweb
56. Updated tests to use the garbage collector — Miran / githubweb
57. Added test for quotes and bool serialisation run-time — Miran / githubweb
58. Minor fix with output testpath — Miran / githubweb
59. Added IR notes used for the distributed code generator — Miran / githubweb
60. Minor fix for quotes serialization using ASN.1 — Miran / githubweb
61. Improved test feedback for distributed test — Miran / githubweb
62. Updated additional test for garbage collector together with feedback. — Miran / githubweb
63. Updated CMake configuration to use the automatically generated VDM — Miran / githubweb
64. Removed unsed files — Miran / githubweb
65. Added check of classHeader type before casting — Miran / githubweb
66. Clean up and refactoring of the architecture analysis — Miran / githubweb
67. Clean up of distribution transformation series — Miran / githubweb
68. Refactoring of code, initial for method arguments — Miran / githubweb
69. Refactoring of identifier expressions — Miran / githubweb
70. Clean up code — Miran / githubweb
71. Refactoring and clean up of method for remote invocation handling — Miran / githubweb
72. Clean up of distribution macro transformation — Miran / githubweb
73. Minor code clean up of remote object transformarion — Miran / githubweb
74. Refactoring and code clean up of class dispatcher function — Miran / githubweb
75. Removed unused imports — Miran / githubweb
76. Clean up — Miran / githubweb
77. Removed unused comment — Miran / githubweb
78. Remove time check — Peter W. V. Tran-Jørgensen / githubweb
79. Added cmake functionality windows and linux in distribution tests — Miran / githubweb
80. Detect cmake correctly across all platforms — Peter W. V. Tran-Jørgensen / githubweb
81. Use absolute path to VDM lib during distribution testing — Miran / githubweb
82. Fix CMakeLists.txt files for ASN test — Peter W. V. Tran-Jørgensen / githubweb
83. Updated CMake file to fix Linux problem — Miran / githubweb
84. Fix a problem with capital letter in path causing problems in Linux — Miran / githubweb
85. Fixed run-time de-serialization of a boolean value — Miran / githubweb
86. Added automatic detection if distribution code generation is needed, and — Miran / githubweb
87. Moved the generation of files to the CGen instead of the CGenMain — Miran / githubweb
88. Initial setup of Eclipse plug-in for the distribution support — Miran / githubweb
89. Generate the specific c files for each cpu — Miran / githubweb
90. Removed debug code — Miran / githubweb
91. Removed public static access, and use get/set functions instead — Miran / githubweb
92. Clean up distribution merge — Peter W. V. Tran-Jørgensen / githubweb
93. Added sleep between cpu start up calls — Miran / githubweb
94. Changed to use get function instead of static reference — Miran / githubweb
95. update parameters of the emit main file function — Miran / githubweb
96. Create a delay variable — Miran / githubweb
97. Try new delay for distributed tests — Miran / githubweb
98. Set the daemon flag to false in order not to generate console output — Miran / githubweb
99. Filter out the extra nodes during distributed system analysis — Miran / githubweb
100. The first element of the DM is not long always true, since we use new — Miran / githubweb
101. Improved support for dispatching to super classes — Miran / githubweb
102. Improve support for super class, and start using the first elemnet of DM — Miran / githubweb
103. Use the first element of the DM — Miran / githubweb
104. Improved analysis of the BUS structure — Miran / githubweb
105. Improved test timing for distribution tests — Miran / githubweb
106. Allow to set distribution generation off using the cgen settings — Miran / githubweb
107. Update for the IDE for copying the distribution JAR — Miran / githubweb
108. Improved possible timing issues during distribution test execution — Miran / githubweb
109. Test update — Miran / githubweb
110. Minor code formating — Miran / githubweb
111. Add timing awareness for cpu1 during distribution tests — Miran / githubweb
112. Synchronize CPUs during distribution test using a file — Miran / githubweb
113. Updated distribution tests of initialization to use file — Miran / githubweb
114. Support generation of bus support functions — Miran / githubweb
115. Updated includes transformation together with new name for bus send — Miran / githubweb
116. removed unused files — Miran / githubweb
117. removed unused files (reverted from commit — Miran / githubweb
118. Minor update to tests — Miran / githubweb
119. Initial support for distribution run time from IDE — Miran / githubweb
120. [maven-release-plugin] prepare release Release/0.1.14 — jenkins / githubweb
121. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
122. Clean Up — Miran / githubweb
123. Minor update for distribution tests — Miran / githubweb
124. -  Increased coverage of basic precondition checks on map and sequence — Victor Bandur / githubweb
125. Fixes bug with setting correct buffer size in collections. — Victor Bandur / githubweb
126. Moved distribution library to separate maven project — Miran / githubweb
127. Updated distribution library for C89 compliance — Miran / githubweb
128. Changed distribution test to use FIFOs — Miran / githubweb
129. Changed distribution tests to use FIFOs for communication — Miran / githubweb
130. Improvement of distribution tests timing — Miran / githubweb
131. kill subprocess of cpu2 after test — Miran / githubweb
132. only run one test of distribution — Miran / githubweb
133. Enable another test for distribution — Miran / githubweb
134. Updated IDE with better separation of code emission between distributed — Miran / githubweb
135. Do not run Quotes test — Miran / githubweb
136. test new timing improvments for distributed tests — Miran / githubweb
137. Enable all test with new approach for timing — Miran / githubweb
138. new test try for distribution — Miran / githubweb
139. Commit to rerun test — Miran / githubweb
140. Fix typo in CMake file — Peter W. V. Tran-Jørgensen / githubweb
141. Add -D_GNU_SOURCE flag to CMake file — Peter W. V. Tran-Jørgensen / githubweb
142. Improved timing support for distribution tests — Miran / githubweb
143. Assert that FIFOs can be created and cleaned up afterwards. — Miran / githubweb
144. cleap up comments — Miran / githubweb
145. Removed irrelevant comment — Miran / githubweb
146. Removed irrelevant comment — Miran / githubweb
147. Removed debug print from distribution test — Miran / githubweb
148. Clean up distribution tests — Miran / githubweb
149. Improve assert error message. — Miran / githubweb
150. Add release notes for VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
151. Prepare release of VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb

#64 (Sep 18, 2017 5:20:26 PM)

1. [maven-release-plugin] prepare release Release/0.1.12 — jenkins / githubweb
2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
3. Require Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb
4. Require Overture 2.5.2 — Peter W. V. Tran-Jørgensen / githubweb
5. Add version 0.1.14 release notes — Peter W. V. Tran-Jørgensen / githubweb
6. Prepare release of VDM2C 0.1.14 — Peter W. V. Tran-Jørgensen / githubweb

#63 (Sep 11, 2017 1:12:35 PM)

1. -  Removing variable length arrays to accommodate the Visual C compiler. — Victor Bandur / githubweb
2. [maven-release-plugin] prepare release Release/0.1.10 — jenkins / githubweb
3. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
4. Build against Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb
5. Add VDM2C 0.1.12 release notes — Peter W. V. Tran-Jørgensen / githubweb
6. Prepare release of VDM2C 0.1.12 — Peter W. V. Tran-Jørgensen / githubweb

#62 (Aug 10, 2017 4:28:35 PM)

1. Strict comparison for NULL values. — Victor Bandur / githubweb
2. [maven-release-plugin] prepare release Release/0.1.8 — jenkins / githubweb
3. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
4. Set log level to ERROR — Peter W. V. Tran-Jørgensen / githubweb
5. Guard against non-existing super headers — Peter W. V. Tran-Jørgensen / githubweb
6. Add runtime support for sequence modifications (explicit version) — Peter W. V. Tran-Jørgensen / githubweb
7. Allowing maps when sequences are used due to sequence modification. — Victor Bandur / githubweb
8. -  Formatting. -  Addresses #107. — Victor Bandur / githubweb
9. -  Garbage collection version of sequence modification. -  Addresses — Victor Bandur / githubweb
10. -  Fix collection grow issue for sets. -  Addresses #106. — Victor Bandur / githubweb
11. Update the generator to support sequence modifications — Peter W. V. Tran-Jørgensen / githubweb
12. Address misnomer, rename newMapVarToGrow to newMapVar #106 — Peter W. V. Tran-Jørgensen / githubweb
13. Add version 0.1.10 release notes — Peter W. V. Tran-Jørgensen / githubweb
14. Prepare release of version 0.1.10 — Peter W. V. Tran-Jørgensen / githubweb

#61 (Jul 1, 2017 10:26:58 PM)

1. [maven-release-plugin] prepare release Release/0.1.6 — jenkins / githubweb
2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
3. Fix issue with for loop transformation — Peter W. V. Tran-Jørgensen / githubweb
4. Fix issue with 'new' expression transformation — Peter W. V. Tran-Jørgensen / githubweb
5. Mention that the generated code is C89 compliant — noreply / githubweb
6. Mention VDM2C documentation — noreply / githubweb
7. Support map comprehensions — Peter W. V. Tran-Jørgensen / githubweb
8. Test map comprehensions — Peter W. V. Tran-Jørgensen / githubweb
9. Add paper example tests — Peter W. V. Tran-Jørgensen / githubweb
10. Add AlarmPP example sources for testing — Peter W. V. Tran-Jørgensen / githubweb
11. Add CashDispenserPP model for future testing — Peter W. V. Tran-Jørgensen / githubweb
12. Update runtime to support a larger number of function arguments — Peter W. V. Tran-Jørgensen / githubweb
13. Assume that the address is passed to SELF_GC — Peter W. V. Tran-Jørgensen / githubweb
14. Clean up PaperExampleTests — Peter W. V. Tran-Jørgensen / githubweb
15. Fix imports — Peter W. V. Tran-Jørgensen / githubweb
16. -  Added cleaning phase for runtime library to Maven build cycle. - — Victor Bandur / githubweb
17. Fix issue with CallRewriteTrans — Peter W. V. Tran-Jørgensen / githubweb
18. -  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90. — Victor Bandur / githubweb
19. Fix for compatibility with FMU exporter. — Victor Bandur / githubweb
20. Fix field look-up in FieldReadToFieldGetMacroTrans — Peter W. V. Tran-Jørgensen / githubweb
21. -  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses — Victor Bandur / githubweb
22. -  Eliminated compilation warning  due to parentheses. — Victor Bandur / githubweb
23. Only merge statement blocks when it's safe to do so — Peter W. V. Tran-Jørgensen / githubweb
24. Expanded to accommodate up to six function and operation call — Victor Bandur / githubweb
25. Reverting accidental inclusion of testing code. — Victor Bandur / githubweb
26. -  Further improvements to sequence growing mechanisms. -  Addresses — Victor Bandur / githubweb
27. Fix issue nested operation calls — Peter W. V. Tran-Jørgensen / githubweb
28. Fix another issue with nested operation calls — Peter W. V. Tran-Jørgensen / githubweb
29. Include identifier state designators in header analysis — Peter W. V. Tran-Jørgensen / githubweb
30. Fix issue with include directives in main.c — Peter W. V. Tran-Jørgensen / githubweb
31. -  Fixed memory leak in maps. -  Addresses #89. — Victor Bandur / githubweb
32. -  Fixed memory leak in sets. -  Addresses #89. — Victor Bandur / githubweb
33. -  Reverted memory leak fix in sets as it does not appear with generated — Victor Bandur / githubweb
34. -  Fixed memory leak in sets. -  Addresses #89. — Victor Bandur / githubweb
35. Cleanup. — Victor Bandur / githubweb
36. -  Fixed memory leak with sets. -  Rearranged failing test. — Victor Bandur / githubweb
37. Emit default constructor for records to support ASN1 work — Peter W. V. Tran-Jørgensen / githubweb
38. Omit address of result variable in GC calls — Peter W. V. Tran-Jørgensen / githubweb
39. -  Improvements to GLib-based map implementation. -  Addresses #89. — Victor Bandur / githubweb
40. Add pacemaker model sources #100 — Peter W. V. Tran-Jørgensen / githubweb
41. Add VDMPP version of bubble sort #100 — Peter W. V. Tran-Jørgensen / githubweb
42. Check that all paper examples code-generate and compile #100 — Peter W. V. Tran-Jørgensen / githubweb
43. Only include TypedValue.h in paper examples extension points — Peter W. V. Tran-Jørgensen / githubweb
44. -  Inserting assertions for memory allocation failures. -  Addresses — Victor Bandur / githubweb
45. Update RT transformation to replace RT nodes with empty blocks — Peter W. V. Tran-Jørgensen / githubweb
46. Wipe workspace after running build — Peter W. V. Tran-Jørgensen / githubweb
47. Move workspace cleanup to 'finally' clause — Peter W. V. Tran-Jørgensen / githubweb
48. Assertions for memory allocations and reallocations. — Victor Bandur / githubweb
49. Adding assert statements for memory allocations and reallocations. — Victor Bandur / githubweb
50. Adding assert statement for memory allocation. — Victor Bandur / githubweb
51. Adding assert statements for memory allocations. — Victor Bandur / githubweb
52. Adding assert statements for memory allocations and moves. — Victor Bandur / githubweb
53. -  Removed GLib dependency, not used at all. -  Addresses #89. — Victor Bandur / githubweb
54. -  New implementation of maps. -  Addresses #89. — Victor Bandur / githubweb
55. -  Fixed critical bug causing non-reproducible crashes in the garbage — Victor Bandur / githubweb
56. -  Another segfault bugfix. -  AlarmPP model now can be inspected using — Victor Bandur / githubweb
57. Don't set commit status explicitly — Peter W. V. Tran-Jørgensen / githubweb
58. Cleanup Jenkinsfile syntax — Peter W. V. Tran-Jørgensen / githubweb
59. Don't emit SET_FIELD_PTR_GC (it's not needed) — Peter W. V. Tran-Jørgensen / githubweb
60. Don't emit SET_FIELD_GC (it's not needed) — Peter W. V. Tran-Jørgensen / githubweb
61. -  Not using GC-aware assignments in class fields. -  Addresses #89. — Victor Bandur / githubweb
62. Fix issue with factorial implementation — Peter W. V. Tran-Jørgensen / githubweb
63. Add missing MATH lib test — Peter W. V. Tran-Jørgensen / githubweb
64. Update CMakeList file for gcc6 — Peter W. V. Tran-Jørgensen / githubweb
65. Add 'numFields' in the IR — Peter W. V. Tran-Jørgensen / githubweb
66. Fix issue with for-index loops — Peter W. V. Tran-Jørgensen / githubweb
67. Ignore IntelliJ metadata — Peter W. V. Tran-Jørgensen / githubweb
68. Fix records value semantics bug — Peter W. V. Tran-Jørgensen / githubweb
69. New translation of 'nil' — Peter W. V. Tran-Jørgensen / githubweb
70. Fix grow mechanism for sequences #106 — Peter W. V. Tran-Jørgensen / githubweb
71. Update runtime to support more function/operation arguments — Peter W. V. Tran-Jørgensen / githubweb
72. Add VDM2C 0.1.8 release notes — Peter W. V. Tran-Jørgensen / githubweb
73. Prepare release of VDM2C 0.1.8 — Peter W. V. Tran-Jørgensen / githubweb

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

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

#59 (Mar 17, 2017 5:17:34 PM)

1. [maven-release-plugin] prepare release Release/0.1.2 — jenkins / githubweb
2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
3. Update README to mention important wiki pages — noreply / githubweb
4. Clean up README — noreply / githubweb
5. Add build status — noreply / githubweb
6. README corrections — noreply / githubweb
7. Reverted mistakenly commented out CALL_FUNC macro definition using — Victor Bandur / githubweb
8. Add VDM2C 0.1.4 release notes — Peter W. V. Tran-Jørgensen / githubweb
9. Prepare release of VDM2C 0.1.4 — Peter W. V. Tran-Jørgensen / githubweb

#58 (Mar 10, 2017 10:26:17 AM)

1. [maven-release-plugin] prepare release Release/0.1.0 — jenkins / githubweb
2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
3. Fix for "comparision to string literal" warning on ATMega128. — Victor Bandur / githubweb
4. Making global variable for resources location available also when the — Victor Bandur / githubweb
5. Add VDM2C 0.1.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
6. Prepare release of VDM2C 0.1.2 — Peter W. V. Tran-Jørgensen / githubweb

#56 (Mar 3, 2017 2:05:29 PM)

1. Porting over garbage collector from LFR repository. — Victor Bandur / githubweb
2. Adding GC interface to basic value creators. — Victor Bandur / githubweb
3. GC version of vdmSum. — Victor Bandur / githubweb
4. Warning fixes. — Victor Bandur / githubweb
5. Garbage collected versions of all numeric operations. — Victor Bandur / githubweb
6. Remaining GC implementations for operations on basic types. — Victor Bandur / githubweb
7. GC-enabled vdmClone. — Victor Bandur / githubweb
8. Fixes to the GC linked list. — Victor Bandur / githubweb
9. Collection fix. — Victor Bandur / githubweb
10. Fix to deallocate entire list during vdm_gc_shutdown(). — Victor Bandur / githubweb
11. Refactored GC into its own files. — Victor Bandur / githubweb
12. GC versions of GET_FIELD and GET_FIELD_PTR. — Victor Bandur / githubweb
13. Better names for linked list functions. — Victor Bandur / githubweb
14. Smaller maximal type improvement for GC version. — Victor Bandur / githubweb
15. GC version of vdmEquals. — Victor Bandur / githubweb
16. Duplicating tests to use the GC. — Victor Bandur / githubweb
17. Migrated to singly-linked list in the GC, memory savings estimated at — Victor Bandur / githubweb
18. Fix broken GC test. — Victor Bandur / githubweb
19. Improve extensibility of NativeTestBase — Peter W. V. Tran-Jørgensen / githubweb
20. Avoid hard coding values — Peter W. V. Tran-Jørgensen / githubweb
21. Clean up NumericTrans — Peter W. V. Tran-Jørgensen / githubweb
22. Update tests to use google test fixtures — Peter W. V. Tran-Jørgensen / githubweb
23. Update test system to generate a fixture class — Peter W. V. Tran-Jørgensen / githubweb
24. Fix in pointer assignment inside collection function according to test — Victor Bandur / githubweb
25. Clean up LogicTrans — Peter W. V. Tran-Jørgensen / githubweb
26. Construct numeric expressions as apply expressions — Peter W. V. Tran-Jørgensen / githubweb
27. Introduce CGenSettings — Peter W. V. Tran-Jørgensen / githubweb
28. Initial work on a garbage collection transformation — Peter W. V. Tran-Jørgensen / githubweb
29. Update VDM2C CLI with GC option — Peter W. V. Tran-Jørgensen / githubweb
30. Upgrade GarbageCollectionTrans to handle numeric comparison — Peter W. V. Tran-Jørgensen / githubweb
31. Update GarbageColllectionTrans to handle equality — Peter W. V. Tran-Jørgensen / githubweb
32. Clean up ValueSemantics — Peter W. V. Tran-Jørgensen / githubweb
33. Update GarbageCollectionTrans to emit vdmCloneCG — Peter W. V. Tran-Jørgensen / githubweb
34. Update GarbageCollectionTrans to emit GET_FIELD_GC — Peter W. V. Tran-Jørgensen / githubweb
35. Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC — Peter W. V. Tran-Jørgensen / githubweb
36. -  Changed vdmFree and the GC so that they do not interfere with each — Victor Bandur / githubweb
37. Updated GC shutdown procedure with better cleanup for compatibility with — Victor Bandur / githubweb
38. Removed unused vdmNotEqual and vdmNotEqualGC functions. — Victor Bandur / githubweb
39. Removed vdmNotEqual test. — Victor Bandur / githubweb
40. Added missing function headers for vdmAnd etc. — Victor Bandur / githubweb
41. Removed unused nat, nat1 and int1 functions. — Victor Bandur / githubweb
42. Update LogicTrans to handle vdmXor — Peter W. V. Tran-Jørgensen / githubweb
43. update GarbageCollectionTrans to handle boolean binary expressions — Peter W. V. Tran-Jørgensen / githubweb
44. Fix handling of field accessors in GarbageCollectionTrans — Peter W. V. Tran-Jørgensen / githubweb
45. Implementation of SET_FIELD_GC(). — Victor Bandur / githubweb
46. Update GarbageCollectionTrans to handle setters — Peter W. V. Tran-Jørgensen / githubweb
47. Update GarbageCollectionTrans to not handle field initializer — Peter W. V. Tran-Jørgensen / githubweb
48. Add fixture class to manage garbage collection during testing — Peter W. V. Tran-Jørgensen / githubweb
49. Run NativeClasses tests with garbage collection turned on — Peter W. V. Tran-Jørgensen / githubweb
50. Run Native tests with garbage collection turned on — Peter W. V. Tran-Jørgensen / githubweb
51. [maven-release-plugin] prepare release Release/0.0.20 — jenkins / githubweb
52. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
53. Modified generated main.c file to include calls to vdm_gc_init() and — Victor Bandur / githubweb
54. Update GarbageCollectionTrans to use regular GET/SET in field — Peter W. V. Tran-Jørgensen / githubweb
55. Add case study submodules — Peter W. V. Tran-Jørgensen / githubweb
56. Fix generation of call to default super constructor — Peter W. V. Tran-Jørgensen / githubweb
57. Fix generation of call to default super constructor — Peter W. V. Tran-Jørgensen / githubweb
58. Fix in the collector that avoids interference between references to — Victor Bandur / githubweb
59. Guard against null pointers — Peter W. V. Tran-Jørgensen / githubweb
60. Add case study model compilation regression testing — Peter W. V. Tran-Jørgensen / githubweb
61. Work on restructuring the runtime library so that unused parts can be — Victor Bandur / githubweb
62. Additional includes to Vdm.h needed for generated code, not for the rest — Victor Bandur / githubweb
63. Add 'set' feature analysis — Peter W. V. Tran-Jørgensen / githubweb
64. Add 'seq/seq1` feature analysis — Peter W. V. Tran-Jørgensen / githubweb
65. Add `map`/`inmap` feature analysis — Peter W. V. Tran-Jørgensen / githubweb
66. Integrate all feature analyses and detect use of VDM libraries — Peter W. V. Tran-Jørgensen / githubweb
67. Test feature analyses — Peter W. V. Tran-Jørgensen / githubweb
68. Translate feature files to C definitions — Peter W. V. Tran-Jørgensen / githubweb
69. Update CGen to support feature analysis — Peter W. V. Tran-Jørgensen / githubweb
70. Update VDM2C CLI to generate the feature file — Peter W. V. Tran-Jørgensen / githubweb
71. Add feature analysis for patterns — Peter W. V. Tran-Jørgensen / githubweb
72. Check that use of patterns is detected — Peter W. V. Tran-Jørgensen / githubweb
73. Add feature analysis for products — Peter W. V. Tran-Jørgensen / githubweb
74. Test that the feature analysis for products works — Peter W. V. Tran-Jørgensen / githubweb
75. Emit missing NO_PRODUCTS definition — Peter W. V. Tran-Jørgensen / githubweb
76. Add feature analysis for records — Peter W. V. Tran-Jørgensen / githubweb
77. Test that the feature analysis for records works — Peter W. V. Tran-Jørgensen / githubweb
78. Update the feature analysis to take GC into account — Peter W. V. Tran-Jørgensen / githubweb
79. Update the VDM2C plugin to emit VdmModelFeatures.h — Peter W. V. Tran-Jørgensen / githubweb
80. Update the VDM2C plugin to use GC by default — Peter W. V. Tran-Jørgensen / githubweb
81. Runtime support for self expressions. — Victor Bandur / githubweb
82. GC suffix typo. — Victor Bandur / githubweb
83. Use SELF macro to represent self expressions — Peter W. V. Tran-Jørgensen / githubweb
84. Update GC to handle self expressions — Peter W. V. Tran-Jørgensen / githubweb
85. Add Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
86. Update Jenkinsfile to initialize submodules — Peter W. V. Tran-Jørgensen / githubweb
87. Remove release procedure from README — Peter W. V. Tran-Jørgensen / githubweb
88. Remove development environment description from README — Peter W. V. Tran-Jørgensen / githubweb
89. Exclusion of runtime tests based on VdmModelFeatures.h file. — Victor Bandur / githubweb
90. Exclusion of pattern matching based on VdmModelFeatures.h file. — Victor Bandur / githubweb
91. Excluding maps from the runtime library based on VdmModelFeatures.h — Victor Bandur / githubweb
92. Exclusion of products and the CSV library, which depends on products, — Victor Bandur / githubweb
93. Fix to exclusion of products and CSV library based on VdmModelFeatures.h — Victor Bandur / githubweb
94. Exclude maps from pattern mechanism based on VdmModelFeatures.h file. — Victor Bandur / githubweb
95. Exclusion of sequences and sets according to VdmModelFeatures.h file and — Victor Bandur / githubweb
96. Exclusion of RecordType based on VdmModelFeatures.h file. — Victor Bandur / githubweb
97. Exclusion of MATH library based on VdmModelFeatures.h file. — Victor Bandur / githubweb
98. Exclusion of IO library based on VdmModelFeatures.h file. — Victor Bandur / githubweb
99. Fix issue with CSV detection — Peter W. V. Tran-Jørgensen / githubweb
100. Add empty VdmModelFeatures.h file for testing purposes — Peter W. V. Tran-Jørgensen / githubweb
101. Fix map, sequence and sets exclusion logic in generator — Peter W. V. Tran-Jørgensen / githubweb
102. -  Fixes after change to resrouces level VdmModelFeatures.h file. - — Victor Bandur / githubweb
103. Use Email-ext to notify on build failures — Peter W. V. Tran-Jørgensen / githubweb
104. Extra CALL_FUNC macros and type cast fixes.  Addresses #72. — Victor Bandur / githubweb
105. Method-level exclusion of sequence-based operations from IO library — Victor Bandur / githubweb
106. Exclusion of sets from sequences based on VdmModelFeatures.h file. — Victor Bandur / githubweb
107. First implementation of mechanism for calling the GC automatically. — Victor Bandur / githubweb
108. Disabling auto GC calling feature for further development. — Victor Bandur / githubweb
109. Remove unused include time.h. — Victor Bandur / githubweb
110. Some cleanup based on pedantic warnings from the compiler during the — Victor Bandur / githubweb
111. Fix pointer comparison in mechanism that delays reclamation in case of — Victor Bandur / githubweb
112. Add VDM2C version number to generated code — Peter W. V. Tran-Jørgensen / githubweb
113. Fixed CSV library to read resource files properly, whether in — Victor Bandur / githubweb
114. Add VDM2C version 0.1.0 release notes — Peter W. V. Tran-Jørgensen / githubweb
115. Prepare release of VDM2C 0.1.0 — Peter W. V. Tran-Jørgensen / githubweb

#55 (Feb 9, 2017 3:20:40 PM)

1. [maven-release-plugin] prepare release Release/0.0.18 — jenkins / githubweb
2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
3. Fix issue with method invocations that receive multiple arguments — Peter W. V. Tran-Jørgensen / githubweb
4. Removed incorrect defines left over from file copy. — Victor Bandur / githubweb
5. Test that method invocation issue is fixed — Peter W. V. Tran-Jørgensen / githubweb
6. Add missing clone calls for apply expressions — Peter W. V. Tran-Jørgensen / githubweb
7. Implementation of cosine. — Victor Bandur / githubweb
8. Removed unused function vdmNotEqual from runtime library. — Victor Bandur / githubweb
9. Removed unused nat, nat1 and int1 functions. — Victor Bandur / githubweb
10. Add release notes for version 0.0.20 — Peter W. V. Tran-Jørgensen / githubweb
11. Prepare for release of version 0.0.20 — Peter W. V. Tran-Jørgensen / githubweb

#54 (Jan 31, 2017 7:06:20 PM)

1. Remove unused transformation — Peter W. V. Tran-Jørgensen / githubweb
2. Add utility class to generate clone/free calls — Peter W. V. Tran-Jørgensen / githubweb
3. Use 'ValueSemantics' class to generate clone calls — Peter W. V. Tran-Jørgensen / githubweb
4. Use 'ValueSemantics' class to generate free calls — Peter W. V. Tran-Jørgensen / githubweb
5. Fix for the ValueSemantics clone method — Peter W. V. Tran-Jørgensen / githubweb
6. Check that values do not leak memory — Peter W. V. Tran-Jørgensen / githubweb
7. Check that static instance variables do not leak — Peter W. V. Tran-Jørgensen / githubweb
8. Check that instance variables do not leak memory — Peter W. V. Tran-Jørgensen / githubweb
9. [maven-release-plugin] prepare release Release/0.0.16 — jenkins / githubweb
10. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
11. Document release procedure — noreply / githubweb
12. Fix typos in the release procedure description — noreply / githubweb
13. Memory tests assume that valgrind is installed — Peter W. V. Tran-Jørgensen / githubweb
14. Fix typo in README — Peter W. V. Tran-Jørgensen / githubweb
15. Update "Development environment prerequisites" to mention valgrind — Peter W. V. Tran-Jørgensen / githubweb
16. Fix issue with field look-ups — Peter W. V. Tran-Jørgensen / githubweb
17. Rename test — Peter W. V. Tran-Jørgensen / githubweb
18. Test that the field reference issue is fixed — Peter W. V. Tran-Jørgensen / githubweb
19. Export fix for the FMU exporter. — Victor Bandur / githubweb
20. -  Implementing CSV library. -  Implementation of flinecount function. — Victor Bandur / githubweb
21. Return result TVP product for flinecount. — Victor Bandur / githubweb
22. Implementation of flinecount and freadval.  Tested externally to the — Victor Bandur / githubweb
23. Test for "flinecount". — Victor Bandur / githubweb
24. Test for freadval. — Victor Bandur / githubweb
25. Added newProductVar variadic function.  Addresses #63. — Victor Bandur / githubweb
26. Add support for product types — Peter W. V. Tran-Jørgensen / githubweb
27. Test that product types code-generate correctly — Peter W. V. Tran-Jørgensen / githubweb
28. Ignore CSV test input — Peter W. V. Tran-Jørgensen / githubweb
29. Fail Maven build when runtime test don't pass — Peter W. V. Tran-Jørgensen / githubweb
30. Add limited support for function instantiations — Peter W. V. Tran-Jørgensen / githubweb
31. Test that function instantiations code-generate correctly — Peter W. V. Tran-Jørgensen / githubweb
32. Fix issue with for loop statements — Peter W. V. Tran-Jørgensen / githubweb
33. Test that for loop issue is fixed — Peter W. V. Tran-Jørgensen / githubweb
34. Tests for CSV library. — Victor Bandur / githubweb
35. Add release notes for version 0.0.18 — Peter W. V. Tran-Jørgensen / githubweb
36. Release procedure corrections — Peter W. V. Tran-Jørgensen / githubweb
37. Prepare release of version 0.0.18 — Peter W. V. Tran-Jørgensen / githubweb

#53 (Dec 2, 2016 5:15:52 PM)

1. -  Working on emitting global static and constant init and shutdown — Victor Bandur / githubweb
2. [maven-release-plugin] prepare release Release/0.0.14 — jenkins / githubweb
3. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
4. Generalise AVarDeclIR — Peter W. V. Tran-Jørgensen / githubweb
5. Testing that an old error in overriding behaviour no longer appears. — Victor Bandur / githubweb
6. Emitting header files for global static and const init and shutdown — Victor Bandur / githubweb
7. Using correct quotes for header file name in include directive. — Victor Bandur / githubweb
8. Add start statement test — Peter W. V. Tran-Jørgensen / githubweb
9. Add start statement template — Peter W. V. Tran-Jørgensen / githubweb
10. Formatting in emitted main.c file. — Victor Bandur / githubweb
11. Add VDM2C 0.0.16 release notes — Peter W. V. Tran-Jørgensen / githubweb
12. Prepare VDM2C 0.0.16 release — Peter W. V. Tran-Jørgensen / githubweb

#52 (Nov 30, 2016 2:32:04 PM)

1. Model code for Collatz example. — Victor Bandur / githubweb
2. List of generated files for FMU export. — Victor Bandur / githubweb
3. [maven-release-plugin] prepare release Release/0.0.12 — jenkins / githubweb
4. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
5. Removing handling of protected qualifier as it poses problems for — Victor Bandur / githubweb
6. Remove garbage file — Peter W. V. Tran-Jørgensen / githubweb
7. Improve extensibility of test classes — Peter W. V. Tran-Jørgensen / githubweb
8. Add valgrind configuration to CMakeLists.txt — Peter W. V. Tran-Jørgensen / githubweb
9. Add functionality to test memory management — Peter W. V. Tran-Jørgensen / githubweb
10. Ignoring protected and static qualifiers only on constructors. — Victor Bandur / githubweb
11. Remove field that is not needed — Peter W. V. Tran-Jørgensen / githubweb
12. When method has no parameters, return empty list of parameter types — Victor Bandur / githubweb
13. Add v0.0.14 release notes — Peter W. V. Tran-Jørgensen / githubweb
14. Prepare v0.0.14 release — Peter W. V. Tran-Jørgensen / githubweb

#51 (Nov 22, 2016 2:37:13 PM)

1. [maven-release-plugin] prepare release Release/0.0.10 — jenkins / githubweb
2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
3. Make "if-tests" executable — Peter W. V. Tran-Jørgensen / githubweb
4. Add generic "if-test" — Peter W. V. Tran-Jørgensen / githubweb
5. Add tests that reveal issue with if statements — Peter W. V. Tran-Jørgensen / githubweb
6. Updated README.txt with cmake command for debug. — Victor Bandur / githubweb
7. Unpack all typed expressions — Peter W. V. Tran-Jørgensen / githubweb
8. Test collection updates — Peter W. V. Tran-Jørgensen / githubweb
9. Low-level map update function, instead of implementing in terms of map — Victor Bandur / githubweb
10. Test for sequence updates. — Victor Bandur / githubweb
11. Add support for field and sequence updates — Peter W. V. Tran-Jørgensen / githubweb
12. Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF — Peter W. V. Tran-Jørgensen / githubweb
13. Testing in-place sequence update. — Victor Bandur / githubweb
14. Fix issue with copying of runtime library — Peter W. V. Tran-Jørgensen / githubweb
15. Corrections for CLI argument validation — Peter W. V. Tran-Jørgensen / githubweb
16. Add missing source nodes to class headers — Peter W. V. Tran-Jørgensen / githubweb
17. Represent the generated code using CGP means — Peter W. V. Tran-Jørgensen / githubweb
18. Update CLI to report errors/unsupported constructs — Peter W. V. Tran-Jørgensen / githubweb
19. Translate standard libraries to IR modules — Peter W. V. Tran-Jørgensen / githubweb
20. Translate generated modules to C sources — Peter W. V. Tran-Jørgensen / githubweb
21. Update the VDM2C plugin to output the user's code — Peter W. V. Tran-Jørgensen / githubweb
22. Correct initialisation of mangledNames — Peter W. V. Tran-Jørgensen / githubweb
23. Better user feedback for unsupported constructs — Peter W. V. Tran-Jørgensen / githubweb
24. Output folder field is not needed — Peter W. V. Tran-Jørgensen / githubweb
25. Clean-up CLI — Peter W. V. Tran-Jørgensen / githubweb
26. Simplify CGen — Peter W. V. Tran-Jørgensen / githubweb
27. Move 'copyNativeLibFiles' to core — Peter W. V. Tran-Jørgensen / githubweb
28. Update the VDM2C CLI — Peter W. V. Tran-Jørgensen / githubweb
29. Add v0.0.12 release notes — Peter W. V. Tran-Jørgensen / githubweb
30. Prepare release of VDM2C 0.0.12 — Peter W. V. Tran-Jørgensen / githubweb

#49 (Nov 15, 2016 3:04:01 PM)

1. Better way to find enclosing class — Peter W. V. Tran-Jørgensen / githubweb
2. Add record test — Peter W. V. Tran-Jørgensen / githubweb
3. Convert record types to class types — Peter W. V. Tran-Jørgensen / githubweb
4. Convert record declarations to class declarations — Peter W. V. Tran-Jørgensen / githubweb
5. Migrating records infrastructure in the native library to use records as — Victor Bandur / githubweb
6. Construct VDM type for records — Peter W. V. Tran-Jørgensen / githubweb
7. -  Working on support in the native library for record value semantics. — Victor Bandur / githubweb
8. Emitting definition of class struct field to hold number of fields. — Victor Bandur / githubweb
9. Fix the record/class check used in the templates — Peter W. V. Tran-Jørgensen / githubweb
10. Update transformations not to generate vdmClone calls — Peter W. V. Tran-Jørgensen / githubweb
11. Working out structure walking mechanism for record value semantics. — Victor Bandur / githubweb
12. Pointer arithmetic to access number-of-fields field in class struct. — Victor Bandur / githubweb
13. Can now walk fields of structure and clone each correctly. — Victor Bandur / githubweb
14. Cleanup imports — Peter W. V. Tran-Jørgensen / githubweb
15. Fix construction of 'null' expression — Peter W. V. Tran-Jørgensen / githubweb
16. Update literal transformation to use constants — Peter W. V. Tran-Jørgensen / githubweb
17. Revert change that was introducing a problem with records — Peter W. V. Tran-Jørgensen / githubweb
18. Fix construction of 'null' expression — Peter W. V. Tran-Jørgensen / githubweb
19. Cleanup imports — Peter W. V. Tran-Jørgensen / githubweb
20. Debugging confirms that vdmClone now duplicates record fields in — Victor Bandur / githubweb
21. Value semantics for record equality checking with vdmEquals confirmed — Victor Bandur / githubweb
22. Add creation of a distribution map pr. CPU — Miran / githubweb
23. Added analysis of the BUS structure — Miran / githubweb
24. Added analysis of BUS structure — Miran / githubweb
25. Generate array of all deployed objects — Miran / githubweb
26. Create folder for each CPU — Miran / githubweb
27. Decoupling of the transformation for distribution — Miran / githubweb
28. Get the name of the system definition — Miran / githubweb
29. Expanding test for record value semantics with structured values inside — Victor Bandur / githubweb
30. Add 'numFields' field to every class — Peter W. V. Tran-Jørgensen / githubweb
31. Privatise fields — Peter W. V. Tran-Jørgensen / githubweb
32. Add missing null pointer check — Peter W. V. Tran-Jørgensen / githubweb
33. Another record value semantics test using structured fields. — Victor Bandur / githubweb
34. -  Working on freeing records properly. -  Addresses #33. — Victor Bandur / githubweb
35. -  Further work on vdmFree for records. -  Addresses #33. — Victor Bandur / githubweb
36. Test value type semantics for generated records — Peter W. V. Tran-Jørgensen / githubweb
37. Undo commit that removes vdmClone calls — Peter W. V. Tran-Jørgensen / githubweb
38. Clean-up FieldExpRewriteTrans — Peter W. V. Tran-Jørgensen / githubweb
39. -  Fixed bug in vdmClone for records exposed by use of vdmFree on cloned — Victor Bandur / githubweb
40. -  Freeing more of the memory allocated to a record. -  Addresses #33. — Victor Bandur / githubweb
41. -  Comments. -  Addresses #33. — Victor Bandur / githubweb
42. Transformation to the DIST_CALL macro, used for dispatching local and — Miran / githubweb
43. Minor updates to a test of distributed transformation — Miran / githubweb
44. Minor fix to distribution macro transformation — Miran / githubweb
45. Add 'installation' section to the README — Peter W. V. Tran-Jørgensen / githubweb
46. Fix README sections — Peter W. V. Tran-Jørgensen / githubweb
47. Initial tests using valgrind.  The main file must be removed or it will — Victor Bandur / githubweb
48. Initial version of transformation for generating ids for deployed — Miran / githubweb
49. Changed set of deployed objects to list, since we need order — Miran / githubweb
50. Clean up comments — Miran / githubweb
51. Each object gets unique id — Miran / githubweb
52. Generate the distribution map — Miran / githubweb
53. Generate individual system pr. cpu — Miran / githubweb
54. Fixed problem with assignment to inherited fields. — Victor Bandur / githubweb
55. Changed skip to be an empty block — Miran / githubweb
56. Fixed class lookup on fields so that superclasses are properly taken — Victor Bandur / githubweb
57. Fished out memory leak in newSetWithValues(). — Victor Bandur / githubweb
58. Gitignore stuff. — Victor Bandur / githubweb
59. Notes for myself. — Victor Bandur / githubweb
60. Eliminating name 'recursiveFree' in favour of 'vdmFree'. — Victor Bandur / githubweb
61. Improved makefile. — Victor Bandur / githubweb
62. Small reduction in memory leak for sets caused by unfreed element in — Victor Bandur / githubweb
63. Some binary files. — Victor Bandur / githubweb
64. Removing binary files. — Victor Bandur / githubweb
65. Eliminated large memory leak in sets, confirmed with sets of basic — Victor Bandur / githubweb
66. Comment related to the memory leak. — Victor Bandur / githubweb
67. Cleanup. — Victor Bandur / githubweb
68. Removing staging area for memory performance tests from this branch — Victor Bandur / githubweb
69. Revert "Merge commit '7f2d6a2cab1b93e5abecc082923c961c675a917a' into — Victor Bandur / githubweb
70. Changed skip to be an empty block — Victor Bandur / githubweb
71. Fixed class name clashes in suite of VDM-RT tests. — Victor Bandur / githubweb
72. VDM-RT test for OpInheritanceOverride. — Victor Bandur / githubweb
73. Method override test constructed to show segmentation fault error as — Victor Bandur / githubweb
74. Fixed method overriding problem, but the test model needs to be expanded — Victor Bandur / githubweb
75. Expanded operationo override test to cover overriding different — Victor Bandur / githubweb
76. Features in native library enabling sequence comprehension. — Victor Bandur / githubweb
77. Add convenience function to construct C integer literals — Peter W. V. Tran-Jørgensen / githubweb
78. Use C integer literals to construct set comprehension variables — Peter W. V. Tran-Jørgensen / githubweb
79. Update runtime library integer conversion to support reals — Peter W. V. Tran-Jørgensen / githubweb
80. Test that set comprehensions work — Peter W. V. Tran-Jørgensen / githubweb
81. Update set comprehension strategy to generate the conditional check — Peter W. V. Tran-Jørgensen / githubweb
82. Add support for sequence comprehensions — Peter W. V. Tran-Jørgensen / githubweb
83. Test that sequence comprehensions work — Peter W. V. Tran-Jørgensen / githubweb
84. Add method to find object type VDM name — Peter W. V. Tran-Jørgensen / githubweb
85. -  Constructing a correct reference to the "self" object. -  Addresses — Victor Bandur / githubweb
86. Add formatting support for numeric unary expressions — Peter W. V. Tran-Jørgensen / githubweb
87. Add support for unary minus — Peter W. V. Tran-Jørgensen / githubweb
88. Add support for unary plus — Peter W. V. Tran-Jørgensen / githubweb
89. Test that numeric unary expressions are handled correctly — Peter W. V. Tran-Jørgensen / githubweb
90. Implementation of newMapVarToGrow() to support map comprehensions. — Victor Bandur / githubweb
91. Implementation of vdmMapGrow() to support map comprehensions. — Victor Bandur / githubweb
92. Comments. — Victor Bandur / githubweb
93. Formatting. — Victor Bandur / githubweb
94. Minor optimization in terms of calling newMapVarToGrow with no key-value — Victor Bandur / githubweb
95. Addition of constructors to the virtual function table. — Victor Bandur / githubweb
96. Fix so that self expression does not output VDM_RECORD instead of — Victor Bandur / githubweb
97. Tests for nested constructor calls, no inheritance. — Victor Bandur / githubweb
98. Support for "is_" check for booleans, integers and reals. — Victor Bandur / githubweb
99. Added header file inclusion for sets, since the mac gcc compiler fails — Miran / githubweb
100. Eliminated use of "const" qualifier on pointer variables.  There is no — Victor Bandur / githubweb
101. Changing from using "EXPECT_EQ(false / true ... " in native library — Victor Bandur / githubweb
102. Remove garbage file — Peter W. V. Tran-Jørgensen / githubweb
103. Clean up imports — Peter W. V. Tran-Jørgensen / githubweb
104. Add support for "let be st" constructs — Peter W. V. Tran-Jørgensen / githubweb
105. Test that "let be st" constructs code generate correctly — Peter W. V. Tran-Jørgensen / githubweb
106. -  Changed to better name for equality function for numbers. -  Handling — Victor Bandur / githubweb
107. Correct map type template — Peter W. V. Tran-Jørgensen / githubweb
108. Correct map range template — Peter W. V. Tran-Jørgensen / githubweb
109. Correct map domain template — Peter W. V. Tran-Jørgensen / githubweb
110. Add support for map enumerations — Peter W. V. Tran-Jørgensen / githubweb
111. Add support for map access — Peter W. V. Tran-Jørgensen / githubweb
112. Test that maps code generate correctly — Peter W. V. Tran-Jørgensen / githubweb
113. Test that map equality/inequality code generate correctly — Peter W. V. Tran-Jørgensen / githubweb
114. Correct map inverse template — Peter W. V. Tran-Jørgensen / githubweb
115. Test that the map inverse operator code generates correctly — Peter W. V. Tran-Jørgensen / githubweb
116. Correct map union template — Peter W. V. Tran-Jørgensen / githubweb
117. Test that map union code generates correctly — Peter W. V. Tran-Jørgensen / githubweb
118. Set and map equality fixes. — Victor Bandur / githubweb
119. Fix for map equality. — Victor Bandur / githubweb
120. Inserting explicit cast necessary for ATmega target.  Because of a fluke — Victor Bandur / githubweb
121. fixed #50 — Kenneth Lausdahl / githubweb
122. Improvement to number operations so that the largest type gets returned — Victor Bandur / githubweb
123. Fixed tests in accordance with reduced maximal type change. — Victor Bandur / githubweb
124. Maximal type fix for vdmMod. — Victor Bandur / githubweb
125. Add v0.0.10 release notes — Peter W. V. Tran-Jørgensen / githubweb
126. Prepare the v0.0.10 release — Peter W. V. Tran-Jørgensen / githubweb

#47 (Oct 10, 2016 3:30:05 PM)

1. [maven-release-plugin] prepare release Release/0.0.8 — jenkins / githubweb
2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb

#46 (Oct 7, 2016 4:04:26 PM)

1. -  Added test for ClassOp.vdmrt. -  Addresses #8. — Victor Bandur / githubweb
2. -  Added test for ClassOp2.vdmrt. -  Addresses #8. — Victor Bandur / githubweb
3. -  Adding test code for ClassOpOpCall.vdmrt -  Addresses #8. — Victor Bandur / githubweb
4. [maven-release-plugin] prepare release Release/0.0.6 — jenkins / githubweb
5. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
6. -  Added test for ClassOp2.vdmrt -  Addresses #8. — Victor Bandur / githubweb
7. -  Added test for ClassVarOpOp.vdmrt. -  Addresses #8. — Victor Bandur / githubweb
8. -  Added test for ClassVarOpOp2.vdmrt.  This test creates an infinitely — Victor Bandur / githubweb
9. Testing whether can emit the main file for the generated C code. — Victor Bandur / githubweb
10. Further work on emitting main.c file. — Victor Bandur / githubweb
11. main.c file is now emitted programmatically by the generation process. — Victor Bandur / githubweb
12. Ignore the generated library tests file (vdmclib) — Peter W. V. Tran-Jørgensen / githubweb
13. -  Modified CMake file so that each CG unit test outputs an XML test — Victor Bandur / githubweb
14. Working on gettig a map of model names to mangled names for use in — Victor Bandur / githubweb
15. Address warnings — Peter W. V. Tran-Jørgensen / githubweb
16. Fixed accidental error. — Victor Bandur / githubweb
17. Emitting #defines for mapping between mangled names and model names. — Victor Bandur / githubweb
18. Using uderscore as namespace separator instead of period. — Victor Bandur / githubweb
19. Ensure that the googletests are executed — Peter W. V. Tran-Jørgensen / githubweb
20. Add subclass responsibility tests — Peter W. V. Tran-Jørgensen / githubweb
21. Omitting mangled names of initializer functions.  They are not relevant — Victor Bandur / githubweb
22. Remove missing jar from MANIFEST — Peter W. V. Tran-Jørgensen / githubweb
23. Fix javadoc versions — Peter W. V. Tran-Jørgensen / githubweb
24. -  Modified NameMangler so that it keeps an internal map of mangled — Victor Bandur / githubweb
25. Comment. — Victor Bandur / githubweb
26. -  Basic operation overriding test. -  Addresses #8. — Victor Bandur / githubweb
27. -  Expanded override test to two-level inheritance. -  Addresses #8. — Victor Bandur / githubweb
28. Update description of how to execute runtime tests — Peter W. V. Tran-Jørgensen / githubweb
29. Addresses #8. — Victor Bandur / githubweb
30. -  Completed test for ClassOpOverrideMiddle.vdmrt. -  Addresses #8. — Victor Bandur / githubweb
31. -  Completing test for ClassValueInheritance.vdmrt test model. -  Has — Victor Bandur / githubweb
32. Fix name mangling of rat, union, void and nat1 types — Peter W. V. Tran-Jørgensen / githubweb
33. Add name mangling tests — Peter W. V. Tran-Jørgensen / githubweb
34. Fix name mangling of collection constructors — Peter W. V. Tran-Jørgensen / githubweb
35. Test name mangling of collection constructors — Peter W. V. Tran-Jørgensen / githubweb
36. Clean up imports — Peter W. V. Tran-Jørgensen / githubweb
37. Add script to generate release notes — Peter W. V. Tran-Jørgensen / githubweb
38. Add release notes for v0.0.4 — Peter W. V. Tran-Jørgensen / githubweb
39. Add release notes for v0.0.6 — Peter W. V. Tran-Jørgensen / githubweb
40. enabled code signing — Kenneth Lausdahl / githubweb
41. Determine which classes uses 'time' — Peter W. V. Tran-Jørgensen / githubweb
42. Test 'TimeFinder' — Peter W. V. Tran-Jørgensen / githubweb
43. Determining whether 'time.h' is needed. — Victor Bandur / githubweb
44. Header 'time.h' no longer needed in Vdm.h. — Victor Bandur / githubweb
45. 'time.h' is now only included in .c files corresponding to classes — Victor Bandur / githubweb
46. Add version 0.0.8 release notes — Peter W. V. Tran-Jørgensen / githubweb
47. Update release version to 0.0.8 and development version to — Peter W. V. Tran-Jørgensen / githubweb

#43 (Sep 27, 2016 1:38:32 PM)

1. removed main.c from vdmclib that canceled out the gooletest main — Kenneth Lausdahl / githubweb
2. enabled recursive submodule update on release checkout — Kenneth Lausdahl / githubweb
3. changed execution of native tests to use maven ant — Kenneth Lausdahl / githubweb

#42 (Sep 27, 2016 12:05:16 AM)

1. preparing for release 0.0.6 — Kenneth Lausdahl / githubweb

#38 (Sep 26, 2016 3:54:52 PM)

1. preparing next release — Kenneth Lausdahl / githubweb
2. More transformations cleanup. — Victor Bandur / githubweb
3. More cleanup. — Victor Bandur / githubweb
4. Refactoring of field transformations. — Victor Bandur / githubweb
5. Test model for incremental redevelopment of static field access — Victor Bandur / githubweb
6. Some temporary static field tests exercising the globals scheme. — Victor Bandur / githubweb
7. Reworking field access transformation. — Victor Bandur / githubweb
8. Committing some intermediate stuff before moving to new branch. — Victor Bandur / githubweb
9. [maven-release-plugin] prepare release Release/0.0.2 — jenkins / githubweb
10. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
11. Stabilize tests. — Victor Bandur / githubweb
12. Test model for scratch work. — Peter W. V. Tran-Jørgensen / githubweb
13. Add test from commit 6ce283 — Peter W. V. Tran-Jørgensen / githubweb
14. Add test code from commit 16f494 — Peter W. V. Tran-Jørgensen / githubweb
15. Add test code changes from d7ffd1 — Peter W. V. Tran-Jørgensen / githubweb
16. Changes from 22e1d1 — Peter W. V. Tran-Jørgensen / githubweb
17. Port over changes related to de0401 — Peter W. V. Tran-Jørgensen / githubweb
18. Re-enable test (related to 732351) — Peter W. V. Tran-Jørgensen / githubweb
19. Fix issue related to construction of the field name — Peter W. V. Tran-Jørgensen / githubweb
20. Changes related to 15dd76 — Peter W. V. Tran-Jørgensen / githubweb
21. Ensuring that const and static init functions have bodies — Peter W. V. Tran-Jørgensen / githubweb
22. changed cmake testing to reuse the same compiled googletest resources — Peter W. V. Tran-Jørgensen / githubweb
23. Work on static fields (related to 9c66cd) — Peter W. V. Tran-Jørgensen / githubweb
24. Records test was in fact a test for products. — Peter W. V. Tran-Jørgensen / githubweb
25. Add prerequisite section in the README — Peter W. V. Tran-Jørgensen / githubweb
26. Update description of test properties — Peter W. V. Tran-Jørgensen / githubweb
27. Describe how to execute the runtime tests — Peter W. V. Tran-Jørgensen / githubweb
28. Update readme.md — Peter W. V. Tran-Jørgensen / githubweb
29. Re-organise readmes — Peter W. V. Tran-Jørgensen / githubweb
30. Cleanup README — Peter W. V. Tran-Jørgensen / githubweb
31. Do not put launch configurations under version control — Peter W. V. Tran-Jørgensen / githubweb
32. Change testing log level — Peter W. V. Tran-Jørgensen / githubweb
33. Untrack launch configurations — Peter W. V. Tran-Jørgensen / githubweb
34. Allow test files to exist — Peter W. V. Tran-Jørgensen / githubweb
35. Update quote test to support test execution — Peter W. V. Tran-Jørgensen / githubweb
36. Add name mangling for quote types — Peter W. V. Tran-Jørgensen / githubweb
37. Slightly better testing of quotes — Peter W. V. Tran-Jørgensen / githubweb
38. Add name mangling for the unknown type and the template type — Peter W. V. Tran-Jørgensen / githubweb
39. Add name mangling for named types — Peter W. V. Tran-Jørgensen / githubweb
40. Add name mangling for union types — Peter W. V. Tran-Jørgensen / githubweb
41. Suppress googletest output by default — Peter W. V. Tran-Jørgensen / githubweb
42. Improvements for the C code generator command-line — Peter W. V. Tran-Jørgensen / githubweb
43. Update tests to pass the --quiet flag to the C code generator — Peter W. V. Tran-Jørgensen / githubweb
44. Fix issue with the field access transformation — Peter W. V. Tran-Jørgensen / githubweb
45. Test that the field transformation issue is fixed — Peter W. V. Tran-Jørgensen / githubweb
46. Update public field test to compile the generated code — Peter W. V. Tran-Jørgensen / githubweb
47. Re-enable and fix field test — Peter W. V. Tran-Jørgensen / githubweb
48. Remove -DVDM_LIB_PATH test property — Peter W. V. Tran-Jørgensen / githubweb
49. Update vdm2c to use newest version of Overture — Peter W. V. Tran-Jørgensen / githubweb
50. Update the VDM2C plugin to build against Eclipse Neon. Closes #18 — Peter W. V. Tran-Jørgensen / githubweb
51. Testing branching. — Victor Bandur / githubweb
52. Work on not including unnecessary directories along with generated code. — Victor Bandur / githubweb
53. Related to issue #4. — Victor Bandur / githubweb
54. Related to issue #4. — Victor Bandur / githubweb
55. More path fixes.  Related to issue #4. — Victor Bandur / githubweb
56. Test for behaviour of class variable and record variable assignment. — Victor Bandur / githubweb
57. Test case for scratch work VDM class. — Victor Bandur / githubweb
58. Test material to determine whether assignment achieves value and — Victor Bandur / githubweb
59. Tweak description of how to execute the runtime library tests — Peter W. V. Tran-Jørgensen / githubweb
60. Remove generated test file — Peter W. V. Tran-Jørgensen / githubweb
61. Add more tests for static fields — Peter W. V. Tran-Jørgensen / githubweb
62. Renaming for VDM quote type. — Victor Bandur / githubweb
63. Fix code generation of static field access — Peter W. V. Tran-Jørgensen / githubweb
64. Test that issue with code generation of static field access is fixed — Peter W. V. Tran-Jørgensen / githubweb
65. Fix issue with assignments to static fields — Peter W. V. Tran-Jørgensen / githubweb
66. Aligned order of parameters for Collection construction functions. — Victor Bandur / githubweb
67. Preventing unimplemented math functions from generating compiler — Victor Bandur / githubweb
68. Fix: Lookup of the name of the enclosing class did not expect the system — Peter W. V. Tran-Jørgensen / githubweb
69. Clean up NameConverter (remove unused code) — Peter W. V. Tran-Jørgensen / githubweb
70. Fix the static field access transformation — Peter W. V. Tran-Jørgensen / githubweb
71. Test that the static field issues have been fixed — Peter W. V. Tran-Jørgensen / githubweb
72. Correct description of how to execute the runtime library tests — Peter W. V. Tran-Jørgensen / githubweb
73. Integrate runtime library test into Maven build — Peter W. V. Tran-Jørgensen / githubweb
74. Disable run-lib-tests shell script — Peter W. V. Tran-Jørgensen / githubweb
75. Run cmake before executing the runtime library tests — Peter W. V. Tran-Jørgensen / githubweb
76. Executing the runtime library test requires cmake be run — Peter W. V. Tran-Jørgensen / githubweb
77. Update description of how to execute the runtime library tests — Peter W. V. Tran-Jørgensen / githubweb
78. Fixed memory leak in setting class field value.  Related to issue #29. — Victor Bandur / githubweb
79. Fixes issue #29. — Victor Bandur / githubweb
80. Update C code generator plugin to export missing package — Peter W. V. Tran-Jørgensen / githubweb
81. Prepare release 0.0.6 — Peter W. V. Tran-Jørgensen / githubweb

#37 (Sep 26, 2016 3:28:06 PM)

1. Update Overture repository — Peter W. V. Tran-Jørgensen / githubweb

#36 (Sep 26, 2016 3:06:00 PM)

1. More transformations cleanup. — Victor Bandur / githubweb
2. More cleanup. — Victor Bandur / githubweb
3. Refactoring of field transformations. — Victor Bandur / githubweb
4. Test model for incremental redevelopment of static field access — Victor Bandur / githubweb
5. Some temporary static field tests exercising the globals scheme. — Victor Bandur / githubweb
6. Reworking field access transformation. — Victor Bandur / githubweb
7. Committing some intermediate stuff before moving to new branch. — Victor Bandur / githubweb
8. [maven-release-plugin] prepare release Release/0.0.2 — jenkins / githubweb
9. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
10. Stabilize tests. — Victor Bandur / githubweb
11. -  First part of cleaned field access transformation. -  Read of field — Victor Bandur / githubweb
12. Work in progress on getting value of local field. — Victor Bandur / githubweb
13. Test model for scratch work. — Victor Bandur / githubweb
14. Some intermediate work and notes. — Victor Bandur / githubweb
15. Work in progress on field access transformation. — Victor Bandur / githubweb
16. More tests and fixes for field access transformation. — Victor Bandur / githubweb
17. -  Ongoing work on field access transformations. -  Access to fields in — Victor Bandur / githubweb
18. Re-enabled test. — Victor Bandur / githubweb
19. Small change to test model for next field access feature, access to — Victor Bandur / githubweb
20. Tests for field access on objects pass. — Victor Bandur / githubweb
21. Access to values works. — Victor Bandur / githubweb
22. Working on setting public fields of instances. — Victor Bandur / githubweb
23. Setting of public fields on instances works. — Victor Bandur / githubweb
24. Ensuring that const and static init functions have bodies. — Victor Bandur / githubweb
25. Forgot to emit non-empty body for static init functions. — Victor Bandur / githubweb
26. Further improvements to static field access. — Victor Bandur / githubweb
27. Read of inherited instance variables. — Victor Bandur / githubweb
28. Setting of public fields, static and non-static, through instance or — Victor Bandur / githubweb
29. Code cleanup. — Victor Bandur / githubweb
30. Clean-up. — Victor Bandur / githubweb
31. Records test was in fact a test for products. — Victor Bandur / githubweb
32. Intermediate work on records. — Victor Bandur / githubweb
33. Emitting functions to return references to static fields for FMU export. — Victor Bandur / githubweb
34. Record type definitions are now transformed into standard classes and — Victor Bandur / githubweb
35. Fixed problem with tests introduced by record extraction to classes. — Victor Bandur / githubweb
36. Work in progress on changing record declarations to corresponding class — Victor Bandur / githubweb
37. modified: — Victor Bandur / githubweb
38. -  Added constructor to the corresponding class for record type — Victor Bandur / githubweb
39. Some test model elements for static field access bug. — Victor Bandur / githubweb
40. Remaining math library functions, but no tests. — Victor Bandur / githubweb
41. Working on making the class name available for each class to be used in — Victor Bandur / githubweb
42. Each class struct now has a field named "class_name" that contains the — Victor Bandur / githubweb
43. Github static modifier issue 13. — Victor Bandur / githubweb
44. Github issue 11 with initialization of record fields. — Victor Bandur / githubweb
45. Working on getting the right class constructor instead of mk_ for — Victor Bandur / githubweb
46. Fixed error with return type of constructor for record-to-class — Victor Bandur / githubweb
47. Type of the initial value of record initialization after conversion to — Victor Bandur / githubweb
48. DOC: fixes in the README file — atfabbri / githubweb
49. Work on not including unnecessary directories along with generated code. — Victor Bandur / githubweb
50. Related to issue #4. — Victor Bandur / githubweb
51. Related to issue #4. — Victor Bandur / githubweb
52. Prepare release 0.0.4 — Peter W. V. Tran-Jørgensen / githubweb

#24 (Jun 24, 2016 2:30:26 PM)

1. preparing next release — Kenneth Lausdahl / githubweb

#4 (Jun 23, 2016 2:25:21 PM)

1. changed overture version to 2.3.6 — Kenneth Lausdahl / githubweb
2. changed incubation year and distribution management repo — Kenneth Lausdahl / githubweb