FailedChanges

Summary

  1. Better way to find enclosing class (details)
  2. Add record test (details)
  3. Convert record types to class types (details)
  4. Convert record declarations to class declarations (details)
  5. Migrating records infrastructure in the native library to use records as (details)
  6. Construct VDM type for records (details)
  7. -  Working on support in the native library for record value semantics. (details)
  8. Emitting definition of class struct field to hold number of fields. (details)
  9. Fix the record/class check used in the templates (details)
  10. Update transformations not to generate vdmClone calls (details)
  11. Working out structure walking mechanism for record value semantics. (details)
  12. Pointer arithmetic to access number-of-fields field in class struct. (details)
  13. Can now walk fields of structure and clone each correctly. (details)
  14. Cleanup imports (details)
  15. Fix construction of 'null' expression (details)
  16. Update literal transformation to use constants (details)
  17. Revert change that was introducing a problem with records (details)
  18. Fix construction of 'null' expression (details)
  19. Cleanup imports (details)
  20. Debugging confirms that vdmClone now duplicates record fields in (details)
  21. Value semantics for record equality checking with vdmEquals confirmed (details)
  22. Add creation of a distribution map pr. CPU (details)
  23. Added analysis of the BUS structure (details)
  24. Added analysis of BUS structure (details)
  25. Generate array of all deployed objects (details)
  26. Create folder for each CPU (details)
  27. Decoupling of the transformation for distribution (details)
  28. Get the name of the system definition (details)
  29. Expanding test for record value semantics with structured values inside (details)
  30. Add 'numFields' field to every class (details)
  31. Privatise fields (details)
  32. Add missing null pointer check (details)
  33. Another record value semantics test using structured fields. (details)
  34. -  Working on freeing records properly. -  Addresses #33. (details)
  35. -  Further work on vdmFree for records. -  Addresses #33. (details)
  36. Test value type semantics for generated records (details)
  37. Undo commit that removes vdmClone calls (details)
  38. Clean-up FieldExpRewriteTrans (details)
  39. -  Fixed bug in vdmClone for records exposed by use of vdmFree on cloned (details)
  40. -  Freeing more of the memory allocated to a record. -  Addresses #33. (details)
  41. -  Comments. -  Addresses #33. (details)
  42. Transformation to the DIST_CALL macro, used for dispatching local and (details)
  43. Minor updates to a test of distributed transformation (details)
  44. Minor fix to distribution macro transformation (details)
  45. Add 'installation' section to the README (details)
  46. Fix README sections (details)
  47. Initial tests using valgrind.  The main file must be removed or it will (details)
  48. Initial version of transformation for generating ids for deployed (details)
  49. Changed set of deployed objects to list, since we need order (details)
  50. Clean up comments (details)
  51. Each object gets unique id (details)
  52. Generate the distribution map (details)
  53. Generate individual system pr. cpu (details)
  54. Fixed problem with assignment to inherited fields. (details)
  55. Changed skip to be an empty block (details)
  56. Fixed class lookup on fields so that superclasses are properly taken (details)
  57. Fished out memory leak in newSetWithValues(). (details)
  58. Gitignore stuff. (details)
  59. Notes for myself. (details)
  60. Eliminating name 'recursiveFree' in favour of 'vdmFree'. (details)
  61. Improved makefile. (details)
  62. Small reduction in memory leak for sets caused by unfreed element in (details)
  63. Some binary files. (details)
  64. Removing binary files. (details)
  65. Eliminated large memory leak in sets, confirmed with sets of basic (details)
  66. Comment related to the memory leak. (details)
  67. Cleanup. (details)
  68. Removing staging area for memory performance tests from this branch (details)
  69. Revert "Merge commit '7f2d6a2cab1b93e5abecc082923c961c675a917a' into (details)
  70. Changed skip to be an empty block (details)
  71. Fixed class name clashes in suite of VDM-RT tests. (details)
  72. VDM-RT test for OpInheritanceOverride. (details)
  73. Method override test constructed to show segmentation fault error as (details)
  74. Fixed method overriding problem, but the test model needs to be expanded (details)
  75. Expanded operationo override test to cover overriding different (details)
  76. Features in native library enabling sequence comprehension. (details)
  77. Add convenience function to construct C integer literals (details)
  78. Use C integer literals to construct set comprehension variables (details)
  79. Update runtime library integer conversion to support reals (details)
  80. Test that set comprehensions work (details)
  81. Update set comprehension strategy to generate the conditional check (details)
  82. Add support for sequence comprehensions (details)
  83. Test that sequence comprehensions work (details)
  84. Add method to find object type VDM name (details)
  85. -  Constructing a correct reference to the "self" object. -  Addresses (details)
  86. Add formatting support for numeric unary expressions (details)
  87. Add support for unary minus (details)
  88. Add support for unary plus (details)
  89. Test that numeric unary expressions are handled correctly (details)
  90. Implementation of newMapVarToGrow() to support map comprehensions. (details)
  91. Implementation of vdmMapGrow() to support map comprehensions. (details)
  92. Comments. (details)
  93. Formatting. (details)
  94. Minor optimization in terms of calling newMapVarToGrow with no key-value (details)
  95. Addition of constructors to the virtual function table. (details)
  96. Fix so that self expression does not output VDM_RECORD instead of (details)
  97. Tests for nested constructor calls, no inheritance. (details)
  98. Support for "is_" check for booleans, integers and reals. (details)
  99. Added header file inclusion for sets, since the mac gcc compiler fails (details)
  100. Eliminated use of "const" qualifier on pointer variables.  There is no (details)
  101. Changing from using "EXPECT_EQ(false / true ... " in native library (details)
  102. Remove garbage file (details)
  103. Clean up imports (details)
  104. Add support for "let be st" constructs (details)
  105. Test that "let be st" constructs code generate correctly (details)
  106. -  Changed to better name for equality function for numbers. -  Handling (details)
  107. Correct map type template (details)
  108. Correct map range template (details)
  109. Correct map domain template (details)
  110. Add support for map enumerations (details)
  111. Add support for map access (details)
  112. Test that maps code generate correctly (details)
  113. Test that map equality/inequality code generate correctly (details)
  114. Correct map inverse template (details)
  115. Test that the map inverse operator code generates correctly (details)
  116. Correct map union template (details)
  117. Test that map union code generates correctly (details)
  118. Set and map equality fixes. (details)
  119. Fix for map equality. (details)
  120. Inserting explicit cast necessary for ATmega target.  Because of a fluke (details)
  121. fixed #50 (details)
  122. Improvement to number operations so that the largest type gets returned (details)
  123. Fixed tests in accordance with reduced maximal type change. (details)
  124. Maximal type fix for vdmMod. (details)
  125. Add v0.0.10 release notes (details)
  126. Prepare the v0.0.10 release (details)
Commit d441a7288103c967f39d6b7504c2b2633acd47b8 by Peter W. V. Tran-Jørgensen
Better way to find enclosing class
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
Commit ee47eefd442a90af8cbaa0c02b9456182d1e16c8 by Peter W. V. Tran-Jørgensen
Add record test
Related to issue #33
The file was addedcore/vdm2c/src/test/resources/vdmrt/value-types/Records.vdmrt
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ValueTypesTests.java
The file was addedcore/vdm2c/src/test/resources/native/records/Records_Tests.cpp
Commit 0ad86df223c77362a696b90579d6d3b1a2604b1f by Peter W. V. Tran-Jørgensen
Convert record types to class types
Addresses issue #18
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecTypeToClassTypeTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit 328af1c3a6ec2c6bb7285e9a54c87e35a6dad7b6 by Peter W. V. Tran-Jørgensen
Convert record declarations to class declarations
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 7cc34be1e9af742763db11cc190efa4fb33e1f18 by Victor Bandur
Migrating records infrastructure in the native library to use records as
classes instead.
modified:   vdmclib/src/main/TypedValue.c
modified:   vdmclib/src/test/Statements_Record_Tests.cpp
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 1ca3aa6bc134e9b8340210da896ccc567df3b578 by Peter W. V. Tran-Jørgensen
Construct VDM type for records
Related to issue #33
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/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 939621add144012a932fa20cb383f66ab4d476bb by Victor Bandur
-  Working on support in the native library for record value semantics.
-  Value semantics respected for records containing only basic types. -
Addresses issue #33.
modified:   c/vdmclib/src/main/TypedValue.c
modified:   c/vdmclib/src/main/Vdm.h
new file:   c/vdmclib/src/test/Statements_Record_Tests_2.cpp
new file:   c/vdmclib/src/test/records/MyRec.c
new file:   c/vdmclib/src/test/records/MyRec.h
new file:   c/vdmclib/src/test/records/RecordTest.c
new file:   c/vdmclib/src/test/records/RecordTest.h
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
The file was addedc/vdmclib/src/test/records/RecordTest.c
The file was addedc/vdmclib/src/test/Statements_Record_Tests_2.cpp
The file was addedc/vdmclib/src/test/records/MyRec.h
The file was addedc/vdmclib/src/test/records/MyRec.c
The file was addedc/vdmclib/src/test/records/RecordTest.h
Commit bc7665a6c2742f9540c9b349f93930f4e178bc0a by Victor Bandur
Emitting definition of class struct field to hold number of fields.
modified: 
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassStateDeclIR.vm
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassStateDeclIR.vm (diff)
Commit b961d78525f3947d8b6a40ac737385ee7aac2f7c by Peter W. V. Tran-Jørgensen
Fix the record/class check used in the templates
Related to issue #33
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 41f806c2d1b708952b7c134d5ba68341c80b6d10 by Peter W. V. Tran-Jørgensen
Update transformations not to generate vdmClone calls
Related to issue #33
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
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)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java (diff)
Commit 637dde89237322529056b74696587207f7f11f48 by Victor Bandur
Working out structure walking mechanism for record value semantics.
modified:   c/vdmclib/src/main/Vdm.h
modified:   c/vdmclib/src/test/records/MyRec.c
modified:   c/vdmclib/src/test/records/MyRec.h
The file was modifiedc/vdmclib/src/test/records/MyRec.c (diff)
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.h (diff)
Commit 105b7ae7fbbba806910cd6799b58c0ce9b97f690 by Victor Bandur
Pointer arithmetic to access number-of-fields field in class struct.
modified:   vdmclib/src/main/TypedValue.c
modified:   vdmclib/src/test/records/MyRec.c
modified:   vdmclib/src/test/records/MyRec.h
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.h (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.c (diff)
Commit 49f919673d30e5d5d2780853089349912a29e525 by Victor Bandur
Can now walk fields of structure and clone each correctly.
modified:   c/vdmclib/src/main/TypedValue.c
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 5baeaf62cf4c83dcb5c45745483d6fe4926e17d2 by Peter W. V. Tran-Jørgensen
Fix construction of 'null' expression
Also tag constructors
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/tags/CTags.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
Commit e0bcb4941475e55cc9a9facf73138a267621365b by Peter W. V. Tran-Jørgensen
Update literal transformation to use constants
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/LiteralInstantiationRewriteTrans.java (diff)
Commit 9dd417b80e685d075dc83bf4de14da3b224d14e7 by Peter W. V. Tran-Jørgensen
Revert change that was introducing a problem with records
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
Commit 67b2195800a3ee64cda0c6218ae1bd2e280f2a3d by Peter W. V. Tran-Jørgensen
Fix construction of 'null' expression
It's not an identifier
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
Commit 1abd3216b571ee425d5de7438712f337bc6916e8 by Victor Bandur
Debugging confirms that vdmClone now duplicates record fields in
accordance with value semantics.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 0676454ef758e98981422b00727d0bd998c43164 by Victor Bandur
Value semantics for record equality checking with vdmEquals confirmed
with simple test (records containing only basic types).
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit d618b7ffbb59e361ee35c0dda7275b2bb834142f by Miran
Add creation of a distribution map pr. CPU
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
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
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
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
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
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java
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
Commit 189f9040960c54404b5f7cb8ca695d6abbd8d553 by Miran
Get the name of the system definition
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 656fdf345b29094f26dffc860da13a81533c1d95 by Victor Bandur
Expanding test for record value semantics with structured values inside
records.
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
The file was removedc/vdmclib/src/test/Statements_Record_Tests_2.cpp
The file was modifiedc/vdmclib/src/test/records/RecordTest.h (diff)
The file was addedc/vdmclib/src/test/records/MyRec2.c
The file was addedc/vdmclib/src/test/records/MyRec2.h
Commit e9054df6f5f2239e62e61cd51126c5c8167c8fdb by Peter W. V. Tran-Jørgensen
Add 'numFields' field to every class
Addresses issue #33
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/transformations/AddFieldTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameConverter.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
Commit 97a29d4a4438f0362e7ef8b3060b23d5b5fa7db2 by Victor Bandur
Another record value semantics test using structured fields.
The file was modifiedc/vdmclib/src/test/records/MyRec2.h (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec2.c (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.h (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
Commit 89200803856f0cb617a03c6a33dd680956ae20d2 by Victor Bandur
-  Working on freeing records properly. -  Addresses #33.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
Commit 819e83cf2525f9a000d059c23f4264156b11de88 by Victor Bandur
-  Further work on vdmFree for records. -  Addresses #33.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
Commit 9d9685d3be23ed8266b2a06c168990f74d09a340 by Peter W. V. Tran-Jørgensen
Test value type semantics for generated records
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ValueTypesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/records/RecordsValueSemanticsTest_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/value-types/RecordsValueSemanticsTest.vdmrt
Commit dab8c97e133ebc303cb0525485a761aec2355740 by Peter W. V. Tran-Jørgensen
Undo commit that removes vdmClone calls
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
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)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldExpRewriteTrans.java (diff)
Commit 256ceaff91e375657d9c5e652f0e6b15ecd6ba41 by Victor Bandur
-  Fixed bug in vdmClone for records exposed by use of vdmFree on cloned
records. -  Addresses #33
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit cce54345465557581d0e11b4649789bcc39c0cba by Victor Bandur
-  Freeing more of the memory allocated to a record. -  Addresses #33.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 037d4caa3ef90f079932350edf2a27bfb627910a by Victor Bandur
-  Comments. -  Addresses #33.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 225a9e5fdb42a7148f7ea71c37b4ec84153f141c by Miran
Transformation to the DIST_CALL macro, used for dispatching local and
remote calls
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
Commit 1ec2821fa5e03d8a586b6228a2429924c617e12a by Miran
Minor updates to a test of distributed transformation
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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.java (diff)
Commit 61e2a893ccb75928e27ca8e0abf59fdf83f3c3e7 by Peter W. V. Tran-Jørgensen
Add 'installation' section to the README
The file was modifiedreadme.md (diff)
The file was modifiedreadme.md (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.
The file was addedc/vdmclib/src/test/memperf/memperf.c
The file was addedc/vdmclib/src/test/memperf/vdmclib.a
The file was addedc/vdmclib/src/test/memperf/memperf
Commit 1bac24c4636c9a6e87c49e0678c32d277d35105c by Miran
Initial version of transformation for generating ids for deployed
objects
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
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
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
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)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDMTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/CDistTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
Commit e678fa80bceeb1aba43d06d74650efedc562bf12 by Miran
Generate individual system pr. cpu
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)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit a2f919e1998b1ef04bd634d6416418bac9ba0b77 by Victor Bandur
Fixed problem with assignment to inherited fields.
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)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariableInheritance_Tests.cpp (diff)
Commit 7f2d6a2cab1b93e5abecc082923c961c675a917a by Miran
Changed skip to be an empty block
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.
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().
The file was modifiedc/vdmclib/src/test/memperf/memperf.c (diff)
The file was modified.gitignore (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'.
The file was modifiedc/vdmclib/src/test/ExpressionForLoop.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/HashTable_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsProduct_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was addedc/vdmclib/src/test/memperf/Makefile
The file was modifiedc/vdmclib/src/test/memperf/memperf.c (diff)
Commit c13757ab19ec2befd70cd2efb3ba486e6cc995ea by Victor Bandur
Small reduction in memory leak for sets caused by unfreed element in
vdmFree.
The file was modifiedc/vdmclib/src/test/memperf/Makefile (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/memperf/memperf.c (diff)
The file was modifiedc/vdmclib/src/test/memperf/vdmclib.a (diff)
The file was modifiedc/vdmclib/src/test/memperf/memperf (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.
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.
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.
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.
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ASkipStmIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/GenerateDepObjId.java
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/transformations/CallFuncMacroExpTrans.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/ir/declarations/ADefaultClassDeclIR.vm (diff)
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/DistTransTest.java
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/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/ccg.ast (diff)
Commit ac551f91e448fa74b9422d0c90ccd42eab910d06 by Victor Bandur
Changed skip to be an empty block
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.
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariableComplex.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quote/ExpressionQuote_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/ClassStaticInstanceVariableComplex_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariable.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/ClassSubclassResponsibility_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/ClassInstanceVariableSeqAssign.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuote.vdmrt (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/ClassPublicFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionTime.vdmrt (diff)
Commit 25b44c8232b12b2448010ba2182aba272043315f by Victor Bandur
VDM-RT test for OpInheritanceOverride.
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.
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/vdm2c-vdm-tests.launch (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverrideTest.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt (diff)
Commit 5e21a60d487a131fe315499764bacaf717d2a8fe by Victor Bandur
Fixed method overriding problem, but the test model needs to be expanded
a bit.
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
Commit ea75e431e446331383367907af3128f6e15af289 by Victor Bandur
Expanded operationo override test to cover overriding different
combinations of operations.
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
Commit e3e5b301f9ae5ef6ac8b1a92968c33991272406c by Victor Bandur
Features in native library enabling sequence comprehension.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
Commit a7821e9ba951abe4c7080d8eb284fffe3db13a94 by Peter W. V. Tran-Jørgensen
Add convenience function to construct C integer literals
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
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
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
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionComprehensions.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
Commit 147288385eb9e65de7024869dec49068bba3125f by Peter W. V. Tran-Jørgensen
Update set comprehension strategy to generate the conditional check
Related to issue #42
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSetCompStrategy.java (diff)
Commit ced33eda8acf2d27bd64e1401c86ed768cdbe3b6 by Peter W. V. Tran-Jørgensen
Add support for sequence comprehensions
Related to issue #42
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/SetCompToBlockTrans.java
Commit 2cc5cae32a3cb3dee88c62676645dd0830a2aa0c by Peter W. V. Tran-Jørgensen
Test that sequence comprehensions work
Closes #40
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSeqCompStrategy.java
The file was modifiedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionComprehensions.vdmrt (diff)
Commit 58be394cebd9cd0e37a704b12bb5c100e8f66d45 by Peter W. V. Tran-Jørgensen
Add method to find object type VDM name
Related to issue #2
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 9b337654931f940dbb1c0db37db3b9acc863ae23 by Victor Bandur
-  Constructing a correct reference to the "self" object. -  Addresses
issue #2.
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASelfExpIR.vm (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionSelf.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/self/ExpressionsSelf_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
Commit 4941f54fbab5e45a932f2960aeb3d40dbd42defe by Peter W. V. Tran-Jørgensen
Add formatting support for numeric unary expressions
Addresses issue #46
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit ade3c8ad0e213e32bbe18bcae0aa3b9847fe2cc9 by Peter W. V. Tran-Jørgensen
Add support for unary minus
Addresses issue #46
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMinusUnaryExpIR.vm (diff)
Commit 3e9d36ca3a6ce004b523699dab5e819d177870fe by Peter W. V. Tran-Jørgensen
Add support for unary plus
Addresses issue #46
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/APlusUnaryExpIR.vm (diff)
Commit 1772386bbcf3e8f2d3fbdfb497d2148b65327d8c by Peter W. V. Tran-Jørgensen
Test that numeric unary expressions are handled correctly
Closes #46
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionNumeric.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/numeric/ExpressionsNumeric_Tests.cpp (diff)
Commit 2df0af919377d56ed323fe7af581bed4c600d2d9 by Victor Bandur
Implementation of newMapVarToGrow() to support map comprehensions.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
Commit 024428eeb12106caae9f8f72b1cb7b658d7af392 by Victor Bandur
Implementation of vdmMapGrow() to support map comprehensions.
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit d72e4007c4a37f7c564f761a2ff212948fac5117 by Victor Bandur
Minor optimization in terms of calling newMapVarToGrow with no key-value
pairs.
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 6f7c67062d29ac52ef570f75d3de1c3e5bc9a5e3 by Victor Bandur
Addition of constructors to the virtual function table.
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/VTableGenerator.java (diff)
Commit 1e392e0c2c218b78735d8a41b304bf3e0b83f5eb by Victor Bandur
Fix so that self expression does not output VDM_RECORD instead of
VDM_CLASS.
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASelfExpIR.vm (diff)
Commit 5d8fd465329abe4b8959eaa6d9d448a6408cd12c by Victor Bandur
Tests for nested constructor calls, no inheritance.
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassConstructors.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassConstructors_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit 4a4d6775f3df957267e1c93d9f5a07a1612e5efc by Victor Bandur
Support for "is_" check for booleans, integers and reals.
The file was addedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARealIsExpIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AIntIsExpIR.vm (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ABoolIsExpIR.vm (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 9f6cd3a9a96c7758b18c02e1e48057a5bd577f5f by Miran
Added header file inclusion for sets, since the mac gcc compiler fails
the Nativetests without it.
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
Commit bf8cc05bbc62f04ab2c15f33a0fdccf9a0dcf6b7 by Victor Bandur
Eliminated use of "const" qualifier on pointer variables.  There is no
straightforward way to check when they should be discarded so that
compiler warnings are eliminated.
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AVarDeclIR.vm (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 9cc14c723dbc7fce4543de9781ba9a08f2ded157 by Victor Bandur
Changing from using "EXPECT_EQ(false / true ... " in native library
tests to "EXPECT_FALSE" and "EXPECT_TRUE" to avoid a gcc compiler bug.
The file was modifiedc/vdmclib/src/test/ExpressionsBoolean_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/TypeofTest_Tests.cpp (diff)
The file was removedcore/vdm2c/src/main/resources/test.vdmpp
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
Commit 54eaad6fed2b80aec2464f2a7a3d48a24ce8feef by Peter W. V. Tran-Jørgensen
Add support for "let be st" constructs
Addresses issue #45
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CLetBeStStmTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CForIterator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ALetBeStNoBindingRuntimeErrorExpIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ARaiseErrorStmIR.vm (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CLetBeStStrategy.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit c5392d6790a89f818face94a83f8e563e6bbaf04 by Peter W. V. Tran-Jørgensen
Test that "let be st" constructs code generate correctly
Closes #45
The file was addedcore/vdm2c/src/test/resources/native/let/ExpressionsLetBeSt_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionLetBeSt.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
Commit f184c8950ee561eda246a5d9560e3d4f644fade2 by Victor Bandur
-  Changed to better name for equality function for numbers. -  Handling
call to "vdmEquals" for maps correctly.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionForLoop.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
Commit e8e9d72703b54713d5634948fd4f7a51ddeb4764 by Peter W. V. Tran-Jørgensen
Correct map type template
Addresses #44
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/AMapMapTypeIR.vm (diff)
Commit 463e802ccb8fd8804adf35790a4ce8796580d5c0 by Peter W. V. Tran-Jørgensen
Correct map range template
Addresses #44
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapRangeUnaryExpIR.vm (diff)
Commit 25633c2acd7677bc0e5b47ab59fe7d26b02fc860 by Peter W. V. Tran-Jørgensen
Correct map domain template
Addresses #44
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapDomainUnaryExpIR.vm (diff)
Commit 4dab773c112b0536e34337d6006286a542c613e3 by Peter W. V. Tran-Jørgensen
Add support for map enumerations
Addresses #44
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEnumMapExpIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 53cabfb564b9edaf08cba1f6b8b79c09b9931cf8 by Peter W. V. Tran-Jørgensen
Add support for map access
Addresses #44
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AApplyExpIR.vm (diff)
Commit aede644efcda243685706de8a3483e1dc0a4f562 by Peter W. V. Tran-Jørgensen
Test that maps code generate correctly
Addresses #44
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt
Commit 398f7ea6f762f5521fa56c1aef43575e8e59e068 by Peter W. V. Tran-Jørgensen
Test that map equality/inequality code generate correctly
Addresses #44
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
Commit a2baec1ac3264acd20ae4e7e648708c9e781529f by Peter W. V. Tran-Jørgensen
Correct map inverse template
Addresses #44
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapInverseUnaryExpIR.vm (diff)
Commit aa772273f323c0174fdd15303dc33f0bbc4cb9d0 by Peter W. V. Tran-Jørgensen
Test that the map inverse operator code generates correctly
Addresses #44
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
Commit bfc92c20c91e5dc813ffd161d2fc6f491cfba00c by Peter W. V. Tran-Jørgensen
Correct map union template
Addresses #44
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapUnionBinaryExpIR.vm (diff)
Commit 82c1970d05f12d68eed4199a9bb407a286489785 by Peter W. V. Tran-Jørgensen
Test that map union code generates correctly
Addresses #44
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
Commit 09e196e9a96e671af3c84c3030a5d8484dca2590 by Victor Bandur
Set and map equality fixes.
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 2d2f3b5dfc299027f886f0c93f2e5cf2c3b7032c by Victor Bandur
Inserting explicit cast necessary for ATmega target.  Because of a fluke
this was not necessary on the development computers.
The file was modifiedc/vdmclib/src/test/StructOffsetTest_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit 6fd06c952f833960ca6bd4baa3b4b9ea6070e6c9 by Victor Bandur
Improvement to number operations so that the largest type gets returned
in some cases, not simply real.
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 79015ebad3e46f987d9e85f559f49f66ddb58d76 by Victor Bandur
Fixed tests in accordance with reduced maximal type change.
The file was modifiedc/vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassPrivateCallABC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassBTest.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassPublicFieldABC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassPublicCallABC_Tests.cpp (diff)
Commit ad349061706ddec89a8cdf69da07b541c10296cf by Victor Bandur
Maximal type fix for vdmMod.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was addedrelease/ReleaseNotes_0.0.10.md
The file was modifiedoverture.release.properties (diff)