SuccessChanges

Summary

  1. Uncommented generation of individual system definition (details)
  2. Changed the quote id generation from using name hashcode to using a (details)
  3. Initial work for generating system definition pr. cpu (details)
  4. Generate individual DM for each cpu (details)
  5. Let counter start from one for each distributed object (details)
  6. Fix minor problems introduced by the merge with vpb/development (details)
  7. Initial work for dispatcher (details)
  8. Add new external node for creating the distribution map (details)
  9. Generate the System architecture maps to string version (details)
  10. Initial work for bus dispatcher (details)
  11. Generate the string version maps (details)
  12. Updated the testing node for distribution (details)
  13. Add new parameter for the sendBus functionality (details)
  14. Initial version of the GetRes functionality (details)
  15. Added flag for indicating if distribution generation is needed (details)
  16. Minor update + additional comments (details)
  17. Updates for resolve call function distpacher (details)
  18. Minor name fix (details)
  19. Use the correct object name (details)
  20. get all classes used in the VDM-RT model (details)
  21. Added the macro wrapper function used to resolve a remote call (details)
  22. Initial work for inheritance for distribution (details)
  23. Initial support for inheritance dispatching for distribution (details)
  24. Updated VDM library parts used for distribution (details)
  25. Minor fixes (details)
  26. Comment distribtion parts for VDM lib out (details)
  27. Updated distributed code generator to use the new interface (details)
  28. Added the distribution code generation as a command line argument (details)
  29. added local declaration of args (details)
  30. Added function call to statement of send_bus function (details)
  31. Uncomment distribution addition in the vdm library (details)
  32. Refactoring writeFile code (details)
  33. Minor updated of transformation used for testing (details)
  34. Use absolute path of output directory (details)
  35. Initial test set up for distribution (only generate files) (details)
  36. Use overture formatter + either generate distribution or sequential (details)
  37. Minor clean up (details)
  38. Added time limit for run during testing (details)
  39. Add inclusion of the user specific header during run-time (details)
  40. Updated test1 and add run-time ressources (details)
  41. Minor updated to the include transformation (details)
  42. Run test with the executable and updated test resource for the main (details)
  43. ressources for cpu2 in test1 added (details)
  44. Updated test to use the new resources for cpu2 (details)
  45. Added test for the system analysis generator (details)
  46. Added test for distribution using ASN1 (details)
  47. Add arguments to DIST_CALL macro using proper index numbers (details)
  48. Added test of asn serialisation of arguments and return type (details)
  49. Fix to the generate send bus transformation, skip if there is no bus (details)
  50. Initial version of a Cpu init function (details)
  51. Added test of correct assignment of cpu init functionality (details)
  52. Initial update of the runtime for the new distributed dispatching (details)
  53. Removed unused automatically generated files (details)
  54. New transformation for transforming a remote object representation using (details)
  55. Use the remote object transformation, and do not use the specific ID and (details)
  56. Updated tests to use the garbage collector (details)
  57. Added test for quotes and bool serialisation run-time (details)
  58. Minor fix with output testpath (details)
  59. Added IR notes used for the distributed code generator (details)
  60. Minor fix for quotes serialization using ASN.1 (details)
  61. Improved test feedback for distributed test (details)
  62. Updated additional test for garbage collector together with feedback. (details)
  63. Updated CMake configuration to use the automatically generated VDM (details)
  64. Removed unsed files (details)
  65. Added check of classHeader type before casting (details)
  66. Clean up and refactoring of the architecture analysis (details)
  67. Clean up of distribution transformation series (details)
  68. Refactoring of code, initial for method arguments (details)
  69. Refactoring of identifier expressions (details)
  70. Clean up code (details)
  71. Refactoring and clean up of method for remote invocation handling (details)
  72. Clean up of distribution macro transformation (details)
  73. Minor code clean up of remote object transformarion (details)
  74. Refactoring and code clean up of class dispatcher function (details)
  75. Removed unused imports (details)
  76. Clean up (details)
  77. Removed unused comment (details)
  78. Remove time check (details)
  79. Added cmake functionality windows and linux in distribution tests (details)
  80. Detect cmake correctly across all platforms (details)
  81. Use absolute path to VDM lib during distribution testing (details)
  82. Fix CMakeLists.txt files for ASN test (details)
  83. Updated CMake file to fix Linux problem (details)
  84. Fix a problem with capital letter in path causing problems in Linux (details)
  85. Fixed run-time de-serialization of a boolean value (details)
  86. Added automatic detection if distribution code generation is needed, and (details)
  87. Moved the generation of files to the CGen instead of the CGenMain (details)
  88. Initial setup of Eclipse plug-in for the distribution support (details)
  89. Generate the specific c files for each cpu (details)
  90. Removed debug code (details)
  91. Removed public static access, and use get/set functions instead (details)
  92. Clean up distribution merge (details)
  93. Added sleep between cpu start up calls (details)
  94. Changed to use get function instead of static reference (details)
  95. update parameters of the emit main file function (details)
  96. Create a delay variable (details)
  97. Try new delay for distributed tests (details)
  98. Set the daemon flag to false in order not to generate console output (details)
  99. Filter out the extra nodes during distributed system analysis (details)
  100. The first element of the DM is not long always true, since we use new (details)
  101. Improved support for dispatching to super classes (details)
  102. Improve support for super class, and start using the first elemnet of DM (details)
  103. Use the first element of the DM (details)
  104. Improved analysis of the BUS structure (details)
  105. Improved test timing for distribution tests (details)
  106. Allow to set distribution generation off using the cgen settings (details)
  107. Update for the IDE for copying the distribution JAR (details)
  108. Improved possible timing issues during distribution test execution (details)
  109. Test update (details)
  110. Minor code formating (details)
  111. Add timing awareness for cpu1 during distribution tests (details)
  112. Synchronize CPUs during distribution test using a file (details)
  113. Updated distribution tests of initialization to use file (details)
  114. Support generation of bus support functions (details)
  115. Updated includes transformation together with new name for bus send (details)
  116. removed unused files (details)
  117. removed unused files (reverted from commit (details)
  118. Minor update to tests (details)
  119. Initial support for distribution run time from IDE (details)
  120. [maven-release-plugin] prepare release Release/0.1.14 (details)
  121. [maven-release-plugin] prepare for next development iteration (details)
  122. Clean Up (details)
  123. Minor update for distribution tests (details)
  124. -  Increased coverage of basic precondition checks on map and sequence (details)
  125. Fixes bug with setting correct buffer size in collections. (details)
  126. Moved distribution library to separate maven project (details)
  127. Updated distribution library for C89 compliance (details)
  128. Changed distribution test to use FIFOs (details)
  129. Changed distribution tests to use FIFOs for communication (details)
  130. Improvement of distribution tests timing (details)
  131. kill subprocess of cpu2 after test (details)
  132. only run one test of distribution (details)
  133. Enable another test for distribution (details)
  134. Updated IDE with better separation of code emission between distributed (details)
  135. Do not run Quotes test (details)
  136. test new timing improvments for distributed tests (details)
  137. Enable all test with new approach for timing (details)
  138. new test try for distribution (details)
  139. Commit to rerun test (details)
  140. Fix typo in CMake file (details)
  141. Add -D_GNU_SOURCE flag to CMake file (details)
  142. Improved timing support for distribution tests (details)
  143. Assert that FIFOs can be created and cleaned up afterwards. (details)
  144. cleap up comments (details)
  145. Removed irrelevant comment (details)
  146. Removed irrelevant comment (details)
  147. Removed debug print from distribution test (details)
  148. Clean up distribution tests (details)
  149. Improve assert error message. (details)
  150. Add release notes for VDM2C version 0.1.16 (details)
  151. Prepare release of VDM2C version 0.1.16 (details)
Commit dc72732b3db3e7d1dba9b22562249084f8b67378 by Miran
Uncommented generation of individual system definition
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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/QuoteNamesCollector.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
Commit b888081b8d16216ca23052ae22415351ee721745 by Miran
Initial work for generating system definition pr. cpu
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)
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
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)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit de58b913456569176f98df70eee962b90b9c878f by Miran
Let counter start from one for each distributed object
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
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
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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDMTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/ccg.ast (diff)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AArrayDMDeclIR.vm
Commit a7571a496f69240de3e534e3d0d3e76dfdcac62f by Miran
Generate the System architecture maps to string version
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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java
Commit bce95d5cca41dc7d3e3a999e83ca36185814941b by Miran
Generate the string version maps
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
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
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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateGetResTrans.java
Commit d9c6b47ff0792f32a939a83c3d38fcb5b20b42e2 by Miran
Added flag for indicating if distribution generation is needed
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 7c4a14de8e7097434ace65456c04951216d1ec71 by Miran
Minor update + additional comments
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
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
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
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
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
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
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)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.java (diff)
Commit c77ecd198267ae82d0dbb8309eef89d2fafcf5dc by Miran
Updated VDM library parts used for distribution
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (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
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit bb9c1d786c4e8f51195212cae8d27ab5b14c8669 by Miran
Updated distributed code generator to use the new interface
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 cc06e3910a5ad0612044e5d0c408a4e39c24bf64 by Miran
Added the distribution code generation as a command line argument
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 a3a286a2dca5eababb9fc92910e01a81dfa44fd5 by Miran
added local declaration of args
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
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
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
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
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
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)
The file was addedcore/vdm2c/src/test/resources/vdmrt/dist/dG.vdmrt
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java
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
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
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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/AddIncludesTrans.java
Commit 60790e3b7177617e2964c482eec8d3afce0e1414 by Miran
Updated test1 and add run-time ressources
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu1/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu1/PrototypeCGMacro.c
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/DistributionTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu1/distCall.h
Commit 6f506618f2ce5e8c061bd1ce292ac44a62a81b9d by Miran
Minor updated to the include transformation
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
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
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu2/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/test1/cpu2/distCall.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/PrototypeCGMacro.c
Commit f4050ae89b8d7c2b630a72772a1dd6edf0b94f51 by Miran
Updated test to use the new resources for cpu2
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/dist/dG.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java (diff)
Commit 084a8ed9848f4262996226e2db1c0f8f756d8da0 by Miran
Added test for the system analysis generator
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistSystemAnalysisTests.java
Commit af789e239156cd08fabf6975b663906230063482 by Miran
Added test for distribution using ASN1
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/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/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/distCall.h
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.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/asn1crt.c
Commit 3ff08dad56644f63ef4eb1541227e656e93863a9 by Miran
Add arguments to DIST_CALL macro using proper index numbers
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
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/distCall.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/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/CMakeLists.txt
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/asn1vdm.c
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.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/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/serialise.h
The file was addedcore/vdm2c/src/test/resources/vdmrt/dist/distProd.vdmrt
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/serialise.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/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/real.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/intVal.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/intVal.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/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/cpu1/asn1crt.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/asn1crt.c
Commit 4c7d12bc7c628e030a506ea83e9e94fcd7f687f1 by Miran
Fix to the generate send bus transformation, skip if there is no bus
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
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 880b66c6ade03a37e91ca556c8428f6ff92cea6c by Miran
Added test of correct assignment of cpu init functionality
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/asn1vdm.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/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/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/intVal.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/intVal.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/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/testSysConsInitMethod/cpu1/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/real.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/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/intVal.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.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/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/asn1vdm.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/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/real.c
Commit ebfcd360026bf49e6ee3bb1b3716088f7e80f860 by Miran
Initial update of the runtime for the new distributed dispatching
intended for merge with the garbage collector merge
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java (diff)
Commit 2d610bb6e06084c9e971c0166d89ee8c2272dc48 by Miran
Removed unused automatically generated files
The file was removedcore/vdm2c/HelloGC2/cpu1/VdmModelFeatures.h
The file was removedcore/vdm2c/HelloGC/World.c
The file was removedcore/vdm2c/HelloGC2/cpu1/A.c
The file was removedcore/vdm2c/HelloGC2/cpu2/World.c
The file was removedcore/vdm2c/HelloGC2/cpu2/D.c
The file was removedcore/vdm2c/HelloGC/B.h
The file was removedcore/vdm2c/HelloGC2/cpu2/A.c
The file was removedcore/vdm2c/HelloGC/A.h
The file was removedcore/vdm2c/HelloGC/D.h
The file was removedcore/vdm2c/HelloGC2/cpu2/B.c
The file was removedcore/vdm2c/HelloGC/VdmModelFeatures.h
The file was removedcore/vdm2c/HelloGC2/cpu2/B.h
The file was removedcore/vdm2c/HelloGC/B.c
The file was removedcore/vdm2c/HelloGC2/cpu1/A.h
The file was removedcore/vdm2c/HelloGC2/cpu1/World.h
The file was removedcore/vdm2c/HelloGC/A.c
The file was removedcore/vdm2c/HelloGC2/cpu1/D.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/World.c
The file was removedcore/vdm2c/HelloGC2/cpu1/B.c
The file was removedcore/vdm2c/HelloGC2/cpu2/D.h
The file was removedcore/vdm2c/HelloGC/D.c
The file was removedcore/vdm2c/HelloGC/World.h
The file was removedcore/vdm2c/HelloGC2/cpu1/B.h
The file was removedcore/vdm2c/HelloGC2/cpu2/A.h
The file was removedcore/vdm2c/HelloGC2/cpu2/World.h
Commit 8acebdd70dab7903f05a1680b118a3c58c9f837b by Miran
New transformation for transforming a remote object representation using
the new runtime together with the garbage collector
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
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
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)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/main.c (diff)
Commit de3f87f41e9c1ce57fa9743d03590f76c8475b46 by Miran
Added test for quotes and bool serialisation run-time
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.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/main.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/asn1vdm.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/asn1vdm.h
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/cpu1/serialise.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.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/CMakeLists.txt
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/asn1crt.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/serialise.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/serialise.c
The file was addedcore/vdm2c/src/test/resources/vdmrt/dist/distQuotes.vdmrt
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/asn1vdm.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/basicTypes.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/testQuotesBool/cpu1/basicTypes.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/basicTypes.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/asn1crt.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/real.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/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/basicTypes.h
Commit c080630f2392097501adf84fd6a13cc53e4a82c6 by Miran
Minor fix with output testpath
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
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
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/dist/distQuotes.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.c (diff)
Commit debf6da55a335dd2376ea27d1e484f4d8a98d66e by Miran
Improved test feedback for distributed test
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)
Commit 2a50cd782de88545dde0dacacc58563b66c5c8f5 by Miran
Updated additional test for garbage collector together with feedback.
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (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/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/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/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/main.c (diff)
Commit 133e819c8a3dc054ae7d811f26815477fd160525 by Miran
Updated CMake configuration to use the automatically generated VDM
features file
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/testAsnProd/cpu2/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/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/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/testAsn/cpu1/CMakeLists.txt (diff)
Commit ff40f86c4248ca66235076bbc5bd93397beab8c9 by Miran
Removed unsed files
The file was removedcore/vdm2c/src/test/resources/distribution/VdmModelFeatures.h
The file was removedc/vdmclib/src/main/VdmModelFeatures.h
Commit 5dbba896122d1408e3ed6e8d0a6cc70321d70043 by Miran
Added check of classHeader type before casting
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
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 13bf26b4e57d0a3fcdaa7443ed66b70bfb1f72d7 by Miran
Clean up of distribution transformation series
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
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
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/DistCGenUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateSendBusTrans.java (diff)
Commit 2eaaa656631243ba3051586542299e8aea16539b by Miran
Refactoring and clean up of method for remote invocation handling
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
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
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
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/GenerateClassDispatchTrans.java (diff)
Commit 90e8bdb5b1cc9ee3c8a1532ada59cf0d7052e90b by Miran
Removed unused imports
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)
Commit e909542b7b397b8857464b80dab5301c44920e86 by Miran
Removed unused comment
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
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
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
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/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/testSysConsInitMethod/cpu2/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/testAsnProd/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/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/testSysConsInitMethod/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/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
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/CMakeLists.txt (diff)
Commit 07a3e619ed90d6fddd22348f95710c1a04b8d3f4 by Miran
Updated CMake file to fix Linux problem
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/testAsnProd/cpu1/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 5593364854bccda4a12a6ab7785bb2b12c92cd85 by Miran
Fix a problem with capital letter in path causing problems in Linux
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
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.
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistSystemAnalysisTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistTestBase.java (diff)
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)
Commit 7fa5f60bede425301fd7790aecf8b032a6185b4a by Miran
Moved the generation of files to the CGen instead of the CGenMain
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
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
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 529bb1be4152d14653e4c4f8f6c273be33b31c44 by Miran
Removed debug code
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
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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/QuoteNamesCollector.java (diff)
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/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/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/main/resources/ccg.ast (diff)
Commit 3c5e466788ba9e14930dee82961dad78edc8edc2 by Miran
Added sleep between cpu start up calls
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
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
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 0c3c620d7f0c859cb09dd70d8c52452a54c36a51 by Miran
Create a delay variable
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
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
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
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
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
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
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
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
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
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/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/testAsn/cpu1/main.c (diff)
Commit 9c3e8fc674526c34c500fca168d5109c1480f938 by Miran
Allow to set distribution generation off using the cgen settings
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/CGenSettings.java (diff)
Commit efbbdf1e3f93d823ed3cf1c8f0662d098b3608a3 by Miran
Update for the IDE for copying the distribution JAR
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
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/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/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/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/testQuotesBool/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/testAsnProd/cpu1/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.c (diff)
Commit b7791e3419444e32b4a3bff49d9d52570853647e by Miran
Minor code formating
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
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/testSysConsInitMethod/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/main.c (diff)
Commit 4c72da2013ecef1a3799d745b246abf9ea5268a0 by Miran
Synchronize CPUs during distribution test using a file
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/testQuotesBool/cpu1/main.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/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/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/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/testSysConsInitMethod/cpu2/distCall.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.c (diff)
Commit d46dfd06fa66e9d86af16880f498f182a6dcd516 by Miran
Updated distribution tests of initialization to use file
synchronization.
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
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
The file was removedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/bus.c
The file was removedcore/vdm2c/src/test/resources/distribution/testAsnProd/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/testAsn/cpu1/bus.c
The file was removedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/distCall.c
The file was removedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.c
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/testSysConsInitMethod/cpu1/bus.h
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/testAsn/cpu1/bus.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.h
The file was removedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/distCall.h
The file was removedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/distCall.h
The file was removedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/bus.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/bus.h
The file was removedcore/vdm2c/src/test/resources/distribution/testAsn/cpu1/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/bus.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/bus.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/bus.c
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu1/bus.c
The file was removedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/distCall.h
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/bus.h
The file was addedcore/vdm2c/src/test/resources/distribution/testQuotesBool/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/testAsnProd/cpu2/bus.c
The file was removedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/distCall.h
The file was removedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/distCall.c
The file was removedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/distCall.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu1/bus.c
The file was addedcore/vdm2c/src/test/resources/distribution/testAsn/cpu2/bus.h
Commit 2f78ac58223136d4c071fe89f17fdd04935ae198 by Miran
removed unused files
The file was removedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.h
The file was removedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/distCall.c
Commit ac20568b79f61c44f72b4e76824d62f76b191ee3 by Miran
removed unused files (reverted from commit
2f78ac58223136d4c071fe89f17fdd04935ae198)
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
Commit cd7978e1da4e8177d170227de6d0868f7e08f950 by Miran
Minor update to tests
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
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/utils/CGenUtil.java (diff)
Commit 0443ee80208e4328efc4e2df4ea190371e66ff58 by jenkins
[maven-release-plugin] prepare release Release/0.1.14
Bump ide/ to version 0.1.14
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
Commit 173e4de51ba8018cc9db1ba8e3956f6b38f12e7f by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.15-SNAPSHOT
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (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
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit b8809e57ccae3c5c31c86c914ee5868e0c447a62 by Victor Bandur
-  Increased coverage of basic precondition checks on map and sequence
operations. -  Addresses #118.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit aea50d8f230d700c281187b33f9126e35ab0e300 by Victor Bandur
Fixes bug with setting correct buffer size in collections.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit e240ce3a0387eb29cb6989970b35425a25de5343 by Miran
Moved distribution library to separate maven project
The file was addedc/vdmclibdist/src/main/serialise.h
The file was addedc/vdmclibdist/src/main/basicTypes.h
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedc/CMakeLists.txt (diff)
The file was modifiedide/cgen/build.properties (diff)
The file was addedc/vdmclibdist/src/main/asn1crt.c
The file was addedc/vdmclibdist/src/main/ProjectCMakeLists.txt
The file was modifiedc/pom.xml (diff)
The file was addedc/vdmclibdist/src/main/basicTypes.c
The file was addedc/vdmclibdist/src/main/asn1vdm.c
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was addedc/vdmclibdist/pom.xml
The file was addedc/vdmclibdist/src/main/real.c
The file was addedc/vdmclibdist/src/main/asn1crt.h
The file was addedc/vdmclibdist/CMakeLists.txt
The file was addedc/vdmclibdist/src/main/serialise.c
The file was addedc/vdmclibdist/src/main/asn1vdm.h
Commit 524d08d23e68dbca4507f4c13d666b23c2032184 by Miran
Updated distribution library for C89 compliance
The file was modifiedc/vdmclibdist/src/main/serialise.h (diff)
The file was modifiedc/vdmclibdist/src/main/asn1crt.h (diff)
The file was modifiedc/vdmclibdist/src/main/asn1vdm.h (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/real.c (diff)
The file was modifiedc/vdmclibdist/src/main/asn1vdm.c (diff)
Commit 552bf699832885c8d6a4ac97af59c668666664ee by Miran
Changed distribution test to use FIFOs
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 66861afc79523c5a1711ef127f85f4587373f887 by Miran
Changed distribution tests to use FIFOs for communication
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsn/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/testAsn/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/testAsnProd/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu1/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testSysConsInitMethod/cpu2/bus.c (diff)
Commit dce9856d68eaa3f126ef70e8a8cee96462b5ff1d by Miran
Improvement of distribution tests timing
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)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testAsnProd/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/distribution/testQuotesBool/cpu2/bus.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 0a8af331fd4552ba1723c7907a5010029b2fb7e7 by Miran
kill subprocess of cpu2 after test
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
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 44b31d3b5cec0a3e4d1f4045af4174b1ce5f0f45 by Miran
Enable another test for distribution
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
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 4d77c7fba90b624cb3d52b947170793d95049028 by Miran
Do not run Quotes test
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
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
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit d75d502916419819445d6a56dc9d46facfc112bd by Miran
new test try for distribution
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit c1cb81ee9f45aebde6c28e9f0b75d34222a06730 by Miran
Commit to rerun test
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)
Commit ea7c2460ed1bc3adaee822eb872cefaa5ae1d18d by Peter W. V. Tran-Jørgensen
Add -D_GNU_SOURCE flag to CMake file
The file was modifiedc/vdmclibdist/src/main/ProjectCMakeLists.txt (diff)
Commit 9b87b830bedf84bf6433b5b2acf9b8bce422d1a0 by Miran
Improved timing support for distribution tests
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.
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
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 9336cc0167b49f47a3478d3ec66486d9ad0e5cf5 by Miran
Removed irrelevant comment
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
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 432c5ca536bed61162b101bd7840da8dd74f2ca2 by Miran
Clean up distribution tests
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 82cfe74bb2713c6021a7b05e1a240cc4580b07eb by Miran
Improve assert error message.
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java (diff)
Commit 05a896a3e6c47b8c8e9e856ed0cf7501b2f6f338 by Peter W. V. Tran-Jørgensen
Add release notes for VDM2C version 0.1.16
The file was addedrelease/ReleaseNotes_0.1.16.md
Commit 07a380b77337142f4c4606d47eff156b8ac1defd by Peter W. V. Tran-Jørgensen
Prepare release of VDM2C version 0.1.16
The file was modifiedoverture.release.properties (diff)