SuccessChanges

Summary

  1. Uncommented generation of individual system definition (commit: dc72732) (details)
  2. Changed the quote id generation from using name hashcode to using a (commit: 3abd921) (details)
  3. Initial work for generating system definition pr. cpu (commit: b888081) (details)
  4. Generate individual DM for each cpu (commit: aa62cc7) (details)
  5. Let counter start from one for each distributed object (commit: de58b91) (details)
  6. Fix minor problems introduced by the merge with vpb/development (commit: e5b43c9) (details)
  7. Initial work for dispatcher (commit: 3a80298) (details)
  8. Add new external node for creating the distribution map (commit: 8541984) (details)
  9. Generate the System architecture maps to string version (commit: a7571a4) (details)
  10. Initial work for bus dispatcher (commit: 3a7e706) (details)
  11. Generate the string version maps (commit: bce95d5) (details)
  12. Updated the testing node for distribution (commit: b63961f) (details)
  13. Add new parameter for the sendBus functionality (commit: 3852950) (details)
  14. Initial version of the GetRes functionality (commit: 5e6f11f) (details)
  15. Added flag for indicating if distribution generation is needed (commit: d9c6b47) (details)
  16. Minor update + additional comments (commit: 7c4a14d) (details)
  17. Updates for resolve call function distpacher (commit: f478d48) (details)
  18. Minor name fix (commit: fb1a871) (details)
  19. Use the correct object name (commit: 731c131) (details)
  20. get all classes used in the VDM-RT model (commit: 1067767) (details)
  21. Added the macro wrapper function used to resolve a remote call (commit: 833fbff) (details)
  22. Initial work for inheritance for distribution (commit: 62b9761) (details)
  23. Initial support for inheritance dispatching for distribution (commit: bf40b71) (details)
  24. Updated VDM library parts used for distribution (commit: c77ecd1) (details)
  25. Minor fixes (commit: 577cec8) (details)
  26. Comment distribtion parts for VDM lib out (commit: 977e074) (details)
  27. Updated distributed code generator to use the new interface (commit: bb9c1d7) (details)
  28. Added the distribution code generation as a command line argument (commit: cc06e39) (details)
  29. added local declaration of args (commit: a3a286a) (details)
  30. Added function call to statement of send_bus function (commit: b6ddb38) (details)
  31. Uncomment distribution addition in the vdm library (commit: 24b25d3) (details)
  32. Refactoring writeFile code (commit: 46da25f) (details)
  33. Minor updated of transformation used for testing (commit: b04e70c) (details)
  34. Use absolute path of output directory (commit: f0ad43f) (details)
  35. Initial test set up for distribution (only generate files) (commit: 9de1b8e) (details)
  36. Use overture formatter + either generate distribution or sequential (commit: 1932c2b) (details)
  37. Minor clean up (commit: c21ba75) (details)
  38. Added time limit for run during testing (commit: 1a655bf) (details)
  39. Add inclusion of the user specific header during run-time (commit: ff81edd) (details)
  40. Updated test1 and add run-time ressources (commit: 60790e3) (details)
  41. Minor updated to the include transformation (commit: 6f50661) (details)
  42. Run test with the executable and updated test resource for the main (commit: a1c8202) (details)
  43. ressources for cpu2 in test1 added (commit: f6e58a9) (details)
  44. Updated test to use the new resources for cpu2 (commit: f4050ae) (details)
  45. Added test for the system analysis generator (commit: 084a8ed) (details)
  46. Added test for distribution using ASN1 (commit: af789e2) (details)
  47. Add arguments to DIST_CALL macro using proper index numbers (commit: 3ff08da) (details)
  48. Added test of asn serialisation of arguments and return type (commit: cc7a746) (details)
  49. Fix to the generate send bus transformation, skip if there is no bus (commit: 4c7d12b) (details)
  50. Initial version of a Cpu init function (commit: 129805e) (details)
  51. Added test of correct assignment of cpu init functionality (commit: 880b66c) (details)
  52. Initial update of the runtime for the new distributed dispatching (commit: ebfcd36) (details)
  53. Removed unused automatically generated files (commit: 2d610bb) (details)
  54. New transformation for transforming a remote object representation using (commit: 8acebdd) (details)
  55. Use the remote object transformation, and do not use the specific ID and (commit: bf1bc85) (details)
  56. Updated tests to use the garbage collector (commit: 71217c4) (details)
  57. Added test for quotes and bool serialisation run-time (commit: de3f87f) (details)
  58. Minor fix with output testpath (commit: c080630) (details)
  59. Added IR notes used for the distributed code generator (commit: 8bfc1cd) (details)
  60. Minor fix for quotes serialization using ASN.1 (commit: 09ee5b5) (details)
  61. Improved test feedback for distributed test (commit: debf6da) (details)
  62. Updated additional test for garbage collector together with feedback. (commit: 2a50cd7) (details)
  63. Updated CMake configuration to use the automatically generated VDM (commit: 133e819) (details)
  64. Removed unsed files (commit: ff40f86) (details)
  65. Added check of classHeader type before casting (commit: 5dbba89) (details)
  66. Clean up and refactoring of the architecture analysis (commit: 79bcf56) (details)
  67. Clean up of distribution transformation series (commit: 13bf26b) (details)
  68. Refactoring of code, initial for method arguments (commit: a847a62) (details)
  69. Refactoring of identifier expressions (commit: 5e2d1ec) (details)
  70. Clean up code (commit: 1ec1546) (details)
  71. Refactoring and clean up of method for remote invocation handling (commit: 2eaaa65) (details)
  72. Clean up of distribution macro transformation (commit: e9f1630) (details)
  73. Minor code clean up of remote object transformarion (commit: 0cf20d2) (details)
  74. Refactoring and code clean up of class dispatcher function (commit: ee90e4b) (details)
  75. Removed unused imports (commit: 90e8bdb) (details)
  76. Clean up (commit: 7fb6d4f) (details)
  77. Removed unused comment (commit: e909542) (details)
  78. Remove time check (commit: 0188de0) (details)
  79. Added cmake functionality windows and linux in distribution tests (commit: 4c24356) (details)
  80. Detect cmake correctly across all platforms (commit: 6aadcd6) (details)
  81. Use absolute path to VDM lib during distribution testing (commit: 731fdaa) (details)
  82. Fix CMakeLists.txt files for ASN test (commit: d63dd97) (details)
  83. Updated CMake file to fix Linux problem (commit: 07a3e61) (details)
  84. Fix a problem with capital letter in path causing problems in Linux (commit: 5593364) (details)
  85. Fixed run-time de-serialization of a boolean value (commit: 4f2b52c) (details)
  86. Added automatic detection if distribution code generation is needed, and (commit: 8c1e3f6) (details)
  87. Moved the generation of files to the CGen instead of the CGenMain (commit: 7fa5f60) (details)
  88. Initial setup of Eclipse plug-in for the distribution support (commit: 3dc8bf9) (details)
  89. Generate the specific c files for each cpu (commit: 9124ba3) (details)
  90. Removed debug code (commit: 529bb1b) (details)
  91. Removed public static access, and use get/set functions instead (commit: c976062) (details)
  92. Clean up distribution merge (commit: ba47107) (details)
  93. Added sleep between cpu start up calls (commit: 3c5e466) (details)
  94. Changed to use get function instead of static reference (commit: f79561c) (details)
  95. update parameters of the emit main file function (commit: a030078) (details)
  96. Create a delay variable (commit: 0c3c620) (details)
  97. Try new delay for distributed tests (commit: e6edee2) (details)
  98. Set the daemon flag to false in order not to generate console output (commit: d4a3c90) (details)
  99. Filter out the extra nodes during distributed system analysis (commit: 5080775) (details)
  100. The first element of the DM is not long always true, since we use new (commit: 19c4355) (details)
  101. Improved support for dispatching to super classes (commit: 956f401) (details)
  102. Improve support for super class, and start using the first elemnet of DM (commit: 11047fc) (details)
  103. Use the first element of the DM (commit: 781da93) (details)
  104. Improved analysis of the BUS structure (commit: 2cf4f91) (details)
  105. Improved test timing for distribution tests (commit: db2aff4) (details)
  106. Allow to set distribution generation off using the cgen settings (commit: 9c3e8fc) (details)
  107. Update for the IDE for copying the distribution JAR (commit: efbbdf1) (details)
  108. Improved possible timing issues during distribution test execution (commit: 0868d3f) (details)
  109. Test update (commit: 5b9aab8) (details)
  110. Minor code formating (commit: b7791e3) (details)
  111. Add timing awareness for cpu1 during distribution tests (commit: b86d0ee) (details)
  112. Synchronize CPUs during distribution test using a file (commit: 4c72da2) (details)
  113. Updated distribution tests of initialization to use file (commit: d46dfd0) (details)
  114. Support generation of bus support functions (commit: d62d5b1) (details)
  115. Updated includes transformation together with new name for bus send (commit: 976716b) (details)
  116. removed unused files (commit: 2f78ac5) (details)
  117. removed unused files (reverted from commit (commit: ac20568) (details)
  118. Minor update to tests (commit: cd7978e) (details)
  119. Initial support for distribution run time from IDE (commit: 3dada75) (details)
  120. Clean Up (commit: ece3004) (details)
  121. Minor update for distribution tests (commit: 7c1594c) (details)
  122. Moved distribution library to separate maven project (commit: e240ce3) (details)
  123. Updated distribution library for C89 compliance (commit: 524d08d) (details)
  124. Changed distribution test to use FIFOs (commit: 552bf69) (details)
  125. Changed distribution tests to use FIFOs for communication (commit: 66861af) (details)
  126. Improvement of distribution tests timing (commit: dce9856) (details)
  127. kill subprocess of cpu2 after test (commit: 0a8af33) (details)
  128. only run one test of distribution (commit: 2b41cda) (details)
  129. Enable another test for distribution (commit: 44b31d3) (details)
  130. Updated IDE with better separation of code emission between distributed (commit: 2164ccd) (details)
  131. Do not run Quotes test (commit: 4d77c7f) (details)
  132. test new timing improvments for distributed tests (commit: 72feb0f) (details)
  133. Enable all test with new approach for timing (commit: 2b838d8) (details)
  134. new test try for distribution (commit: d75d502) (details)
  135. Commit to rerun test (commit: c1cb81e) (details)
  136. Fix typo in CMake file (commit: 800bdd4) (details)
  137. Add -D_GNU_SOURCE flag to CMake file (commit: ea7c246) (details)
  138. Improved timing support for distribution tests (commit: 9b87b83) (details)
  139. Assert that FIFOs can be created and cleaned up afterwards. (commit: 6845516) (details)
  140. cleap up comments (commit: 522fa41) (details)
  141. Removed irrelevant comment (commit: 569fc2a) (details)
  142. Removed irrelevant comment (commit: 9336cc0) (details)
  143. Removed debug print from distribution test (commit: e7fb67d) (details)
  144. Clean up distribution tests (commit: 432c5ca) (details)
  145. Improve assert error message. (commit: 82cfe74) (details)
Commit dc72732b3db3e7d1dba9b22562249084f8b67378 by Miran
Uncommented generation of individual system definition
(commit: dc72732)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 3abd921db41b8eb6af62f42f44a4dd7b86e22bd1 by Miran
Changed the quote id generation from using name hashcode to using a
counter value
(commit: 3abd921)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/QuoteNamesCollector.java (diff)
Commit b888081b8d16216ca23052ae22415351ee721745 by Miran
Initial work for generating system definition pr. cpu
(commit: b888081)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDMTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
Commit aa62cc7a9614bd5b5d4065c2587ac49576843169 by Miran
Generate individual DM for each cpu
(commit: aa62cc7)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDMTrans.java (diff)
Commit de58b913456569176f98df70eee962b90b9c878f by Miran
Let counter start from one for each distributed object
(commit: de58b91)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDepObjId.java (diff)
Commit e5b43c96833daba13812a3416476a02e1e209163 by Miran
Fix minor problems introduced by the merge with vpb/development
(commit: e5b43c9)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/ccg.ast (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
Commit 3a80298788cbef1d6fe5790933a1fd77ce2b0ab9 by Miran
Initial work for dispatcher
(commit: 3a80298)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/DistTransTest.java (diff)
Commit 85419840bc9c7c50508417a27a4fa16cd5db0cb0 by Miran
Add new external node for creating the distribution map
(commit: 8541984)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AArrayDMDeclIR.vm
The file was modifiedcore/vdm2c/src/main/resources/ccg.ast (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDMTrans.java (diff)
Commit a7571a496f69240de3e534e3d0d3e76dfdcac62f by Miran
Generate the System architecture maps to string version
(commit: a7571a4)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 3a7e706b8f401e64abde9317e4bed14c4966012d by Miran
Initial work for bus dispatcher
(commit: 3a7e706)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
Commit bce95d5cca41dc7d3e3a999e83ca36185814941b by Miran
Generate the string version maps
(commit: bce95d5)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit b63961f90e5246e9e3ca1b8882acc7db44cb815b by Miran
Updated the testing node for distribution
(commit: b63961f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/DistTransTest.java (diff)
Commit 3852950771b026dce451a3264e820dfc8b32fb97 by Miran
Add new parameter for the sendBus functionality
(commit: 3852950)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
Commit 5e6f11f6fc8bcf4d774c5485aed08f0ab5188d72 by Miran
Initial version of the GetRes functionality
(commit: 5e6f11f)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateGetResTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
Commit d9c6b47ff0792f32a939a83c3d38fcb5b20b42e2 by Miran
Added flag for indicating if distribution generation is needed
(commit: d9c6b47)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 7c4a14de8e7097434ace65456c04951216d1ec71 by Miran
Minor update + additional comments
(commit: 7c4a14d)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
Commit f478d4803bc94d066edcf10ab8063f302b0e90d6 by Miran
Updates for resolve call function distpacher
(commit: f478d48)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateGetResTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
Commit 731c1311a299fd034a66aae94608013a06cc16c8 by Miran
Use the correct object name
(commit: 731c131)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateGetResTrans.java (diff)
Commit 106776700dfbc4a154979cea8a9c1fcfe8bf0797 by Miran
get all classes used in the VDM-RT model
(commit: 1067767)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 833fbfff333cc142fcb6794d74b1236d288afb61 by Miran
Added the macro wrapper function used to resolve a remote call
(commit: 833fbff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateClassDispatchTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
Commit 62b9761367116b75a46fa9b733dfc993bcb93d0c by Miran
Initial work for inheritance for distribution
(commit: 62b9761)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateGetResTrans.java (diff)
Commit bf40b71821ac6bfdefa33a32155fe762d64dbf80 by Miran
Initial support for inheritance dispatching for distribution
(commit: bf40b71)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateGetResTrans.java (diff)
Commit c77ecd198267ae82d0dbb8309eef89d2fafcf5dc by Miran
Updated VDM library parts used for distribution
(commit: c77ecd1)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDMTrans.java (diff)
Commit 977e07446614cc767989cafc52f13af7faa432f6 by Miran
Comment distribtion parts for VDM lib out
(commit: 977e074)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit bb9c1d786c4e8f51195212cae8d27ab5b14c8669 by Miran
Updated distributed code generator to use the new interface
(commit: bb9c1d7)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit cc06e3910a5ad0612044e5d0c408a4e39c24bf64 by Miran
Added the distribution code generation as a command line argument
(commit: cc06e39)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit a3a286a2dca5eababb9fc92910e01a81dfa44fd5 by Miran
added local declaration of args
(commit: a3a286a)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
Commit b6ddb38399b0026348dfa51aa2251b7920a9a9e9 by Miran
Added function call to statement of send_bus function
(commit: b6ddb38)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
Commit 24b25d3ab20fc367268d397abadcba5ea6189440 by Miran
Uncomment distribution addition in the vdm library
(commit: 24b25d3)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 46da25f32d381c792f725b0180e37668e877c6e3 by Miran
Refactoring writeFile code
(commit: 46da25f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit b04e70c4d9ddb8dba1b9802dfa1cb505281a6bfc by Miran
Minor updated of transformation used for testing
(commit: b04e70c)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/DistTransTest.java (diff)
Commit f0ad43f573d6932dc227b57eb41e208c7f951837 by Miran
Use absolute path of output directory
(commit: f0ad43f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 9de1b8e8c3d263093ef930e12ba79bac44f00309 by Miran
Initial test set up for distribution (only generate files)
(commit: 9de1b8e)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java
The file was addedcore/vdm2c/src/test/resources/vdmrt/dist/dG.vdmrt
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java
Commit 1932c2bf4eef68220db26f082d9d9c3765aa2548 by Miran
Use overture formatter + either generate distribution or sequential
(commit: 1932c2b)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 1a655bf3ce6e77e024a1ece688587f85618d0497 by Miran
Added time limit for run during testing
(commit: 1a655bf)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
Commit ff81eddd2e2e0830f470458d295de1b82ffdf011 by Miran
Add inclusion of the user specific header during run-time
(commit: ff81edd)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/AddIncludesTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
Commit 60790e3b7177617e2964c482eec8d3afce0e1414 by Miran
Updated test1 and add run-time ressources
(commit: 60790e3)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu1/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu1/distCall.c
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu1/PrototypeCGMacro.c
Commit 6f506618f2ce5e8c061bd1ce292ac44a62a81b9d by Miran
Minor updated to the include transformation
(commit: 6f50661)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/AddIncludesTrans.java (diff)
Commit a1c82022e51ba3766ad7e836a8d59689510d5776 by Miran
Run test with the executable and updated test resource for the main
function
(commit: a1c8202)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/test1/cpu1/PrototypeCGMacro.c (diff)
Commit f6e58a9eae145aeed5646a005b18b14859c41dbd by Miran
ressources for cpu2 in test1 added
(commit: f6e58a9)
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu2/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu2/PrototypeCGMacro.c
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu2/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu2/distCall.c
Commit f4050ae89b8d7c2b630a72772a1dd6edf0b94f51 by Miran
Updated test to use the new resources for cpu2
(commit: f4050ae)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/dist/dG.vdmrt (diff)
Commit 084a8ed9848f4262996226e2db1c0f8f756d8da0 by Miran
Added test for the system analysis generator
(commit: 084a8ed)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistSystemAnalysisTests.java
Commit af789e239156cd08fabf6975b663906230063482 by Miran
Added test for distribution using ASN1
(commit: af789e2)
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/asn1crt.h
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/intVal.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/intVal.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/distCall.h
Commit 3ff08dad56644f63ef4eb1541227e656e93863a9 by Miran
Add arguments to DIST_CALL macro using proper index numbers
(commit: 3ff08da)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.java (diff)
Commit cc7a74611b00c64d5707181d88c5a3fb41c16e17 by Miran
Added test of asn serialisation of arguments and return type
(commit: cc7a746)
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/asn1vdm.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.h
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/serialise.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/serialise.c
The file was addedcore/vdm2c/src/test/resources/vdmrt/dist/distProd.vdmrt
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/intVal.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/asn1vdm.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/intVal.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/serialise.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c
Commit 4c7d12bc7c628e030a506ea83e9e94fcd7f687f1 by Miran
Fix to the generate send bus transformation, skip if there is no bus
(commit: 4c7d12b)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
Commit 129805eecdb20e77d0cd1a2c65f5974294dd8df7 by Miran
Initial version of a Cpu init function
(commit: 129805e)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 880b66c6ade03a37e91ca556c8428f6ff92cea6c by Miran
Added test of correct assignment of cpu init functionality
(commit: 880b66c)
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/serialise.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/real.c
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/intVal.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/serialise.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/intVal.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/asn1vdm.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/asn1vdm.c
Commit ebfcd360026bf49e6ee3bb1b3716088f7e80f860 by Miran
Initial update of the runtime for the new distributed dispatching
intended for merge with the garbage collector merge
(commit: ebfcd36)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 2d610bb6e06084c9e971c0166d89ee8c2272dc48 by Miran
Removed unused automatically generated files
(commit: 2d610bb)
The file was removedcore/vdm2c/HelloGC/B.h
The file was removedcore/vdm2c/HelloGC2/cpu2/World.h
The file was removedcore/vdm2c/HelloGC2/cpu2/World.c
The file was removedcore/vdm2c/HelloGC2/cpu1/B.c
The file was removedcore/vdm2c/HelloGC2/cpu1/B.h
The file was removedcore/vdm2c/HelloGC/B.c
The file was removedcore/vdm2c/HelloGC2/cpu2/A.h
The file was removedcore/vdm2c/HelloGC/A.c
The file was removedcore/vdm2c/HelloGC2/cpu2/D.c
The file was removedcore/vdm2c/HelloGC2/cpu2/D.h
The file was removedcore/vdm2c/HelloGC2/cpu1/A.h
The file was removedcore/vdm2c/HelloGC2/cpu1/VdmModelFeatures.h
The file was removedcore/vdm2c/HelloGC2/cpu2/A.c
The file was removedcore/vdm2c/HelloGC/VdmModelFeatures.h
The file was removedcore/vdm2c/HelloGC/World.h
The file was removedcore/vdm2c/HelloGC/D.h
The file was removedcore/vdm2c/HelloGC2/cpu1/World.c
The file was removedcore/vdm2c/HelloGC2/cpu2/B.h
The file was removedcore/vdm2c/HelloGC/D.c
The file was removedcore/vdm2c/HelloGC2/cpu1/A.c
The file was removedcore/vdm2c/HelloGC/A.h
The file was removedcore/vdm2c/HelloGC/World.c
The file was removedcore/vdm2c/HelloGC2/cpu2/VdmModelFeatures.h
The file was removedcore/vdm2c/HelloGC2/cpu1/D.h
The file was removedcore/vdm2c/HelloGC2/cpu1/D.c
The file was removedcore/vdm2c/HelloGC2/cpu1/World.h
The file was removedcore/vdm2c/HelloGC2/cpu2/B.c
Commit 8acebdd70dab7903f05a1680b118a3c58c9f837b by Miran
New transformation for transforming a remote object representation using
the new runtime together with the garbage collector
(commit: 8acebdd)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/TransformRemoteObject.java
Commit bf1bc850c590adaea423c149d49069a7160b11fa by Miran
Use the remote object transformation, and do not use the specific ID and
explicit distribution maps generation
(commit: bf1bc85)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
Commit 71217c45e9cc257969249eb98d72199ed5751576 by Miran
Updated tests to use the garbage collector
(commit: 71217c4)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/main.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java (diff)
Commit de3f87f41e9c1ce57fa9743d03590f76c8475b46 by Miran
Added test for quotes and bool serialisation run-time
(commit: de3f87f)
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/asn1vdm.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/serialise.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/asn1vdm.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/basicTypes.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/basicTypes.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/distCall.h
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/basicTypes.c
The file was addedcore/vdm2c/src/test/resources/vdmrt/dist/distQuotes.vdmrt
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/basicTypes.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/serialise.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/CMakeLists.txt
Commit c080630f2392097501adf84fd6a13cc53e4a82c6 by Miran
Minor fix with output testpath
(commit: c080630)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 8bfc1cdb2a0678dffd5cc80c37ca08f2bf5a7f6b by Miran
Added IR notes used for the distributed code generator
(commit: 8bfc1cd)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEqualsBinaryExpIR.vm
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AOrBoolBinaryExpIR.vm
Commit 09ee5b53a6755c2a7fde8957399a01ac20dd8661 by Miran
Minor fix for quotes serialization using ASN.1
(commit: 09ee5b5)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/dist/distQuotes.vdmrt (diff)
Commit debf6da55a335dd2376ea27d1e484f4d8a98d66e by Miran
Improved test feedback for distributed test
(commit: debf6da)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 2a50cd782de88545dde0dacacc58563b66c5c8f5 by Miran
Updated additional test for garbage collector together with feedback.
(commit: 2a50cd7)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/main.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c (diff)
Commit 133e819c8a3dc054ae7d811f26815477fd160525 by Miran
Updated CMake configuration to use the automatically generated VDM
features file
(commit: 133e819)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/CMakeLists.txt (diff)
The file was removedc/vdmclib/src/main/VdmModelFeatures.h
The file was removedcore/vdm2c/src/test/resources/distribution/VdmModelFeatures.h
Commit 5dbba896122d1408e3ed6e8d0a6cc70321d70043 by Miran
Added check of classHeader type before casting
(commit: 5dbba89)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 79bcf560fdec11b0d8d3760d53b416d495caeb08 by Miran
Clean up and refactoring of the architecture analysis
(commit: 79bcf56)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 13bf26b4e57d0a3fcdaa7443ed66b70bfb1f72d7 by Miran
Clean up of distribution transformation series
(commit: 13bf26b)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
Commit a847a62a71c5bb3b7490a2214d83a396b987254f by Miran
Refactoring of code, initial for method arguments
(commit: a847a62)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/DistCGenUtil.java
Commit 5e2d1ecbf6908efe7dd23607923688f0c65ec3d3 by Miran
Refactoring of identifier expressions
(commit: 5e2d1ec)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/DistCGenUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/DistCGenUtil.java (diff)
Commit 2eaaa656631243ba3051586542299e8aea16539b by Miran
Refactoring and clean up of method for remote invocation handling
(commit: 2eaaa65)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateGetResTrans.java (diff)
Commit e9f16308af37fb58eb7e5d649c579b9376cad57e by Miran
Clean up of distribution macro transformation
(commit: e9f1630)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.java (diff)
Commit 0cf20d24e3d1465d8fffcd701233fd014754f63c by Miran
Minor code clean up of remote object transformarion
(commit: 0cf20d2)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/TransformRemoteObject.java (diff)
Commit ee90e4b068b31056db5846290b87666e4dc76652 by Miran
Refactoring and code clean up of class dispatcher function
(commit: ee90e4b)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateClassDispatchTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/DistCGenUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/AddIncludesTrans.java (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
Commit 4c243564d2b513f513377476b65e6bb0caea8420 by Miran
Added cmake functionality windows and linux in distribution tests
(commit: 4c24356)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 6aadcd620883019f93d13ab95450261040bd1441 by Peter W. V. Tran-Jørgensen
Detect cmake correctly across all platforms
(commit: 6aadcd6)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 731fdaad23cc134c991da81d8c40ba8de14d8e0d by Miran
Use absolute path to VDM lib during distribution testing
(commit: 731fdaa)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/CMakeLists.txt (diff)
Commit d63dd9769afb873251476ef70483afecb1b9b4c0 by Peter W. V. Tran-Jørgensen
Fix CMakeLists.txt files for ASN test
This fixes an issue that is specific to Linux
(commit: d63dd97)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/CMakeLists.txt (diff)
Commit 07a3e619ed90d6fddd22348f95710c1a04b8d3f4 by Miran
Updated CMake file to fix Linux problem
(commit: 07a3e61)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/CMakeLists.txt (diff)
Commit 5593364854bccda4a12a6ab7785bb2b12c92cd85 by Miran
Fix a problem with capital letter in path causing problems in Linux
(commit: 5593364)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 4f2b52cf59db8abd386195fd4dee82988f995e76 by Miran
Fixed run-time de-serialization of a boolean value
(commit: 4f2b52c)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/serialise.c (diff)
Commit 8c1e3f6f27fe94dae0ad3bc20ddb22aa06c4f404 by Miran
Added automatic detection if distribution code generation is needed, and
updated test correspondingly.
(commit: 8c1e3f6)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistSystemAnalysisTests.java (diff)
Commit 7fa5f60bede425301fd7790aecf8b032a6185b4a by Miran
Moved the generation of files to the CGen instead of the CGenMain
(commit: 7fa5f60)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 3dc8bf9ac3ee719698028d2653e59333573e77d3 by Miran
Initial setup of Eclipse plug-in for the distribution support
(commit: 3dc8bf9)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 9124ba3c5e94e793f75b91da391ca4dd2125484f by Miran
Generate the specific c files for each cpu
(commit: 9124ba3)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit c976062d92ebe8d4649dcfb57dd3cb98bc3c6699 by Miran
Removed public static access, and use get/set functions instead
(commit: c976062)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit ba471075f79291173116802a829ec07764de5733 by Peter W. V. Tran-Jørgensen
Clean up distribution merge
Delete unused transformation
(commit: ba47107)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDMTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/QuoteNamesCollector.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/ccg.ast (diff)
Commit 3c5e466788ba9e14930dee82961dad78edc8edc2 by Miran
Added sleep between cpu start up calls
(commit: 3c5e466)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit f79561cbcfb8ee1c1f2dc16314e0a95c7e15e337 by Miran
Changed to use get function instead of static reference
(commit: f79561c)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit a03007815b9328ea1526a6d62a13d429dd9a704f by Miran
update parameters of the emit main file function
(commit: a030078)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit e6edee20d166bb753cdbaf4fa882088807f73555 by Miran
Try new delay for distributed tests
(commit: e6edee2)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit d4a3c9048f81fe2429d52fbf437b56f01f9ee89e by Miran
Set the daemon flag to false in order not to generate console output
during tests
(commit: d4a3c90)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 5080775abd9b76b67aeabb8f7e81fb2bb2e3d153 by Miran
Filter out the extra nodes during distributed system analysis
(commit: 5080775)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 19c43550d82a7c34cbd81833347c832732624f49 by Miran
The first element of the DM is not long always true, since we use new
dispatching strategy
(commit: 19c4355)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 956f401d687580216a2a9469696063ae9e681f10 by Miran
Improved support for dispatching to super classes
(commit: 956f401)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateClassDispatchTrans.java (diff)
Commit 11047fc6a5ad18f21e9c5dbce440dae7db158f07 by Miran
Improve support for super class, and start using the first elemnet of DM
(commit: 11047fc)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateGetResTrans.java (diff)
Commit 781da93107bdff6b30c3ed7e6142355bf69e7111 by Miran
Use the first element of the DM
(commit: 781da93)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
Commit 2cf4f91737670279a055829995e622cd64c7cb35 by Miran
Improved analysis of the BUS structure
(commit: 2cf4f91)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/TransformRemoteObject.java (diff)
Commit db2aff4aad35bb5e7b63df8612fa6fd22186f932 by Miran
Improved test timing for distribution tests
(commit: db2aff4)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/main.c (diff)
Commit 9c3e8fc674526c34c500fca168d5109c1480f938 by Miran
Allow to set distribution generation off using the cgen settings
(commit: 9c3e8fc)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenSettings.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit efbbdf1e3f93d823ed3cf1c8f0662d098b3608a3 by Miran
Update for the IDE for copying the distribution JAR
(commit: efbbdf1)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 0868d3f7ec4c24d95d43606de9bd908d0df4bcaf by Miran
Improved possible timing issues during distribution test execution
(commit: 0868d3f)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c (diff)
Commit b86d0ee864482f6961841d3705444507483b7706 by Miran
Add timing awareness for cpu1 during distribution tests
(commit: b86d0ee)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/main.c (diff)
Commit 4c72da2013ecef1a3799d745b246abf9ea5268a0 by Miran
Synchronize CPUs during distribution test using a file
(commit: 4c72da2)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/distCall.c (diff)
Commit d46dfd06fa66e9d86af16880f498f182a6dcd516 by Miran
Updated distribution tests of initialization to use file
synchronization.
(commit: d46dfd0)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.c (diff)
Commit d62d5b1a9b962880cef46887a34dedd7395461c3 by Miran
Support generation of bus support functions
(commit: d62d5b1)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/ADistCallDeclIR.vm
The file was modifiedcore/vdm2c/src/main/resources/ccg.ast (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 976716bcdab7efe74364be5f72375073b5ece964 by Miran
Updated includes transformation together with new name for bus send
(commit: 976716b)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/AddIncludesTrans.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/bus.h
The file was removedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.c
The file was removedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/bus.c
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/bus.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/bus.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/bus.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/bus.c
The file was removedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/bus.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/bus.h
The file was removedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/distCall.c
The file was removedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/distCall.h
The file was removedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.h
The file was removedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/bus.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/bus.h
The file was removedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/bus.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/bus.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/bus.c
The file was removedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.h
The file was removedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/bus.h
The file was removedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/bus.h
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was removedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.c
The file was removedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/distCall.h
The file was removedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/bus.c
The file was removedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c
The file was removedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.h
Commit ac20568b79f61c44f72b4e76824d62f76b191ee3 by Miran
removed unused files (reverted from commit
2f78ac58223136d4c071fe89f17fdd04935ae198)
(commit: ac20568)
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 3dada754f46c311459c9fd82b8984e9bb175d140 by Miran
Initial support for distribution run time from IDE
(commit: 3dada75)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CGenUtil.java (diff)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/AddIncludesTrans.java (diff)
Commit 7c1594c3d30d5d42b83feebcb6b6492bb2bcdd11 by Miran
Minor update for distribution tests
(commit: 7c1594c)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit e240ce3a0387eb29cb6989970b35425a25de5343 by Miran
Moved distribution library to separate maven project
(commit: e240ce3)
The file was modifiedide/cgen/build.properties (diff)
The file was modifiedc/CMakeLists.txt (diff)
The file was addedc/vdmclibdist/pom.xml
The file was addedc/vdmclibdist/src/main/asn1crt.h
The file was addedc/vdmclibdist/src/main/asn1vdm.h
The file was addedc/vdmclibdist/src/main/basicTypes.h
The file was addedc/vdmclibdist/src/main/ProjectCMakeLists.txt
The file was addedc/vdmclibdist/src/main/asn1vdm.c
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was addedc/vdmclibdist/src/main/real.c
The file was modifiedide/cgen/pom.xml (diff)
The file was addedc/vdmclibdist/src/main/asn1crt.c
The file was addedc/vdmclibdist/src/main/basicTypes.c
The file was addedc/vdmclibdist/src/main/serialise.h
The file was addedc/vdmclibdist/CMakeLists.txt
The file was addedc/vdmclibdist/src/main/serialise.c
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedc/pom.xml (diff)
Commit 524d08d23e68dbca4507f4c13d666b23c2032184 by Miran
Updated distribution library for C89 compliance
(commit: 524d08d)
The file was modifiedc/vdmclibdist/src/main/asn1vdm.h (diff)
The file was modifiedc/vdmclibdist/src/main/real.c (diff)
The file was modifiedc/vdmclibdist/src/main/serialise.c (diff)
The file was modifiedc/vdmclibdist/src/main/asn1crt.c (diff)
The file was modifiedc/vdmclibdist/src/main/asn1crt.h (diff)
The file was modifiedc/vdmclibdist/src/main/serialise.h (diff)
The file was modifiedc/vdmclibdist/src/main/asn1vdm.c (diff)
Commit 552bf699832885c8d6a4ac97af59c668666664ee by Miran
Changed distribution test to use FIFOs
(commit: 552bf69)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 66861afc79523c5a1711ef127f85f4587373f887 by Miran
Changed distribution tests to use FIFOs for communication
(commit: 66861af)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/bus.c (diff)
Commit dce9856d68eaa3f126ef70e8a8cee96462b5ff1d by Miran
Improvement of distribution tests timing
(commit: dce9856)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/bus.c (diff)
Commit 0a8af331fd4552ba1723c7907a5010029b2fb7e7 by Miran
kill subprocess of cpu2 after test
(commit: 0a8af33)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 2b41cda7ff3f15fdc84137071d487b0e0ca6d648 by Miran
only run one test of distribution
(commit: 2b41cda)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 44b31d3b5cec0a3e4d1f4045af4174b1ce5f0f45 by Miran
Enable another test for distribution
(commit: 44b31d3)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 2164ccd37b70d1a711ee08dbe0969ad555613bdd by Miran
Updated IDE with better separation of code emission between distributed
and non-distributed
(commit: 2164ccd)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 72feb0ffc7d6273a2c30bfa99ccbf345f4cb6c45 by Miran
test new timing improvments for distributed tests
(commit: 72feb0f)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 2b838d8926b205e8cc11923518f21899777ae3f3 by Miran
Enable all test with new approach for timing
(commit: 2b838d8)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit d75d502916419819445d6a56dc9d46facfc112bd by Miran
new test try for distribution
(commit: d75d502)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedc/vdmclibdist/src/main/ProjectCMakeLists.txt (diff)
The file was modifiedc/vdmclibdist/src/main/ProjectCMakeLists.txt (diff)
Commit 9b87b830bedf84bf6433b5b2acf9b8bce422d1a0 by Miran
Improved timing support for distribution tests
(commit: 9b87b83)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/bus.c (diff)
Commit 684551629eb384ecac2607a5f0c6af2f43bc7967 by Miran
Assert that FIFOs can be created and cleaned up afterwards.
(commit: 6845516)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 569fc2af3c6ff155df28a92f5238d44159ab9660 by Miran
Removed irrelevant comment
(commit: 569fc2a)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 9336cc0167b49f47a3478d3ec66486d9ad0e5cf5 by Miran
Removed irrelevant comment
(commit: 9336cc0)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit e7fb67db9aa5b118b8a65c141b08cfe528fc6409 by Miran
Removed debug print from distribution test
(commit: e7fb67d)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 432c5ca536bed61162b101bd7840da8dd74f2ca2 by Miran
Clean up distribution tests
(commit: 432c5ca)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 82cfe74bb2713c6021a7b05e1a240cc4580b07eb by Miran
Improve assert error message.
(commit: 82cfe74)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)