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

Changes

#10 (Nov 22, 2018 1:13:34 PM)

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

#9 (Feb 14, 2018 12:26:53 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. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
  32. -  Product test for (int * char) * int. -  Addresses #108. — Victor Bandur / githubweb
  33. -  Dummy VdmClassHierarchy.h file for runtime library testing. - — Victor Bandur / githubweb
  34. -  Runtime library support for isofbaseclass. -  Addresses #108. — Victor Bandur / githubweb
  35. -  Runtime library support for samebaseclass. -  Addresses #108. — Victor Bandur / githubweb
  36. Class association should not consider standard library classes — Peter W. V. Tran-Jørgensen / githubweb
  37. Update distribution code-generator to emit class association file — Peter W. V. Tran-Jørgensen / githubweb
  38. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - — Victor Bandur / githubweb
  39. -  Map composition support in the runtime library. -  Addresses #108. — Victor Bandur / githubweb
  40. -  GC version of map composition in the runtime library. -  Addresses — Victor Bandur / githubweb
  41. -  Map iteration support in the runtime library. -  Addresses #108. — Victor Bandur / githubweb
  42. -  Reducing flash footprint. -  Addresses #120. — Victor Bandur / githubweb
  43. -  Support for is seq1. -  Addresses #108. — Victor Bandur / githubweb
  44. -  Support for is set1 type queries. -  More tests for is seq1. - — Victor Bandur / githubweb
  45. -  Runtime support for is map queries. -  Addresses #108. — Victor Bandur / githubweb
  46. Add initial support for type encoding #108 — Peter W. V. Tran-Jørgensen / githubweb
  47. Code cleanup, comments. — Victor Bandur / githubweb
  48. Update type encoder to support set1, seq1 and map — Peter W. V. Tran-Jørgensen / githubweb
  49. -  Reduction in flash footprint:  maps. -  Addresses #120. — Victor Bandur / githubweb
  50. Address wrong assumption in the distributed code-generator — Peter W. V. Tran-Jørgensen / githubweb
  51. -  Flash footprint reduction, sequences. -  Addresses #120. — Victor Bandur / githubweb
  52. -  Flash footprint reduction, sets. -  Addresses #120. — Victor Bandur / githubweb
  53. -  Eliminating some compiler warnings in distribution runtime. - — Victor Bandur / githubweb
  54. -  Bugfix. -  Addresses #120. — Victor Bandur / githubweb
  55. -  WIP runtime library support for optional types encoding. -  Addresses — Victor Bandur / githubweb
  56. -  Runtime library support for is queries on optional types. - — Victor Bandur / githubweb
  57. -  Runtime support for eliminating is queries based on NO_IS flag. - — Victor Bandur / githubweb
  58. Emit NO_IS flag in model features file #108 — Peter W. V. Tran-Jørgensen / githubweb
  59. Support exists1 quantifier #108 — Peter W. V. Tran-Jørgensen / githubweb
  60. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. — Victor Bandur / githubweb
  61. Support preconditions #108 — Peter W. V. Tran-Jørgensen / githubweb
  62. Support encoding of optional types #108 — Peter W. V. Tran-Jørgensen / githubweb
  63. Temporarily build against Overture 2.5.3-SNAPSHOT — Peter W. V. Tran-Jørgensen / githubweb
  64. Update VDM2C to work with newest Overture — Peter W. V. Tran-Jørgensen / githubweb
  65. Support map iteration #108 — Peter W. V. Tran-Jørgensen / githubweb
  66. Support map composition #108 — Peter W. V. Tran-Jørgensen / githubweb
  67. Support iota #108 — Peter W. V. Tran-Jørgensen / githubweb
  68. Support non-deterministic statements #108 — Peter W. V. Tran-Jørgensen / githubweb
  69. Support isofbaseclass #108 — Peter W. V. Tran-Jørgensen / githubweb
  70. Support isofclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  71. Support samebaseclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  72. Support sameclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  73. -  Typo in type encoding in test. -  Addresses #108. — Victor Bandur / githubweb
  74. Work on checking union types in is_ expressions #108 — Peter W. V. Tran-Jørgensen / githubweb
  75. Emit type encoding for is_* checks #108 — Peter W. V. Tran-Jørgensen / githubweb
  76. Fix two issues in IsExpUnionTypeFinder #108 — Peter W. V. Tran-Jørgensen / githubweb
  77. Support union types in is_* expressions #108 — Peter W. V. Tran-Jørgensen / githubweb
  78. Fix memory leak in field initializers — Peter W. V. Tran-Jørgensen / githubweb
  79. Fix index issue in "for all" loops — Peter W. V. Tran-Jørgensen / githubweb
  80. -  Fixed bugs in runtime library OO support. -  isofclass is both — Victor Bandur / githubweb
  81. -  Fixed bug with exclusion of class inheritance header file. - — Victor Bandur / githubweb
  82. -  Minor refinement to exclusion mechanism. -  Addresses #108. — Victor Bandur / githubweb
  83. Use Overture 2.5.4 — Peter W. V. Tran-Jørgensen / githubweb
  84. Fix clean up in OOChecks test — Peter W. V. Tran-Jørgensen / githubweb
  85. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses — Victor Bandur / githubweb
  86. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - — Victor Bandur / githubweb
  87. Further speed and size improvements in GC versions of operations. — Victor Bandur / githubweb
  88. Emit GC versions of class constructors #124 — Peter W. V. Tran-Jørgensen / githubweb
  89. Tag constructor calls in CallRewriteTrans #124 — Peter W. V. Tran-Jørgensen / githubweb
  90. -  Memory leak fixes. -  Addresses #108. — Victor Bandur / githubweb
  91. -  WIP removing traces of source variable from garbage collector. - — Victor Bandur / githubweb
  92. -  Removed ref_from element of TVP and associated GC machinery. - — Victor Bandur / githubweb
  93. Distributed code-generator fix — Peter W. V. Tran-Jørgensen / githubweb
  94. Handle vdm2c build jobs in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
  95. Fix deployment, skip tests temporarily — Peter W. V. Tran-Jørgensen / githubweb
  96. Re-enable testing in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
  97. -  Unused variable cleanup. -  Addresses #123. — Victor Bandur / githubweb
  98. Format Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
  99. Fix assignments to static fields #122 — Peter W. V. Tran-Jørgensen / githubweb
  100. -  Addition of newSeqVarToGrowGC. -  Addresses #125. — Victor Bandur / githubweb
  101. Emit newSeqVarToGrowGC — Peter W. V. Tran-Jørgensen / githubweb
  102. -  Added comment to each runtime library file about the version of VMD2C — Victor Bandur / githubweb
  103. -  Added missing function declaration. -  Addresses #125. — Victor Bandur / githubweb
  104. -  Fixed problem with vdmSeqGrow and values passed under GC control. - — Victor Bandur / githubweb
  105. Fix for problem with vdmSetGrow when under GC control. — Victor Bandur / githubweb
  106. Fixed memory leak in vdmSeqInds. — Victor Bandur / githubweb
  107. Fixed memory leak in records. — Victor Bandur / githubweb
  108. Fixed memory leak with records. — Victor Bandur / githubweb
  109. -  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126. — Victor Bandur / githubweb
  110. Add generator support for `vdmSetEnumerateSetOfIntsGC` — Peter W. V. Tran-Jørgensen / githubweb
  111. -  Committing omitted header file. -  Addresses #126. — Victor Bandur / githubweb
  112. Uninitialized variable warnings in maps, runtime. — Victor Bandur / githubweb
  113. Add v0.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
  114. Prepare release of VDM2C v0.2.0 — Peter W. V. Tran-Jørgensen / githubweb
  115. Adjust version number in v0.2.0 release notes — Peter W. V. Tran-Jørgensen / githubweb
  116. [maven-release-plugin] prepare release Release/0.2.0 — jenkins / githubweb

#8 (Oct 5, 2017 11:50:21 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 for next development iteration — jenkins / githubweb
  121. Clean Up — Miran / githubweb
  122. Minor update for distribution tests — Miran / githubweb
  123. -  Increased coverage of basic precondition checks on map and sequence — Victor Bandur / githubweb
  124. Fixes bug with setting correct buffer size in collections. — Victor Bandur / githubweb
  125. Moved distribution library to separate maven project — Miran / githubweb
  126. Updated distribution library for C89 compliance — Miran / githubweb
  127. Changed distribution test to use FIFOs — Miran / githubweb
  128. Changed distribution tests to use FIFOs for communication — Miran / githubweb
  129. Improvement of distribution tests timing — Miran / githubweb
  130. kill subprocess of cpu2 after test — Miran / githubweb
  131. only run one test of distribution — Miran / githubweb
  132. Enable another test for distribution — Miran / githubweb
  133. Updated IDE with better separation of code emission between distributed — Miran / githubweb
  134. Do not run Quotes test — Miran / githubweb
  135. test new timing improvments for distributed tests — Miran / githubweb
  136. Enable all test with new approach for timing — Miran / githubweb
  137. new test try for distribution — Miran / githubweb
  138. Commit to rerun test — Miran / githubweb
  139. Fix typo in CMake file — Peter W. V. Tran-Jørgensen / githubweb
  140. Add -D_GNU_SOURCE flag to CMake file — Peter W. V. Tran-Jørgensen / githubweb
  141. Improved timing support for distribution tests — Miran / githubweb
  142. Assert that FIFOs can be created and cleaned up afterwards. — Miran / githubweb
  143. cleap up comments — Miran / githubweb
  144. Removed irrelevant comment — Miran / githubweb
  145. Removed irrelevant comment — Miran / githubweb
  146. Removed debug print from distribution test — Miran / githubweb
  147. Clean up distribution tests — Miran / githubweb
  148. Improve assert error message. — Miran / githubweb
  149. Add release notes for VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
  150. Prepare release of VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
  151. [maven-release-plugin] prepare release Release/0.1.16 — jenkins / githubweb

#7 (Sep 18, 2017 5:58:29 PM)

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

#6 (Sep 11, 2017 2:39:36 PM)

  1. Strict comparison for NULL values. — Victor Bandur / githubweb
  2. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
  3. Set log level to ERROR — Peter W. V. Tran-Jørgensen / githubweb
  4. Guard against non-existing super headers — Peter W. V. Tran-Jørgensen / githubweb
  5. Add runtime support for sequence modifications (explicit version) — Peter W. V. Tran-Jørgensen / githubweb
  6. Allowing maps when sequences are used due to sequence modification. — Victor Bandur / githubweb
  7. -  Formatting. -  Addresses #107. — Victor Bandur / githubweb
  8. -  Garbage collection version of sequence modification. -  Addresses — Victor Bandur / githubweb
  9. -  Fix collection grow issue for sets. -  Addresses #106. — Victor Bandur / githubweb
  10. -  Removing variable length arrays to accommodate the Visual C compiler. — 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
  15. [maven-release-plugin] prepare release Release/0.1.10 — jenkins / githubweb
  16. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
  17. Build against Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb
  18. Add VDM2C 0.1.12 release notes — Peter W. V. Tran-Jørgensen / githubweb
  19. Prepare release of VDM2C 0.1.12 — Peter W. V. Tran-Jørgensen / githubweb
  20. [maven-release-plugin] prepare release Release/0.1.12 — jenkins / githubweb

#5 (Jul 1, 2017 11:29:27 PM)

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

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

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

#3 (Mar 17, 2017 6:03:53 PM)

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

#2 (Mar 10, 2017 11:12:58 AM)

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