Up
collapse
0%
WDescription%
Build stability: All recent builds failed.0
Coverage: All coverage targets have been met. 100
Test Result: 0 tests failing out of a total of 193 tests.100
Coverage: All coverage targets have been met. 100
Build History
x
 
 
 
 
 
 
 
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 [Artifactory]
 
 
 
 
 
 
 
 
 
 

Changes

#168 (Sep 22, 2020 9:29:00 AM)

  1. Added github actions build — Casper Thule / githubweb

#165 (Sep 18, 2020 10:07:56 AM)

  1. submodules fix — Casper Thule / githubweb

#164 (Sep 18, 2020 10:05:42 AM)

  1. Added submodules checkout — Casper Thule / githubweb

#163 (Sep 18, 2020 10:00:56 AM)

  1. Updated cmakelists to find glib2. Created workflow file — Casper Thule / githubweb

#162 (Sep 17, 2020 3:47:28 PM)

  1. Updated module paths and overture version — Casper Thule / githubweb

#161 (Nov 22, 2018 12:52:12 PM)

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

#160 (Nov 22, 2018 12:20:25 PM)

  1. Add VDM2C 0.2.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.2.2 — Peter W. V. Tran-Jørgensen / githubweb

#159 (Nov 22, 2018 11:46:19 AM)

  1. Update to Overture 2.6.4 and Eclipse Oxygen — Peter W. V. Tran-Jørgensen / githubweb

#158 (Feb 14, 2018 12:33:29 PM)

  1. Remove build status icon — Peter W. V. Tran-Jørgensen / githubweb

#157 (Feb 14, 2018 12:01:15 PM)

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

#156 (Feb 14, 2018 11:20:55 AM)

  1. Add v0.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C v0.2.0 — Peter W. V. Tran-Jørgensen / githubweb
  3. Adjust version number in v0.2.0 release notes — Peter W. V. Tran-Jørgensen / githubweb

#155 (Feb 14, 2018 10:57:33 AM)

  1. Fix assignments to static fields #122 — Peter W. V. Tran-Jørgensen / githubweb
  2. Emit newSeqVarToGrowGC — Peter W. V. Tran-Jørgensen / githubweb
  3. -  Fixed problem with vdmSeqGrow and values passed under GC control. - — Victor Bandur / githubweb
  4. Fix for problem with vdmSetGrow when under GC control. — Victor Bandur / githubweb
  5. Fixed memory leak in vdmSeqInds. — Victor Bandur / githubweb
  6. Fixed memory leak in records. — Victor Bandur / githubweb
  7. Fixed memory leak with records. — Victor Bandur / githubweb
  8. -  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126. — Victor Bandur / githubweb
  9. Add generator support for `vdmSetEnumerateSetOfIntsGC` — Peter W. V. Tran-Jørgensen / githubweb
  10. -  Committing omitted header file. -  Addresses #126. — Victor Bandur / githubweb
  11. Uninitialized variable warnings in maps, runtime. — Victor Bandur / githubweb

#154 (Dec 19, 2017 5:51:58 PM)

  1. -  Added missing function declaration. -  Addresses #125. — Victor Bandur / githubweb

#153 (Dec 18, 2017 4:14:45 PM)

  1. -  Added comment to each runtime library file about the version of VMD2C — Victor Bandur / githubweb

#152 (Dec 7, 2017 5:09:37 PM)

  1. -  Addition of newSeqVarToGrowGC. -  Addresses #125. — Victor Bandur / githubweb

#151 (Nov 30, 2017 9:41:02 AM)

  1. Format Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb

#149 (Nov 29, 2017 1:22:40 PM)

  1. Distributed code-generator fix — Peter W. V. Tran-Jørgensen / githubweb
  2. Handle vdm2c build jobs in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
  3. Fix deployment, skip tests temporarily — Peter W. V. Tran-Jørgensen / githubweb
  4. Re-enable testing in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb

#148 (Nov 29, 2017 11:38:44 AM)

  1. -  Unused variable cleanup. -  Addresses #123. — Victor Bandur / githubweb

#147 (Nov 27, 2017 7:36:08 PM)

  1. -  WIP removing traces of source variable from garbage collector. - — Victor Bandur / githubweb
  2. -  Removed ref_from element of TVP and associated GC machinery. - — Victor Bandur / githubweb

#146 (Nov 23, 2017 11:23:05 PM)

  1. Emit GC versions of class constructors #124 — Peter W. V. Tran-Jørgensen / githubweb
  2. Tag constructor calls in CallRewriteTrans #124 — Peter W. V. Tran-Jørgensen / githubweb
  3. -  Memory leak fixes. -  Addresses #108. — Victor Bandur / githubweb

#145 (Nov 17, 2017 4:24:43 PM)

  1. Further speed and size improvements in GC versions of operations. — Victor Bandur / githubweb

#144 (Nov 13, 2017 3:32:32 PM)

  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. -  Product test for (int * char) * int. -  Addresses #108. — Victor Bandur / githubweb
  32. -  Dummy VdmClassHierarchy.h file for runtime library testing. - — Victor Bandur / githubweb
  33. -  Runtime library support for isofbaseclass. -  Addresses #108. — Victor Bandur / githubweb
  34. -  Runtime library support for samebaseclass. -  Addresses #108. — Victor Bandur / githubweb
  35. Class association should not consider standard library classes — Peter W. V. Tran-Jørgensen / githubweb
  36. Update distribution code-generator to emit class association file — Peter W. V. Tran-Jørgensen / githubweb
  37. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - — Victor Bandur / githubweb
  38. -  Map composition support in the runtime library. -  Addresses #108. — Victor Bandur / githubweb
  39. -  GC version of map composition in the runtime library. -  Addresses — Victor Bandur / githubweb
  40. -  Map iteration support in the runtime library. -  Addresses #108. — Victor Bandur / githubweb
  41. -  Reducing flash footprint. -  Addresses #120. — Victor Bandur / githubweb
  42. -  Support for is seq1. -  Addresses #108. — Victor Bandur / githubweb
  43. -  Support for is set1 type queries. -  More tests for is seq1. - — Victor Bandur / githubweb
  44. -  Runtime support for is map queries. -  Addresses #108. — Victor Bandur / githubweb
  45. Add initial support for type encoding #108 — Peter W. V. Tran-Jørgensen / githubweb
  46. Code cleanup, comments. — Victor Bandur / githubweb
  47. Update type encoder to support set1, seq1 and map — Peter W. V. Tran-Jørgensen / githubweb
  48. -  Reduction in flash footprint:  maps. -  Addresses #120. — Victor Bandur / githubweb
  49. Address wrong assumption in the distributed code-generator — Peter W. V. Tran-Jørgensen / githubweb
  50. -  Flash footprint reduction, sequences. -  Addresses #120. — Victor Bandur / githubweb
  51. -  Flash footprint reduction, sets. -  Addresses #120. — Victor Bandur / githubweb
  52. -  Eliminating some compiler warnings in distribution runtime. - — Victor Bandur / githubweb
  53. -  Bugfix. -  Addresses #120. — Victor Bandur / githubweb
  54. -  WIP runtime library support for optional types encoding. -  Addresses — Victor Bandur / githubweb
  55. -  Runtime library support for is queries on optional types. - — Victor Bandur / githubweb
  56. -  Runtime support for eliminating is queries based on NO_IS flag. - — Victor Bandur / githubweb
  57. Emit NO_IS flag in model features file #108 — Peter W. V. Tran-Jørgensen / githubweb
  58. Support exists1 quantifier #108 — Peter W. V. Tran-Jørgensen / githubweb
  59. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. — Victor Bandur / githubweb
  60. Support preconditions #108 — Peter W. V. Tran-Jørgensen / githubweb
  61. Support encoding of optional types #108 — Peter W. V. Tran-Jørgensen / githubweb
  62. Temporarily build against Overture 2.5.3-SNAPSHOT — Peter W. V. Tran-Jørgensen / githubweb
  63. Update VDM2C to work with newest Overture — Peter W. V. Tran-Jørgensen / githubweb
  64. Support map iteration #108 — Peter W. V. Tran-Jørgensen / githubweb
  65. Support map composition #108 — Peter W. V. Tran-Jørgensen / githubweb
  66. Support iota #108 — Peter W. V. Tran-Jørgensen / githubweb
  67. Support non-deterministic statements #108 — Peter W. V. Tran-Jørgensen / githubweb
  68. Support isofbaseclass #108 — Peter W. V. Tran-Jørgensen / githubweb
  69. Support isofclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  70. Support samebaseclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  71. Support sameclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  72. -  Typo in type encoding in test. -  Addresses #108. — Victor Bandur / githubweb
  73. Work on checking union types in is_ expressions #108 — Peter W. V. Tran-Jørgensen / githubweb
  74. Emit type encoding for is_* checks #108 — Peter W. V. Tran-Jørgensen / githubweb
  75. Fix two issues in IsExpUnionTypeFinder #108 — Peter W. V. Tran-Jørgensen / githubweb
  76. Support union types in is_* expressions #108 — Peter W. V. Tran-Jørgensen / githubweb
  77. Fix memory leak in field initializers — Peter W. V. Tran-Jørgensen / githubweb
  78. Fix index issue in "for all" loops — Peter W. V. Tran-Jørgensen / githubweb
  79. -  Fixed bugs in runtime library OO support. -  isofclass is both — Victor Bandur / githubweb
  80. -  Fixed bug with exclusion of class inheritance header file. - — Victor Bandur / githubweb
  81. -  Minor refinement to exclusion mechanism. -  Addresses #108. — Victor Bandur / githubweb
  82. Use Overture 2.5.4 — Peter W. V. Tran-Jørgensen / githubweb
  83. Fix clean up in OOChecks test — Peter W. V. Tran-Jørgensen / githubweb
  84. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses — Victor Bandur / githubweb
  85. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - — Victor Bandur / githubweb

#143 (Oct 5, 2017 11:21:52 AM)

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

#142 (Oct 5, 2017 10:47:25 AM)

  1. Add release notes for VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb

#141 (Oct 5, 2017 10:42:08 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. Clean Up — Miran / githubweb
  121. Minor update for distribution tests — Miran / githubweb
  122. Moved distribution library to separate maven project — Miran / githubweb
  123. Updated distribution library for C89 compliance — Miran / githubweb
  124. Changed distribution test to use FIFOs — Miran / githubweb
  125. Changed distribution tests to use FIFOs for communication — Miran / githubweb
  126. Improvement of distribution tests timing — Miran / githubweb
  127. kill subprocess of cpu2 after test — Miran / githubweb
  128. only run one test of distribution — Miran / githubweb
  129. Enable another test for distribution — Miran / githubweb
  130. Updated IDE with better separation of code emission between distributed — Miran / githubweb
  131. Do not run Quotes test — Miran / githubweb
  132. test new timing improvments for distributed tests — Miran / githubweb
  133. Enable all test with new approach for timing — Miran / githubweb
  134. new test try for distribution — Miran / githubweb
  135. Commit to rerun test — Miran / githubweb
  136. Fix typo in CMake file — Peter W. V. Tran-Jørgensen / githubweb
  137. Add -D_GNU_SOURCE flag to CMake file — Peter W. V. Tran-Jørgensen / githubweb
  138. Improved timing support for distribution tests — Miran / githubweb
  139. Assert that FIFOs can be created and cleaned up afterwards. — Miran / githubweb
  140. cleap up comments — Miran / githubweb
  141. Removed irrelevant comment — Miran / githubweb
  142. Removed irrelevant comment — Miran / githubweb
  143. Removed debug print from distribution test — Miran / githubweb
  144. Clean up distribution tests — Miran / githubweb
  145. Improve assert error message. — Miran / githubweb

#139 (Oct 4, 2017 3:16:50 PM)

  1. Add release notes for version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb

#138 (Oct 4, 2017 2:32:38 PM)

  1. Add -D_GNU_SOURCE flag to CMake file — Peter W. V. Tran-Jørgensen / githubweb

#137 (Oct 4, 2017 2:16:22 PM)

  1. Fix typo in CMake file — Peter W. V. Tran-Jørgensen / githubweb

#136 (Oct 4, 2017 1:33:33 PM)

  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. Clean Up — Miran / githubweb
  121. Minor update for distribution tests — Miran / githubweb
  122. Moved distribution library to separate maven project — Miran / githubweb
  123. Updated distribution library for C89 compliance — Miran / githubweb
  124. Changed distribution test to use FIFOs — Miran / githubweb
  125. Changed distribution tests to use FIFOs for communication — Miran / githubweb
  126. Improvement of distribution tests timing — Miran / githubweb
  127. kill subprocess of cpu2 after test — Miran / githubweb
  128. only run one test of distribution — Miran / githubweb
  129. Enable another test for distribution — Miran / githubweb
  130. Updated IDE with better separation of code emission between distributed — Miran / githubweb
  131. Do not run Quotes test — Miran / githubweb
  132. test new timing improvments for distributed tests — Miran / githubweb
  133. Enable all test with new approach for timing — Miran / githubweb
  134. new test try for distribution — Miran / githubweb
  135. Commit to rerun test — Miran / githubweb

#135 (Oct 3, 2017 11:32:23 AM)

  1. Fixes bug with setting correct buffer size in collections. — Victor Bandur / githubweb

#134 (Oct 2, 2017 11:56:05 AM)

  1. -  Increased coverage of basic precondition checks on map and sequence — Victor Bandur / githubweb

#133 (Sep 18, 2017 5:32:18 PM)

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

#132 (Sep 18, 2017 3:37:27 PM)

  1. Add version 0.1.14 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.14 — Peter W. V. Tran-Jørgensen / githubweb

#131 (Sep 18, 2017 1:35:23 PM)

  1. Require Overture 2.5.2 — Peter W. V. Tran-Jørgensen / githubweb

#130 (Sep 12, 2017 3:11:44 PM)

  1. Require Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb

#129 (Sep 11, 2017 1:28:15 PM)

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

#128 (Sep 11, 2017 12:37:42 PM)

  1. Add VDM2C 0.1.12 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.12 — Peter W. V. Tran-Jørgensen / githubweb

#127 (Sep 8, 2017 3:25:54 PM)

  1. -  Removing variable length arrays to accommodate the Visual C compiler. — Victor Bandur / githubweb

#126 (Aug 30, 2017 9:19:15 AM)

  1. Build against Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb

#125 (Aug 10, 2017 4:46:33 PM)

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

#124 (Aug 10, 2017 4:03:05 PM)

  1. Add version 0.1.10 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of version 0.1.10 — Peter W. V. Tran-Jørgensen / githubweb

#123 (Aug 9, 2017 11:48:48 AM)

  1. Address misnomer, rename newMapVarToGrow to newMapVar #106 — Peter W. V. Tran-Jørgensen / githubweb

#122 (Aug 9, 2017 11:36:44 AM)

  1. Add runtime support for sequence modifications (explicit version) — Peter W. V. Tran-Jørgensen / githubweb
  2. Allowing maps when sequences are used due to sequence modification. — Victor Bandur / githubweb
  3. -  Formatting. -  Addresses #107. — Victor Bandur / githubweb
  4. -  Garbage collection version of sequence modification. -  Addresses — Victor Bandur / githubweb
  5. Update the generator to support sequence modifications — Peter W. V. Tran-Jørgensen / githubweb

#121 (Aug 4, 2017 12:00:42 PM)

  1. -  Fix collection grow issue for sets. -  Addresses #106. — Victor Bandur / githubweb

#120 (Jul 20, 2017 4:17:29 PM)

  1. Guard against non-existing super headers — Peter W. V. Tran-Jørgensen / githubweb

#119 (Jul 10, 2017 2:23:15 PM)

  1. Set log level to ERROR — Peter W. V. Tran-Jørgensen / githubweb

#118 (Jul 6, 2017 1:28:55 PM)

  1. Strict comparison for NULL values. — Victor Bandur / githubweb

#117 (Jul 1, 2017 10:44:18 PM)

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

#116 (Jul 1, 2017 10:13:46 PM)

  1. Add VDM2C 0.1.8 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.8 — Peter W. V. Tran-Jørgensen / githubweb

#115 (Jun 30, 2017 10:50:20 AM)

  1. Update runtime to support more function/operation arguments — Peter W. V. Tran-Jørgensen / githubweb

#114 (Jun 29, 2017 2:19:39 PM)

  1. Fix grow mechanism for sequences #106 — Peter W. V. Tran-Jørgensen / githubweb

#113 (Jun 28, 2017 3:16:18 PM)

  1. New translation of 'nil' — Peter W. V. Tran-Jørgensen / githubweb

#112 (Jun 22, 2017 10:11:22 AM)

  1. Fix records value semantics bug — Peter W. V. Tran-Jørgensen / githubweb

#111 (Jun 19, 2017 2:29:14 PM)

  1. Ignore IntelliJ metadata — Peter W. V. Tran-Jørgensen / githubweb

#110 (Jun 13, 2017 2:29:14 PM)

  1. Fix issue with for-index loops — Peter W. V. Tran-Jørgensen / githubweb

#109 (Jun 12, 2017 5:04:03 PM)

  1. Add 'numFields' in the IR — Peter W. V. Tran-Jørgensen / githubweb

#108 (Jun 9, 2017 11:39:08 AM)

  1. Fix issue with factorial implementation — Peter W. V. Tran-Jørgensen / githubweb
  2. Add missing MATH lib test — Peter W. V. Tran-Jørgensen / githubweb
  3. Update CMakeList file for gcc6 — Peter W. V. Tran-Jørgensen / githubweb

#107 (Jun 8, 2017 5:25:49 PM)

  1. -  Not using GC-aware assignments in class fields. -  Addresses #89. — Victor Bandur / githubweb

#106 (Jun 8, 2017 3:46:41 PM)

  1. Don't emit SET_FIELD_PTR_GC (it's not needed) — Peter W. V. Tran-Jørgensen / githubweb
  2. Don't emit SET_FIELD_GC (it's not needed) — Peter W. V. Tran-Jørgensen / githubweb

#105 (Jun 7, 2017 1:57:57 PM)

  1. Add pacemaker model sources #100 — Peter W. V. Tran-Jørgensen / githubweb
  2. Add VDMPP version of bubble sort #100 — Peter W. V. Tran-Jørgensen / githubweb
  3. Check that all paper examples code-generate and compile #100 — Peter W. V. Tran-Jørgensen / githubweb
  4. Only include TypedValue.h in paper examples extension points — Peter W. V. Tran-Jørgensen / githubweb

#104 (Jun 7, 2017 12:09:02 PM)

  1. Cleanup Jenkinsfile syntax — Peter W. V. Tran-Jørgensen / githubweb

#102 (Jun 2, 2017 9:37:49 PM)

  1. Don't set commit status explicitly — Peter W. V. Tran-Jørgensen / githubweb

#101 (Jun 2, 2017 7:08:25 PM)

  1. -  Another segfault bugfix. -  AlarmPP model now can be inspected using — Victor Bandur / githubweb

#100 (Jun 2, 2017 3:46:05 PM)

  1. -  Fixed critical bug causing non-reproducible crashes in the garbage — Victor Bandur / githubweb

#99 (Jun 2, 2017 2:13:08 PM)

  1. Omit address of result variable in GC calls — Peter W. V. Tran-Jørgensen / githubweb

#98 (Jun 2, 2017 12:02:38 PM)

  1. -  Removed GLib dependency, not used at all. -  Addresses #89. — Victor Bandur / githubweb
  2. -  New implementation of maps. -  Addresses #89. — Victor Bandur / githubweb

#97 (Jun 1, 2017 2:43:41 PM)

  1. Assertions for memory allocations and reallocations. — Victor Bandur / githubweb
  2. Adding assert statements for memory allocations and reallocations. — Victor Bandur / githubweb
  3. Adding assert statement for memory allocation. — Victor Bandur / githubweb
  4. Adding assert statements for memory allocations. — Victor Bandur / githubweb
  5. Adding assert statements for memory allocations and moves. — Victor Bandur / githubweb

#96 (May 31, 2017 4:07:49 PM)

  1. Wipe workspace after running build — Peter W. V. Tran-Jørgensen / githubweb
  2. Move workspace cleanup to 'finally' clause — Peter W. V. Tran-Jørgensen / githubweb

#95 (May 29, 2017 4:29:20 PM)

  1. Update RT transformation to replace RT nodes with empty blocks — Peter W. V. Tran-Jørgensen / githubweb

#94 (May 29, 2017 3:23:30 PM)

  1. -  Inserting assertions for memory allocation failures. -  Addresses — Victor Bandur / githubweb

#93 (May 16, 2017 11:48:12 AM)

  1. -  Improvements to GLib-based map implementation. -  Addresses #89. — Victor Bandur / githubweb

#92 (May 15, 2017 1:21:33 PM)

  1. Cleanup. — Victor Bandur / githubweb
  2. -  Fixed memory leak with sets. -  Rearranged failing test. — Victor Bandur / githubweb
  3. Emit default constructor for records to support ASN1 work — Peter W. V. Tran-Jørgensen / githubweb

#91 (May 11, 2017 1:59:21 PM)

  1. -  Fixed memory leak in sets. -  Addresses #89. — Victor Bandur / githubweb

#90 (May 10, 2017 6:16:44 PM)

  1. -  Fixed memory leak in maps. -  Addresses #89. — Victor Bandur / githubweb
  2. -  Fixed memory leak in sets. -  Addresses #89. — Victor Bandur / githubweb
  3. -  Reverted memory leak fix in sets as it does not appear with generated — Victor Bandur / githubweb

#89 (May 10, 2017 3:58:14 PM)

  1. Fix issue with include directives in main.c — Peter W. V. Tran-Jørgensen / githubweb

#88 (May 8, 2017 7:29:34 PM)

  1. Include identifier state designators in header analysis — Peter W. V. Tran-Jørgensen / githubweb

#87 (May 5, 2017 5:19:05 PM)

  1. Fix another issue with nested operation calls — Peter W. V. Tran-Jørgensen / githubweb

#86 (May 4, 2017 11:20:16 PM)

  1. Fix issue nested operation calls — Peter W. V. Tran-Jørgensen / githubweb

#85 (May 4, 2017 4:30:09 PM)

  1. -  Further improvements to sequence growing mechanisms. -  Addresses — Victor Bandur / githubweb

#84 (May 4, 2017 4:00:10 PM)

  1. Reverting accidental inclusion of testing code. — Victor Bandur / githubweb

#83 (May 4, 2017 3:56:46 PM)

  1. Only merge statement blocks when it's safe to do so — Peter W. V. Tran-Jørgensen / githubweb

#82 (May 4, 2017 3:54:19 PM)

  1. Expanded to accommodate up to six function and operation call — Victor Bandur / githubweb

#81 (May 4, 2017 2:21:44 PM)

  1. Fix for compatibility with FMU exporter. — Victor Bandur / githubweb
  2. -  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses — Victor Bandur / githubweb
  3. -  Eliminated compilation warning  due to parentheses. — Victor Bandur / githubweb

#80 (May 4, 2017 1:56:22 PM)

  1. Fix field look-up in FieldReadToFieldGetMacroTrans — Peter W. V. Tran-Jørgensen / githubweb

#79 (May 4, 2017 12:31:38 PM)

  1. Fix issue with CallRewriteTrans — Peter W. V. Tran-Jørgensen / githubweb

#78 (May 4, 2017 11:55:40 AM)

  1. -  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90. — Victor Bandur / githubweb

#77 (May 4, 2017 10:58:16 AM)

  1. -  Added cleaning phase for runtime library to Maven build cycle. - — Victor Bandur / githubweb

#76 (May 3, 2017 12:59:31 PM)

  1. Fix imports — Peter W. V. Tran-Jørgensen / githubweb

#75 (May 3, 2017 12:57:14 PM)

  1. Update runtime to support a larger number of function arguments — Peter W. V. Tran-Jørgensen / githubweb
  2. Assume that the address is passed to SELF_GC — Peter W. V. Tran-Jørgensen / githubweb
  3. Clean up PaperExampleTests — Peter W. V. Tran-Jørgensen / githubweb

#74 (May 3, 2017 11:32:03 AM)

  1. Add paper example tests — Peter W. V. Tran-Jørgensen / githubweb
  2. Add AlarmPP example sources for testing — Peter W. V. Tran-Jørgensen / githubweb
  3. Add CashDispenserPP model for future testing — Peter W. V. Tran-Jørgensen / githubweb

#73 (May 2, 2017 2:47:36 PM)

  1. Support map comprehensions — Peter W. V. Tran-Jørgensen / githubweb
  2. Test map comprehensions — Peter W. V. Tran-Jørgensen / githubweb

#72 (May 2, 2017 10:44:57 AM)

  1. Mention VDM2C documentation — noreply / githubweb

#71 (May 2, 2017 10:41:01 AM)

  1. Mention that the generated code is C89 compliant — noreply / githubweb

#70 (May 2, 2017 9:48:32 AM)

  1. Fix issue with 'new' expression transformation — Peter W. V. Tran-Jørgensen / githubweb

#69 (May 2, 2017 9:34:11 AM)

  1. Fix issue with for loop transformation — Peter W. V. Tran-Jørgensen / githubweb

#68 (May 1, 2017 2:55:23 PM)

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

#67 (May 1, 2017 2:27:17 PM)

  1. Add release notes for version 0.1.6 — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C version 0.1.6 — Peter W. V. Tran-Jørgensen / githubweb

#66 (May 1, 2017 10:56:20 AM)

  1. Make generated code C89 compliant — Peter W. V. Tran-Jørgensen / githubweb

#65 (Apr 28, 2017 4:09:06 PM)

  1. -  Including VdmRecord.h in Vdm.h. -  Addresses #21 — Victor Bandur / githubweb

#64 (Apr 27, 2017 4:51:52 PM)

  1. -  Changing comments to C89 style. -  Addresses #91. — Victor Bandur / githubweb
  2. Accounting for CUSTOM_IO definition in FMU export. — Victor Bandur / githubweb

#63 (Apr 27, 2017 2:45:44 PM)

  1. Add missing 'clone' call — Peter W. V. Tran-Jørgensen / githubweb
  2. Add missing type to constructor call — Peter W. V. Tran-Jørgensen / githubweb
  3. Approximate macro expression type — Peter W. V. Tran-Jørgensen / githubweb

#62 (Apr 26, 2017 3:18:15 PM)

  1. -  Further C89 improvements in runtime library. -  Addresses #91. — Victor Bandur / githubweb
  2. -  CMakeLists.txt file for generator tests now forces C99 dialect. - — Victor Bandur / githubweb

#61 (Apr 26, 2017 10:33:13 AM)

  1. Support map overrides, the '++' operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
  2. Support distributed map merge, the 'merge' operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
  3. Support distributed map-domain-restrict-to operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
  4. Support map-domain-restrict-by operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
  5. Change argument order for map-range operators — Peter W. V. Tran-Jørgensen / githubweb
  6. Support map-range-restrict-to operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
  7. Support map-range-restrict-by operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
  8. Remove TODO that does not really apply anymore — Peter W. V. Tran-Jørgensen / githubweb
  9. Add GC support for map override — Peter W. V. Tran-Jørgensen / githubweb
  10. Add GC support for distributed merge — Peter W. V. Tran-Jørgensen / githubweb
  11. Add GC support for map-dom-restrict-to — Peter W. V. Tran-Jørgensen / githubweb
  12. Add GC support for map-dom-resrict-by — Peter W. V. Tran-Jørgensen / githubweb
  13. Add GC support for map-range-restrict-to — Peter W. V. Tran-Jørgensen / githubweb
  14. Add GC support for map-restrict-range-by — Peter W. V. Tran-Jørgensen / githubweb

#60 (Apr 25, 2017 5:09:44 PM)

  1. -  Made runtime library code C99-compliant. -  Addresses #91. — Victor Bandur / githubweb

#59 (Apr 21, 2017 2:14:46 PM)

  1. Reverted "Cleanup" commit causing failure on build server. — Victor Bandur / githubweb

#58 (Apr 21, 2017 12:11:49 PM)

  1. Cleanup. — Victor Bandur / githubweb

#57 (Apr 21, 2017 11:00:09 AM)

  1. Add GC support for 'elems' — Peter W. V. Tran-Jørgensen / githubweb
  2. Add GC support for 'inds' — Peter W. V. Tran-Jørgensen / githubweb

#56 (Apr 21, 2017 9:53:04 AM)

  1. Don't pass addresses of "return" variables to garbage collector — Peter W. V. Tran-Jørgensen / githubweb

#55 (Apr 19, 2017 7:25:14 PM)

  1. Add GC support for 'newSetVarToGrowGC' — Peter W. V. Tran-Jørgensen / githubweb

#54 (Apr 19, 2017 7:20:54 PM)

  1. -  Improvement to GC stack variable interference detection mechanism. - — Victor Bandur / githubweb

#53 (Apr 19, 2017 5:19:52 PM)

  1. -  Fix for vdmSetVarToGrowGC crash. -  Addresses #87. — Victor Bandur / githubweb

#52 (Apr 19, 2017 12:30:17 PM)

  1. -  Enabled compiler warnings in runtime library. -  Cleanup based on — Victor Bandur / githubweb
  2. Enabled compiler warnings in generated code CMake file. — Victor Bandur / githubweb

#51 (Apr 18, 2017 6:40:27 PM)

  1. Add GC support for map look-ups — Peter W. V. Tran-Jørgensen / githubweb
  2. Convert tuple expressions to apply expressions — Peter W. V. Tran-Jørgensen / githubweb
  3. Add GC support for tuple expressions — Peter W. V. Tran-Jørgensen / githubweb
  4. Add GC support for tuple field access — Peter W. V. Tran-Jørgensen / githubweb
  5. Run value type tests with GC enabled — Peter W. V. Tran-Jørgensen / githubweb

#50 (Apr 18, 2017 5:29:46 PM)

  1. -  Modifications and test for GC support for sets. -  Addresses #87. — Victor Bandur / githubweb

#49 (Apr 18, 2017 3:05:36 PM)

  1. -  GC support for newSetVarToGrow. -  Addresses #87. — Victor Bandur / githubweb

#48 (Apr 17, 2017 9:14:42 PM)

  1. -  Set clone test in accordance with observation on generated AlarmPP — Victor Bandur / githubweb

#47 (Apr 17, 2017 7:34:58 PM)

  1. -  Fixed memory leak in maps. -  Addresses #87. — Victor Bandur / githubweb

#46 (Apr 16, 2017 4:37:08 PM)

  1. Mechanism that detects interference with current stack frame variables — Victor Bandur / githubweb

#45 (Apr 13, 2017 5:25:54 PM)

  1. Fix in vdmSetGrow in accordance with errors from valgrind. — Victor Bandur / githubweb

#44 (Apr 10, 2017 5:01:20 PM)

  1. Conditionally excluding PrettyPrint. — Victor Bandur / githubweb

#43 (Apr 10, 2017 3:54:31 PM)

  1. Interface cleanup for sets. — Victor Bandur / githubweb
  2. -  Interface cleanup for maps in runtime library. -  Addresses #87. — Victor Bandur / githubweb
  3. -  Interface cleanup for products in runtime library. -  Addresses #87. — Victor Bandur / githubweb

#42 (Apr 10, 2017 12:52:03 PM)

  1. Interface cleanup in runtime library for sequences. — Victor Bandur / githubweb

#41 (Apr 10, 2017 7:49:39 AM)

  1. Add GC support for map enumerations — Peter W. V. Tran-Jørgensen / githubweb
  2. Add GC support for 'dom' — Peter W. V. Tran-Jørgensen / githubweb
  3. Fix handling of 'newMapVarToGrowGC' — Peter W. V. Tran-Jørgensen / githubweb
  4. Add GC support for 'rng' — Peter W. V. Tran-Jørgensen / githubweb
  5. Clean up imports — Peter W. V. Tran-Jørgensen / githubweb
  6. Add GC support for 'munion' — Peter W. V. Tran-Jørgensen / githubweb
  7. Fix map enumerations, GC version — Peter W. V. Tran-Jørgensen / githubweb

#40 (Apr 9, 2017 10:39:15 PM)

  1. Add GC support for vdmSetElementAt (used by CForIterator) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add GC support for 'in set' — Peter W. V. Tran-Jørgensen / githubweb
  3. Add GC support for 'union' — Peter W. V. Tran-Jørgensen / githubweb
  4. Add GC support for 'inter' — Peter W. V. Tran-Jørgensen / githubweb
  5. Add GC support for '\' (set difference) — Peter W. V. Tran-Jørgensen / githubweb
  6. Add GC support for 'subset' — Peter W. V. Tran-Jørgensen / githubweb
  7. Add GC support for 'psubset' — Peter W. V. Tran-Jørgensen / githubweb
  8. Add GC support for 'card' — Peter W. V. Tran-Jørgensen / githubweb
  9. Add GC support for 'dunion' — Peter W. V. Tran-Jørgensen / githubweb
  10. Add GC support for 'dinter' — Peter W. V. Tran-Jørgensen / githubweb
  11. Add GC support for 'power' — Peter W. V. Tran-Jørgensen / githubweb

#39 (Apr 7, 2017 10:08:24 PM)

  1. Refactor collection enumeration transformation — Peter W. V. Tran-Jørgensen / githubweb
  2. Transform set enumerations to apply expressions — Peter W. V. Tran-Jørgensen / githubweb
  3. Update garbage collection transformation to handle newSetVar — Peter W. V. Tran-Jørgensen / githubweb
  4. Add GC support for 'tl' — Peter W. V. Tran-Jørgensen / githubweb
  5. Add GC support for 'len' — Peter W. V. Tran-Jørgensen / githubweb
  6. Add GC support for 'hd' — Peter W. V. Tran-Jørgensen / githubweb
  7. Add GC support for sequence concatenation — Peter W. V. Tran-Jørgensen / githubweb
  8. Add GC support for 'reverse' — Peter W. V. Tran-Jørgensen / githubweb
  9. Clean up apply template — Peter W. V. Tran-Jørgensen / githubweb
  10. Add GC support for sequence look-up — Peter W. V. Tran-Jørgensen / githubweb

#38 (Apr 7, 2017 5:28:19 PM)

  1. -  Pretty printing support for products (tuples). -  Addresses #88. — Victor Bandur / githubweb

#37 (Apr 7, 2017 4:52:36 PM)

  1. Eliminated some compiler warnings related to const qualifiers on — Victor Bandur / githubweb
  2. -  GC interface for products. -  Addresses #87. — Victor Bandur / githubweb

#36 (Apr 7, 2017 3:51:05 PM)

  1. -  Missing declarations. -  Fix for mismatched va_arg. — Victor Bandur / githubweb
  2. -  Memory leak fixes for maps. -  Addresses # 87. — Victor Bandur / githubweb

#35 (Apr 6, 2017 5:54:53 PM)

  1. WIP GC support for maps in runtime library. — Victor Bandur / githubweb
  2. WIP GC support for maps. -  GC interface for implemented. -  vdmFree — Victor Bandur / githubweb
  3. WIP GC support for maps. -  vdmClone implemented. — Victor Bandur / githubweb
  4. Initial complete GC support for maps for non-GLib hash table branch. — Victor Bandur / githubweb
  5. WIP GC support for maps with GLib hash table implementation. — Victor Bandur / githubweb
  6. GC support for newMapVarToGrow. — Victor Bandur / githubweb

#34 (Apr 5, 2017 8:10:25 PM)

  1. Print C output folder as the last step — Peter W. V. Tran-Jørgensen / githubweb
  2. Change NameMangler to not report errors for unsupported types — Peter W. V. Tran-Jørgensen / githubweb
  3. Remove header files if the corresponding C sources cannot be generated — Peter W. V. Tran-Jørgensen / githubweb
  4. Ensure folder structure when file is emitted — Peter W. V. Tran-Jørgensen / githubweb

#33 (Apr 5, 2017 1:30:41 PM)

  1. WIP GC support for sets. — Victor Bandur / githubweb
  2. Head file cleanup. — Victor Bandur / githubweb
  3. Added set-valued functions. — Victor Bandur / githubweb

#32 (Apr 4, 2017 1:18:26 PM)

  1. Remove declaration templates that are not used — Peter W. V. Tran-Jørgensen / githubweb
  2. Clean up expression templates — Peter W. V. Tran-Jørgensen / githubweb
  3. Clean up statement templates — Peter W. V. Tran-Jørgensen / githubweb
  4. Clean up type templates — Peter W. V. Tran-Jørgensen / githubweb

#31 (Apr 4, 2017 11:07:40 AM)

  1. Remove redundant test — Peter W. V. Tran-Jørgensen / githubweb
  2. Remove test code that is not used anymore — Peter W. V. Tran-Jørgensen / githubweb
  3. Ensure that test models are type correct — Peter W. V. Tran-Jørgensen / githubweb

#30 (Apr 3, 2017 2:19:59 PM)

  1. Convert sequence enumerations to apply expressions — Peter W. V. Tran-Jørgensen / githubweb
  2. Update garbage collection transformation to handle sequences — Peter W. V. Tran-Jørgensen / githubweb

#29 (Apr 3, 2017 12:46:55 PM)

  1. Initial runtime support for creation of GC compatible sequences. — Victor Bandur / githubweb
  2. -  Almost complete support for GC-compatible sequences. -  Missing — Victor Bandur / githubweb

#28 (Mar 31, 2017 4:44:22 PM)

  1. Test code-generation of tokens — Peter W. V. Tran-Jørgensen / githubweb

#27 (Mar 31, 2017 3:24:25 PM)

  1. Update VDM2C CLI to accept VDM++ files — Peter W. V. Tran-Jørgensen / githubweb
  2. Update test file filter — Peter W. V. Tran-Jørgensen / githubweb

#26 (Mar 31, 2017 1:22:53 PM)

  1. Conditionally including ctype.h for use in CSV library. — Victor Bandur / githubweb
  2. Code cleanup. — Victor Bandur / githubweb
  3. Noticed and fixed bug that allocated a lot more memory than necessary — Victor Bandur / githubweb
  4. Factored out unpackstring utility function for use with token types. — Victor Bandur / githubweb
  5. WIP adding token type support. — Victor Bandur / githubweb
  6. WIP support for token types. — Victor Bandur / githubweb
  7. Runtime library support for token types. — Victor Bandur / githubweb

#25 (Mar 31, 2017 9:20:56 AM)

  1. Pass 'this' to field initialisers — Peter W. V. Tran-Jørgensen / githubweb

#24 (Mar 30, 2017 2:11:54 PM)

  1. Move bool conversion to comprehension strategies — Peter W. V. Tran-Jørgensen / githubweb
  2. Add support for forall (quantified) expressions — Peter W. V. Tran-Jørgensen / githubweb
  3. Test translation of forall (quantified expressions) — Peter W. V. Tran-Jørgensen / githubweb
  4. Support 'exists' quantified expressions — Peter W. V. Tran-Jørgensen / githubweb
  5. More testing of 'forall' and 'exists' — Peter W. V. Tran-Jørgensen / githubweb

#23 (Mar 30, 2017 10:10:41 AM)

  1. Convert tokens to apply expressions — Peter W. V. Tran-Jørgensen / githubweb
  2. Update garbage collection transformation to handle tokens — Peter W. V. Tran-Jørgensen / githubweb
  3. Fix handling of token values in literal transformation — Peter W. V. Tran-Jørgensen / githubweb

#22 (Mar 29, 2017 3:21:45 PM)

  1. Refactor test code — Peter W. V. Tran-Jørgensen / githubweb
  2. Mangle token types — Peter W. V. Tran-Jørgensen / githubweb
  3. Update CompatibleMethodCollector to handle pre and postcondition — Peter W. V. Tran-Jørgensen / githubweb
  4. Remove packaging phase from Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb

#21 (Mar 28, 2017 4:30:55 PM)

  1. Update to CMake file with respect to including VdmModelFeatures.h file. — Victor Bandur / githubweb

#20 (Mar 17, 2017 5:32:52 PM)

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

#19 (Mar 17, 2017 4:55:46 PM)

  1. Add VDM2C 0.1.4 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.4 — Peter W. V. Tran-Jørgensen / githubweb

#18 (Mar 14, 2017 2:41:15 PM)

  1. Reverted mistakenly commented out CALL_FUNC macro definition using — Victor Bandur / githubweb

#17 (Mar 10, 2017 11:49:47 AM)

  1. README corrections — noreply / githubweb

#16 (Mar 10, 2017 11:42:57 AM)

  1. Add build status — noreply / githubweb

#15 (Mar 10, 2017 11:30:02 AM)

  1. Clean up README — noreply / githubweb

#14 (Mar 10, 2017 11:28:20 AM)

  1. Update README to mention important wiki pages — noreply / githubweb

#13 (Mar 10, 2017 10:42:48 AM)

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

#12 (Mar 10, 2017 10:09:54 AM)

  1. Add VDM2C 0.1.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.2 — Peter W. V. Tran-Jørgensen / githubweb

#11 (Mar 8, 2017 3:20:51 PM)

  1. Making global variable for resources location available also when the — Victor Bandur / githubweb

#10 (Mar 6, 2017 3:19:25 PM)

  1. Fix for "comparision to string literal" warning on ATMega128. — Victor Bandur / githubweb

#9 (Mar 3, 2017 3:02:21 PM)

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

#8 (Mar 3, 2017 1:37:36 PM)

  1. Add VDM2C version number to generated code — Peter W. V. Tran-Jørgensen / githubweb
  2. Add VDM2C version 0.1.0 release notes — Peter W. V. Tran-Jørgensen / githubweb
  3. Prepare release of VDM2C 0.1.0 — Peter W. V. Tran-Jørgensen / githubweb

#7 (Mar 2, 2017 5:14:45 PM)

  1. Fixed CSV library to read resource files properly, whether in — Victor Bandur / githubweb

#6 (Mar 1, 2017 6:55:17 PM)

  1. Some cleanup based on pedantic warnings from the compiler during the — Victor Bandur / githubweb
  2. Fix pointer comparison in mechanism that delays reclamation in case of — Victor Bandur / githubweb

#5 (Feb 28, 2017 3:42:39 PM)

  1. Remove unused include time.h. — Victor Bandur / githubweb

#4 (Feb 28, 2017 2:18:06 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. Fix in pointer assignment inside collection function according to test — Victor Bandur / githubweb
  20. Clean up LogicTrans — Peter W. V. Tran-Jørgensen / githubweb
  21. Construct numeric expressions as apply expressions — Peter W. V. Tran-Jørgensen / githubweb
  22. Introduce CGenSettings — Peter W. V. Tran-Jørgensen / githubweb
  23. Initial work on a garbage collection transformation — Peter W. V. Tran-Jørgensen / githubweb
  24. Update VDM2C CLI with GC option — Peter W. V. Tran-Jørgensen / githubweb
  25. Upgrade GarbageCollectionTrans to handle numeric comparison — Peter W. V. Tran-Jørgensen / githubweb
  26. Update GarbageColllectionTrans to handle equality — Peter W. V. Tran-Jørgensen / githubweb
  27. Clean up ValueSemantics — Peter W. V. Tran-Jørgensen / githubweb
  28. Update GarbageCollectionTrans to emit vdmCloneCG — Peter W. V. Tran-Jørgensen / githubweb
  29. Update GarbageCollectionTrans to emit GET_FIELD_GC — Peter W. V. Tran-Jørgensen / githubweb
  30. Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC — Peter W. V. Tran-Jørgensen / githubweb
  31. -  Changed vdmFree and the GC so that they do not interfere with each — Victor Bandur / githubweb
  32. Updated GC shutdown procedure with better cleanup for compatibility with — Victor Bandur / githubweb
  33. Removed unused vdmNotEqual and vdmNotEqualGC functions. — Victor Bandur / githubweb
  34. Removed vdmNotEqual test. — Victor Bandur / githubweb
  35. Added missing function headers for vdmAnd etc. — Victor Bandur / githubweb
  36. Removed unused nat, nat1 and int1 functions. — Victor Bandur / githubweb
  37. Update LogicTrans to handle vdmXor — Peter W. V. Tran-Jørgensen / githubweb
  38. update GarbageCollectionTrans to handle boolean binary expressions — Peter W. V. Tran-Jørgensen / githubweb
  39. Fix handling of field accessors in GarbageCollectionTrans — Peter W. V. Tran-Jørgensen / githubweb
  40. Implementation of SET_FIELD_GC(). — Victor Bandur / githubweb
  41. Update GarbageCollectionTrans to handle setters — Peter W. V. Tran-Jørgensen / githubweb
  42. Update GarbageCollectionTrans to not handle field initializer — Peter W. V. Tran-Jørgensen / githubweb
  43. Add fixture class to manage garbage collection during testing — Peter W. V. Tran-Jørgensen / githubweb
  44. Run NativeClasses tests with garbage collection turned on — Peter W. V. Tran-Jørgensen / githubweb
  45. Run Native tests with garbage collection turned on — Peter W. V. Tran-Jørgensen / githubweb
  46. Modified generated main.c file to include calls to vdm_gc_init() and — Victor Bandur / githubweb
  47. Update GarbageCollectionTrans to use regular GET/SET in field — Peter W. V. Tran-Jørgensen / githubweb
  48. Add case study submodules — Peter W. V. Tran-Jørgensen / githubweb
  49. Fix generation of call to default super constructor — Peter W. V. Tran-Jørgensen / githubweb
  50. Fix in the collector that avoids interference between references to — Victor Bandur / githubweb
  51. Guard against null pointers — Peter W. V. Tran-Jørgensen / githubweb
  52. Add case study model compilation regression testing — Peter W. V. Tran-Jørgensen / githubweb
  53. Work on restructuring the runtime library so that unused parts can be — Victor Bandur / githubweb
  54. Additional includes to Vdm.h needed for generated code, not for the rest — Victor Bandur / githubweb
  55. Add 'set' feature analysis — Peter W. V. Tran-Jørgensen / githubweb
  56. Add 'seq/seq1` feature analysis — Peter W. V. Tran-Jørgensen / githubweb
  57. Add `map`/`inmap` feature analysis — Peter W. V. Tran-Jørgensen / githubweb
  58. Integrate all feature analyses and detect use of VDM libraries — Peter W. V. Tran-Jørgensen / githubweb
  59. Test feature analyses — Peter W. V. Tran-Jørgensen / githubweb
  60. Translate feature files to C definitions — Peter W. V. Tran-Jørgensen / githubweb
  61. Update CGen to support feature analysis — Peter W. V. Tran-Jørgensen / githubweb
  62. Update VDM2C CLI to generate the feature file — Peter W. V. Tran-Jørgensen / githubweb
  63. Add feature analysis for patterns — Peter W. V. Tran-Jørgensen / githubweb
  64. Check that use of patterns is detected — Peter W. V. Tran-Jørgensen / githubweb
  65. Add feature analysis for products — Peter W. V. Tran-Jørgensen / githubweb
  66. Test that the feature analysis for products works — Peter W. V. Tran-Jørgensen / githubweb
  67. Emit missing NO_PRODUCTS definition — Peter W. V. Tran-Jørgensen / githubweb
  68. Add feature analysis for records — Peter W. V. Tran-Jørgensen / githubweb
  69. Test that the feature analysis for records works — Peter W. V. Tran-Jørgensen / githubweb
  70. Update the feature analysis to take GC into account — Peter W. V. Tran-Jørgensen / githubweb
  71. Update the VDM2C plugin to emit VdmModelFeatures.h — Peter W. V. Tran-Jørgensen / githubweb
  72. Update the VDM2C plugin to use GC by default — Peter W. V. Tran-Jørgensen / githubweb
  73. Runtime support for self expressions. — Victor Bandur / githubweb
  74. GC suffix typo. — Victor Bandur / githubweb
  75. Use SELF macro to represent self expressions — Peter W. V. Tran-Jørgensen / githubweb
  76. Update GC to handle self expressions — Peter W. V. Tran-Jørgensen / githubweb
  77. Exclusion of runtime tests based on VdmModelFeatures.h file. — Victor Bandur / githubweb
  78. Exclusion of pattern matching based on VdmModelFeatures.h file. — Victor Bandur / githubweb
  79. Excluding maps from the runtime library based on VdmModelFeatures.h — Victor Bandur / githubweb
  80. Exclusion of products and the CSV library, which depends on products, — Victor Bandur / githubweb
  81. Fix to exclusion of products and CSV library based on VdmModelFeatures.h — Victor Bandur / githubweb
  82. Exclude maps from pattern mechanism based on VdmModelFeatures.h file. — Victor Bandur / githubweb
  83. Exclusion of sequences and sets according to VdmModelFeatures.h file and — Victor Bandur / githubweb
  84. Exclusion of RecordType based on VdmModelFeatures.h file. — Victor Bandur / githubweb
  85. Exclusion of MATH library based on VdmModelFeatures.h file. — Victor Bandur / githubweb
  86. Exclusion of IO library based on VdmModelFeatures.h file. — Victor Bandur / githubweb
  87. Fix issue with CSV detection — Peter W. V. Tran-Jørgensen / githubweb
  88. Add empty VdmModelFeatures.h file for testing purposes — Peter W. V. Tran-Jørgensen / githubweb
  89. Fix map, sequence and sets exclusion logic in generator — Peter W. V. Tran-Jørgensen / githubweb
  90. -  Fixes after change to resrouces level VdmModelFeatures.h file. - — Victor Bandur / githubweb
  91. Use Email-ext to notify on build failures — Peter W. V. Tran-Jørgensen / githubweb
  92. Extra CALL_FUNC macros and type cast fixes.  Addresses #72. — Victor Bandur / githubweb
  93. Method-level exclusion of sequence-based operations from IO library — Victor Bandur / githubweb
  94. Exclusion of sets from sequences based on VdmModelFeatures.h file. — Victor Bandur / githubweb
  95. First implementation of mechanism for calling the GC automatically. — Victor Bandur / githubweb
  96. Disabling auto GC calling feature for further development. — Victor Bandur / githubweb

#3 (Feb 17, 2017 1:26:49 PM)

  1. Remove release procedure from README — Peter W. V. Tran-Jørgensen / githubweb
  2. Remove development environment description from README — Peter W. V. Tran-Jørgensen / githubweb

#2 (Feb 17, 2017 10:32:15 AM)

  1. Update Jenkinsfile to initialize submodules — Peter W. V. Tran-Jørgensen / githubweb