collapse
100%
WDescription%
Build stability: No recent builds failed.100
Build History
x
 543 KB
 632 KB
 670 KB
 478 KB
 476 KB
 482 KB
 523 KB
 602 KB
 494 KB
 494 KB
 489 KB
 103 KB
 478 KB
 493 KB
 459 KB
 462 KB
 467 KB
 456 KB
 103 KB
 319 KB
 323 KB
 629 KB
 616 KB
 393 KB
 342 KB
 275 KB
 12 KB
 239 KB
 239 KB
 180 KB

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