SuccessChanges

Summary

  1. Add creation of a distribution map pr. CPU (commit: d618b7f) (details)
  2. Added analysis of the BUS structure (commit: 6b2612b) (details)
  3. Added analysis of BUS structure (commit: 7e8a134) (details)
  4. Generate array of all deployed objects (commit: 1db0092) (details)
  5. Create folder for each CPU (commit: 1f844a8) (details)
  6. Decoupling of the transformation for distribution (commit: a5e5d9f) (details)
  7. Get the name of the system definition (commit: 189f904) (details)
  8. Transformation to the DIST_CALL macro, used for dispatching local and (commit: 225a9e5) (details)
  9. Minor updates to a test of distributed transformation (commit: 1ec2821) (details)
  10. Minor fix to distribution macro transformation (commit: 1d4b44f) (details)
  11. Initial tests using valgrind.  The main file must be removed or it will (commit: b9421a0) (details)
  12. Initial version of transformation for generating ids for deployed (commit: 1bac24c) (details)
  13. Changed set of deployed objects to list, since we need order (commit: 280e0ac) (details)
  14. Clean up comments (commit: 163ab32) (details)
  15. Each object gets unique id (commit: e62d5dd) (details)
  16. Generate the distribution map (commit: 23ff34f) (details)
  17. Generate individual system pr. cpu (commit: e678fa8) (details)
  18. Fixed problem with assignment to inherited fields. (commit: a2f919e) (details)
  19. Changed skip to be an empty block (commit: 7f2d6a2) (details)
  20. Fixed class lookup on fields so that superclasses are properly taken (commit: a517525) (details)
  21. Fished out memory leak in newSetWithValues(). (commit: 8be875a) (details)
  22. Gitignore stuff. (commit: 882a92f) (details)
  23. Notes for myself. (commit: 4082cff) (details)
  24. Eliminating name 'recursiveFree' in favour of 'vdmFree'. (commit: 8e89de2) (details)
  25. Improved makefile. (commit: 935d11a) (details)
  26. Small reduction in memory leak for sets caused by unfreed element in (commit: c13757a) (details)
  27. Some binary files. (commit: 62bd8c1) (details)
  28. Removing binary files. (commit: 3ab5865) (details)
  29. Eliminated large memory leak in sets, confirmed with sets of basic (commit: 0a292ac) (details)
  30. Comment related to the memory leak. (commit: 1c087aa) (details)
  31. Cleanup. (commit: 6db0143) (details)
  32. Removing staging area for memory performance tests from this branch (commit: 9b92d4b) (details)
  33. Revert "Merge commit '7f2d6a2cab1b93e5abecc082923c961c675a917a' into (commit: 57b6ade) (details)
  34. Changed skip to be an empty block (commit: ac551f9) (details)
  35. Fixed class name clashes in suite of VDM-RT tests. (commit: 077d761) (details)
  36. VDM-RT test for OpInheritanceOverride. (commit: 25b44c8) (details)
  37. Method override test constructed to show segmentation fault error as (commit: 71bbd18) (details)
  38. Fixed method overriding problem, but the test model needs to be expanded (commit: 5e21a60) (details)
  39. Expanded operationo override test to cover overriding different (commit: ea75e43) (details)
  40. Add convenience function to construct C integer literals (commit: a7821e9) (details)
  41. Use C integer literals to construct set comprehension variables (commit: 10f49a6) (details)
  42. Update runtime library integer conversion to support reals (commit: cb659be) (details)
  43. Test that set comprehensions work (commit: d67c1fe) (details)
Commit d618b7ffbb59e361ee35c0dda7275b2bb834142f by Miran
Add creation of a distribution map pr. CPU
(commit: d618b7f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java
Commit 6b2612bb9445bf5bc51f08c219f57ea80a3be049 by Miran
Added analysis of the BUS structure
(commit: 6b2612b)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 7e8a134cf1ecde6a9a12eed0dedad231379b243d by Miran
Added analysis of BUS structure
(commit: 7e8a134)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 1db009288bfafddf700252918c3135d7f9247675 by Miran
Generate array of all deployed objects
(commit: 1db0092)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 1f844a82b8df776c1dfa6224cbdecfa54f14128f by Miran
Create folder for each CPU
(commit: 1f844a8)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit a5e5d9f3eb06660e4835c1c1d4ff6687018af094 by Miran
Decoupling of the transformation for distribution
(commit: a5e5d9f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/DistTransTest.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java
Commit 189f9040960c54404b5f7cb8ca695d6abbd8d553 by Miran
Get the name of the system definition
(commit: 189f904)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 225a9e5fdb42a7148f7ea71c37b4ec84153f141c by Miran
Transformation to the DIST_CALL macro, used for dispatching local and
remote calls
(commit: 225a9e5)
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/CallFuncMacroExpTrans.java
Commit 1ec2821fa5e03d8a586b6228a2429924c617e12a by Miran
Minor updates to a test of distributed transformation
(commit: 1ec2821)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/DistTransTest.java (diff)
Commit 1d4b44f317124d3d2bed93890ed696b22df69f6c by Miran
Minor fix to distribution macro transformation
(commit: 1d4b44f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.java (diff)
Commit b9421a04fc65a86e65e9714619c43b5fd5cb85c4 by Victor Bandur
Initial tests using valgrind.  The main file must be removed or it will
class with Google Test's main.
(commit: b9421a0)
The file was addedc/vdmclib/src/test/memperf/memperf.c
The file was addedc/vdmclib/src/test/memperf/memperf
The file was addedc/vdmclib/src/test/memperf/vdmclib.a
Commit 1bac24c4636c9a6e87c49e0678c32d277d35105c by Miran
Initial version of transformation for generating ids for deployed
objects
(commit: 1bac24c)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDepObjId.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
Commit 280e0acf7ee5d79d496410558c1c80ba5f030c74 by Miran
Changed set of deployed objects to list, since we need order
(commit: 280e0ac)
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/GenerateDepObjId.java (diff)
Commit e62d5ddbf80f9d5ddaa6163ff636efda0d43e786 by Miran
Each object gets unique id
(commit: e62d5dd)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDepObjId.java (diff)
Commit 23ff34f94b8dbf8f303b999e6c0c2ac2a788160f by Miran
Generate the distribution map
(commit: 23ff34f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (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/ir/declarations/ADefaultClassDeclIR.vm (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDMTrans.java
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
Commit e678fa80bceeb1aba43d06d74650efedc562bf12 by Miran
Generate individual system pr. cpu
(commit: e678fa8)
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)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit a2f919e1998b1ef04bd634d6416418bac9ba0b77 by Victor Bandur
Fixed problem with assignment to inherited fields.
(commit: a2f919e)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariableInheritance_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableInheritance.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
Commit 7f2d6a2cab1b93e5abecc082923c961c675a917a by Miran
Changed skip to be an empty block
(commit: 7f2d6a2)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ASkipStmIR.vm (diff)
Commit a517525f46d5f3c7954882109a262954c52cd3c6 by Victor Bandur
Fixed class lookup on fields so that superclasses are properly taken
into account.
(commit: a517525)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
Commit 8be875ad0d9339bdc694dc7dd730e887ed21b488 by Victor Bandur
Fished out memory leak in newSetWithValues().
(commit: 8be875a)
The file was modified.gitignore (diff)
The file was modifiedc/vdmclib/src/test/memperf/memperf.c (diff)
The file was modified.gitignore (diff)
The file was modifiedc/vdmclib/src/test/memperf/memperf.c (diff)
Commit 8e89de27d1a004ab744c366f4a5c2f789636008c by Victor Bandur
Eliminating name 'recursiveFree' in favour of 'vdmFree'.
(commit: 8e89de2)
The file was modifiedc/vdmclib/src/test/ExpressionsProduct_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/HashTable_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionForLoop.cpp (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/memperf/memperf.c (diff)
The file was addedc/vdmclib/src/test/memperf/Makefile
Commit c13757ab19ec2befd70cd2efb3ba486e6cc995ea by Victor Bandur
Small reduction in memory leak for sets caused by unfreed element in
vdmFree.
(commit: c13757a)
The file was modifiedc/vdmclib/src/test/memperf/Makefile (diff)
The file was modifiedc/vdmclib/src/test/memperf/memperf.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/memperf/memperf (diff)
The file was modifiedc/vdmclib/src/test/memperf/vdmclib.a (diff)
The file was removedc/vdmclib/src/test/memperf/memperf
The file was removedc/vdmclib/src/test/memperf/vdmclib.a
Commit 0a292ace46c2569da7f8c500dcf9f662fa569cb3 by Victor Bandur
Eliminated large memory leak in sets, confirmed with sets of basic
values.
(commit: 0a292ac)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/test/memperf/memperf.c (diff)
Commit 1c087aa2e68e6b483c118e76c33c46ac07d97898 by Victor Bandur
Comment related to the memory leak.
(commit: 1c087aa)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 9b92d4b48f4b36a701207d26c9298da6c3f0c8b8 by Victor Bandur
Removing staging area for memory performance tests from this branch
until these tests can be integrated into the Google Test framework.
(commit: 9b92d4b)
The file was removedc/vdmclib/src/test/memperf/memperf.c
The file was removedc/vdmclib/src/test/memperf/Makefile
Commit 57b6adeea588758c79e3253739350f0d2456cc0d by Victor Bandur
Revert "Merge commit '7f2d6a2cab1b93e5abecc082923c961c675a917a' into
vpb/development"
This reverts commit bc55b6e7d3c463a9bb1f9c55763620deea4bc876, reversing
changes made to 9b92d4b48f4b36a701207d26c9298da6c3f0c8b8.
(commit: 57b6ade)
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/CGen.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/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ASkipStmIR.vm (diff)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/DistTransTest.java
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.java
The file was modifiedcore/vdm2c/src/main/resources/ccg.ast (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDepObjId.java
Commit ac551f91e448fa74b9422d0c90ccd42eab910d06 by Victor Bandur
Changed skip to be an empty block
(commit: ac551f9)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ASkipStmIR.vm (diff)
Commit 077d761aa443c00823df626f398bd8631268171a by Victor Bandur
Fixed class name clashes in suite of VDM-RT tests.
(commit: 077d761)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionTime.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quote/ExpressionQuote_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableTest.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariableComplex.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuote.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssign.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/SubclassResponsibility.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariableTest.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariableComplex_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassSubclassResponsibility_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/TimeFinderTest.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariable_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariable.vdmrt (diff)
Commit 25b44c8232b12b2448010ba2182aba272043315f by Victor Bandur
VDM-RT test for OpInheritanceOverride.
(commit: 25b44c8)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpInheritanceOverrideTest.vdmrt
Commit 71bbd185dffb49da357b2df2de2f852c4d308c83 by Victor Bandur
Method override test constructed to show segmentation fault error as
seen in ClearSy model.
(commit: 71bbd18)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverrideTest.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/vdm2c-vdm-tests.launch (diff)
Commit 5e21a60d487a131fe315499764bacaf717d2a8fe by Victor Bandur
Fixed method overriding problem, but the test model needs to be expanded
a bit.
(commit: 5e21a60)
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/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
Commit ea75e431e446331383367907af3128f6e15af289 by Victor Bandur
Expanded operationo override test to cover overriding different
combinations of operations.
(commit: ea75e43)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt (diff)
Commit a7821e9ba951abe4c7080d8eb284fffe3db13a94 by Peter W. V. Tran-Jørgensen
Add convenience function to construct C integer literals
(commit: a7821e9)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
Commit 10f49a6f8441003808659dff7a09b088ac521d7f by Peter W. V. Tran-Jørgensen
Use C integer literals to construct set comprehension variables
Closes #42
(commit: 10f49a6)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSetCompStrategy.java (diff)
Commit cb659be747038a7bb7cfba477f0a3c7dfab07169 by Peter W. V. Tran-Jørgensen
Update runtime library integer conversion to support reals
(commit: cb659be)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit d67c1fe05f7fe4e4ea354e2282db3f93eb5ff0b4 by Peter W. V. Tran-Jørgensen
Test that set comprehensions work
Related to #42
(commit: d67c1fe)
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionComprehensions.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp