Started 5 yr 3 mo ago
Took 16 min

Success Build #141 (Oct 5, 2017 10:42:08 AM)

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

Push event to branch development at 10:42:01 on 05-Oct-2017

Revision: 82cfe74bb2713c6021a7b05e1a240cc4580b07eb
  • development
Task Scanner: 28 open tasks in 107 workspace files.
    Task Scanner: 26 open tasks in 96 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      Task Scanner: 28 open tasks in 162 workspace files.
        Task Scanner: 28 open tasks in 107 workspace files.