SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.1.4 (details)
  2. [maven-release-plugin] prepare for next development iteration (details)
  3. Update to CMake file with respect to including VdmModelFeatures.h file. (details)
  4. Refactor test code (details)
  5. Mangle token types (details)
  6. Update CompatibleMethodCollector to handle pre and postcondition (details)
  7. Remove packaging phase from Jenkinsfile (details)
  8. Convert tokens to apply expressions (details)
  9. Update garbage collection transformation to handle tokens (details)
  10. Fix handling of token values in literal transformation (details)
  11. Move bool conversion to comprehension strategies (details)
  12. Add support for forall (quantified) expressions (details)
  13. Test translation of forall (quantified expressions) (details)
  14. Support 'exists' quantified expressions (details)
  15. More testing of 'forall' and 'exists' (details)
  16. Conditionally including ctype.h for use in CSV library. (details)
  17. Code cleanup. (details)
  18. Noticed and fixed bug that allocated a lot more memory than necessary (details)
  19. Factored out unpackstring utility function for use with token types. (details)
  20. WIP adding token type support. (details)
  21. WIP support for token types. (details)
  22. Pass 'this' to field initialisers (details)
  23. Update VDM2C CLI to accept VDM++ files (details)
  24. Update test file filter (details)
  25. Runtime library support for token types. (details)
  26. Test code-generation of tokens (details)
  27. Initial runtime support for creation of GC compatible sequences. (details)
  28. -  Almost complete support for GC-compatible sequences. -  Missing (details)
  29. Convert sequence enumerations to apply expressions (details)
  30. Update garbage collection transformation to handle sequences (details)
  31. Remove redundant test (details)
  32. Remove test code that is not used anymore (details)
  33. Ensure that test models are type correct (details)
  34. Remove declaration templates that are not used (details)
  35. Clean up expression templates (details)
  36. Clean up statement templates (details)
  37. Clean up type templates (details)
  38. Print C output folder as the last step (details)
  39. Change NameMangler to not report errors for unsupported types (details)
  40. Remove header files if the corresponding C sources cannot be generated (details)
  41. WIP GC support for sets. (details)
  42. Head file cleanup. (details)
  43. Added set-valued functions. (details)
  44. WIP GC support for maps in runtime library. (details)
  45. Ensure folder structure when file is emitted (details)
  46. Refactor collection enumeration transformation (details)
  47. Transform set enumerations to apply expressions (details)
  48. Update garbage collection transformation to handle newSetVar (details)
  49. Add GC support for 'tl' (details)
  50. Add GC support for 'len' (details)
  51. Add GC support for 'hd' (details)
  52. Add GC support for sequence concatenation (details)
  53. Add GC support for 'reverse' (details)
  54. Clean up apply template (details)
  55. Add GC support for sequence look-up (details)
  56. WIP GC support for maps. -  GC interface for implemented. -  vdmFree (details)
  57. WIP GC support for maps. -  vdmClone implemented. (details)
  58. Initial complete GC support for maps for non-GLib hash table branch. (details)
  59. WIP GC support for maps with GLib hash table implementation. (details)
  60. GC support for newMapVarToGrow. (details)
  61. -  Missing declarations. -  Fix for mismatched va_arg. (details)
  62. -  Memory leak fixes for maps. -  Addresses # 87. (details)
  63. Eliminated some compiler warnings related to const qualifiers on (details)
  64. -  GC interface for products. -  Addresses #87. (details)
  65. -  Pretty printing support for products (tuples). -  Addresses #88. (details)
  66. Add GC support for vdmSetElementAt (used by CForIterator) (details)
  67. Add GC support for 'in set' (details)
  68. Add GC support for 'union' (details)
  69. Add GC support for 'inter' (details)
  70. Add GC support for '\' (set difference) (details)
  71. Add GC support for 'subset' (details)
  72. Add GC support for 'psubset' (details)
  73. Add GC support for 'card' (details)
  74. Add GC support for 'dunion' (details)
  75. Add GC support for 'dinter' (details)
  76. Add GC support for 'power' (details)
  77. Add GC support for map enumerations (details)
  78. Add GC support for 'dom' (details)
  79. Fix handling of 'newMapVarToGrowGC' (details)
  80. Add GC support for 'rng' (details)
  81. Clean up imports (details)
  82. Add GC support for 'munion' (details)
  83. Fix map enumerations, GC version (details)
  84. Interface cleanup in runtime library for sequences. (details)
  85. Add GC support for map look-ups (details)
  86. Convert tuple expressions to apply expressions (details)
  87. Add GC support for tuple expressions (details)
  88. Add GC support for tuple field access (details)
  89. Run value type tests with GC enabled (details)
  90. Interface cleanup for sets. (details)
  91. -  Interface cleanup for maps in runtime library. -  Addresses #87. (details)
  92. -  Interface cleanup for products in runtime library. -  Addresses #87. (details)
  93. Conditionally excluding PrettyPrint. (details)
  94. Fix in vdmSetGrow in accordance with errors from valgrind. (details)
  95. Mechanism that detects interference with current stack frame variables (details)
  96. -  Fixed memory leak in maps. -  Addresses #87. (details)
  97. -  Set clone test in accordance with observation on generated AlarmPP (details)
  98. -  GC support for newSetVarToGrow. -  Addresses #87. (details)
  99. -  Modifications and test for GC support for sets. -  Addresses #87. (details)
  100. Add GC support for 'newSetVarToGrowGC' (details)
  101. -  Enabled compiler warnings in runtime library. -  Cleanup based on (details)
  102. Enabled compiler warnings in generated code CMake file. (details)
  103. -  Fix for vdmSetVarToGrowGC crash. -  Addresses #87. (details)
  104. -  Improvement to GC stack variable interference detection mechanism. - (details)
  105. Cleanup. (details)
  106. Don't pass addresses of "return" variables to garbage collector (details)
  107. Add GC support for 'elems' (details)
  108. Add GC support for 'inds' (details)
  109. Reverted "Cleanup" commit causing failure on build server. (details)
  110. Support map overrides, the '++' operator (no GC) (details)
  111. Support distributed map merge, the 'merge' operator (no GC) (details)
  112. Support distributed map-domain-restrict-to operator (no GC) (details)
  113. Support map-domain-restrict-by operator (no GC) (details)
  114. Change argument order for map-range operators (details)
  115. Support map-range-restrict-to operator (no GC) (details)
  116. -  Made runtime library code C99-compliant. -  Addresses #91. (details)
  117. Support map-range-restrict-by operator (no GC) (details)
  118. Remove TODO that does not really apply anymore (details)
  119. Add GC support for map override (details)
  120. Add GC support for distributed merge (details)
  121. Add GC support for map-dom-restrict-to (details)
  122. Add GC support for map-dom-resrict-by (details)
  123. Add GC support for map-range-restrict-to (details)
  124. Add GC support for map-restrict-range-by (details)
  125. -  Further C89 improvements in runtime library. -  Addresses #91. (details)
  126. -  CMakeLists.txt file for generator tests now forces C99 dialect. - (details)
  127. Add missing 'clone' call (details)
  128. Add missing type to constructor call (details)
  129. Approximate macro expression type (details)
  130. -  Changing comments to C89 style. -  Addresses #91. (details)
  131. Accounting for CUSTOM_IO definition in FMU export. (details)
  132. -  Including VdmRecord.h in Vdm.h. -  Addresses #21 (details)
  133. Make generated code C89 compliant (details)
  134. Add release notes for version 0.1.6 (details)
  135. Prepare release of VDM2C version 0.1.6 (details)
Commit 9b4a56a333f57837f3c9eb101f7be83ea8f3fa38 by jenkins
[maven-release-plugin] prepare release Release/0.1.4
Bump ide/ to version 0.1.4
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
Commit 49a032790648aaa02423cfe42397999a5fa9c97f by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.5-SNAPSHOT
The file was modifiedc/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
Commit 1f0e799d25a63f8237d1354a9076f10389a9fc2c by Victor Bandur
Update to CMake file with respect to including VdmModelFeatures.h file.
The file was modifiedc/vdmclib/src/main/ProjectCMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CasesTest.java (diff)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/MultiFileModelTestBase.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit fd9a73f7cd673a85990290b0529ee0ce50d71312 by Peter W. V. Tran-Jørgensen
Update CompatibleMethodCollector to handle pre and postcondition
expressions
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompatibleMethodCollector.java (diff)
Commit e70575153a6f6e84729751e7f168976209f6c0ea by Peter W. V. Tran-Jørgensen
Remove packaging phase from Jenkinsfile
The file was modifiedJenkinsfile (diff)
Commit aa52ae63801dcd96a702ba07a8bee6a4751435bb by Peter W. V. Tran-Jørgensen
Convert tokens to apply expressions
Addresses issue #80
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMkBasicExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/LiteralInstantiationRewriteTrans.java (diff)
Commit 23a77c24d954727a99678f2c143114d5330bc273 by Peter W. V. Tran-Jørgensen
Update garbage collection transformation to handle tokens
Addresses issue #80
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 0298ce1b5f0da38d9db90ea11b029fef5cc75d46 by Peter W. V. Tran-Jørgensen
Fix handling of token values in literal transformation
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/LiteralInstantiationRewriteTrans.java (diff)
Commit e6571f9302c650a329bd60866064ce97199d7909 by Peter W. V. Tran-Jørgensen
Move bool conversion to comprehension strategies
Related to issue #82
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSetCompStrategy.java (diff)
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/utils/CSeqCompStrategy.java (diff)
Commit 16ce987f32443aa49bf2b8a70c606efa1d71613a by Peter W. V. Tran-Jørgensen
Add support for forall (quantified) expressions
Addresses #82
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/COrdinaryQuantifierStrategy.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
Commit c99cf607cea5596656f1087f5ae17d60790d50bf by Peter W. V. Tran-Jørgensen
Test translation of forall (quantified expressions)
Addresses #82
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/quantifiers/ExpressionQuantifiers_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuantifiers.vdmrt
Commit 475ab280647a609f80588107b1b8e1127a273260 by Peter W. V. Tran-Jørgensen
Support 'exists' quantified expressions
Addresses #82
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuantifiers.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quantifiers/ExpressionQuantifiers_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
Commit 77af8646faf669047a1e3bcb2cfef206d4ff0afd by Peter W. V. Tran-Jørgensen
More testing of 'forall' and 'exists'
Addresses #82
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuantifiers.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quantifiers/ExpressionQuantifiers_Tests.cpp (diff)
Commit be21520b201285a2c7eebba8090c62ada11bb8c7 by Victor Bandur
Conditionally including ctype.h for use in CSV library.
The file was modifiedc/vdmclib/src/main/CSVLib.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/main/VdmRecord.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit fa3e1285510cace80968875c1d87bf25c6b6734d by Victor Bandur
Noticed and fixed bug that allocated a lot more memory than necessary
for TVPs inside collections.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 7c8f77dbbfa0067dec4b5fb1d28f3db8f3c2c8a1 by Victor Bandur
Factored out unpackstring utility function for use with token types.
The file was modifiedc/vdmclib/src/main/IOLib.c (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.h (diff)
The file was addedc/vdmclib/src/main/VdmUnpackString.c
The file was addedc/vdmclib/src/main/VdmUnpackString.h
The file was modifiedc/vdmclib/src/main/IOLib.h (diff)
Commit 0da16de6b2537064650c6657e0c7f337e31ff4e4 by Victor Bandur
WIP adding token type support.
The file was modifiedc/vdmclib/src/main/VdmGC.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 modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 4f8e71f19f641cc7a3afdd0b8e3f88828e11dad5 by Victor Bandur
WIP support for token types.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was addedc/vdmclib/src/test/TokenType_Tests.cpp
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 52ae1b881a4fc6ec15e4607bb5e96c661e86b2c9 by Peter W. V. Tran-Jørgensen
Pass 'this' to field initialisers
Closes #83
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java (diff)
Commit 52c71f8f809ecc06c3446f568d38ea1b3d429b47 by Peter W. V. Tran-Jørgensen
Update VDM2C CLI to accept VDM++ files
Closes #84
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/MultiFileModelTestBase.java (diff)
Commit 68883d0751587cd17091612f247f4c635b6bcde3 by Victor Bandur
Runtime library support for token types.
The file was modifiedc/vdmclib/src/test/TokenType_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 05c5055e489054f5a3066e6559541bf2af3807af by Peter W. V. Tran-Jørgensen
Test code-generation of tokens
Closes #80
The file was addedcore/vdm2c/src/test/resources/native/token/ExpressionToken_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionToken.vdmrt
Commit 04f0ea5dbe90c087f87565aec4a95da04b0ee67c by Victor Bandur
Initial runtime support for creation of GC compatible sequences.
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
Commit 1bac2398465603ef9b60ad173729a09d014e53ec by Victor Bandur
-  Almost complete support for GC-compatible sequences. -  Missing
set-valued functions until GC support is added for sets.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
Commit 912216594d9b5f6841cf7b287c248a3ea9d0aa54 by Peter W. V. Tran-Jørgensen
Convert sequence enumerations to apply expressions
Work on issue #85
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEnumSeqExpIR.vm
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/SeqTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit 965b6b4daa3643c80fe10af3cbca78904a13dbb8 by Peter W. V. Tran-Jørgensen
Update garbage collection transformation to handle sequences
Closes #85
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CExamplesTest.java
Commit 40ae418797d6ece1ceb9c228b77d5ac629b75c6e by Peter W. V. Tran-Jørgensen
Remove test code that is not used anymore
The file was removedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/BaseGeneratorTest.java
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit 86cb93e65e8f375e98e2afe2eada7ab00df039ea by Peter W. V. Tran-Jørgensen
Ensure that test models are type correct
Closes #86
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 8e90c3966bcd6f1be613394120c6108d4a42f907 by Peter W. V. Tran-Jørgensen
Remove declaration templates that are not used
Addresses #79
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ACatchClauseDeclIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AThreadDeclIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ARecordDeclIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AFieldDeclIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AInterfaceDeclIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ATypeDeclIR.vm
Commit d22242664b3d03b21d0638b4182b17728b129221 by Peter W. V. Tran-Jørgensen
Clean up expression templates
Addresses #79
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ANat1IsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ANotImplementedExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AInstanceofExpIR.vm
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/APlusNumericBinaryExpIR.vm (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapOverrideBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AAndBoolBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AStringLiteralExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATupleIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/APatternMatchRuntimeErrorExpIR.vm
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ALessNumericBinaryExpIR.vm (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AStringToSeqUnaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ANewExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AOrBoolBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/APreCondRuntimeErrorExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AThreadIdExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASeqToStringUnaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADistMergeUnaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AHistoryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResByBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResToBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATimesNumericBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATupleCompatibilityExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMissingMemberRuntimeErrorExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResByBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASeqModificationBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AGeneralIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AGreaterNumericBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEqualsBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AGreaterEqualNumericBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATokenIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapSeqGetExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARatIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATupleSizeExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapletExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASubSeqExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ACharIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResToBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATypeArgExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AModNumericBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADivideNumericBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASuperVarExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AAnonymousClassExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADistConcatUnaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ANatIsExpIR.vm
Commit 57bd381d0be501598339813fabd7169a83691f45 by Peter W. V. Tran-Jørgensen
Clean up statement templates
Addresses #79
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/APlainCallStmIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/AMetaStmIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/AAssignmentStmIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ACallObjectStmIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/AMapSeqUpdateStmIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ATryStmIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ASuperCallStmIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ACallObjectExpStmIR.vm
Commit a2dbc3abeda857102e9378918358f644b9bfc783 by Peter W. V. Tran-Jørgensen
Clean up type templates
Closes #79
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/ARatBasicTypeWrappersTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/AMethodTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/ARecordTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/AIntBasicTypeWrappersTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/ABoolBasicTypeWrappersTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/AInterfaceTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/ARealBasicTypeWrappersTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/ANatBasicTypeWrappersTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/AStringTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/ACharBasicTypeWrappersTypeIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/ANat1BasicTypeWrappersTypeIR.vm
Commit 926f70e0ef7f2ebd9e1b86035d1cf18f6a51a439 by Peter W. V. Tran-Jørgensen
Print C output folder as the last step
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 12c9ad00ab25017889716d00f9faaac482489970 by Peter W. V. Tran-Jørgensen
Change NameMangler to not report errors for unsupported types
Related to #78
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit 58568432ebd698577ce27ffca317838c254a300d by Peter W. V. Tran-Jørgensen
Remove header files if the corresponding C sources cannot be generated
Closes #78
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 658532b6a0fab6ad6bb7a6c41eb09033e94b2678 by Victor Bandur
WIP GC support for sets.
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
Commit 145817a837c2301c372384be07955ad23c0233f7 by Victor Bandur
Added set-valued functions.
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit 392cfbe188874891a82f4ad1c5c2b7fee6ee613e by Victor Bandur
WIP GC support for maps in runtime library.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
Commit 6b2c5236596dbe6c252e09f9042abdc39ed85c98 by Peter W. V. Tran-Jørgensen
Ensure folder structure when file is emitted
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 72b8396fc51d537b4e55116c6e61456d1bc68a26 by Peter W. V. Tran-Jørgensen
Refactor collection enumeration transformation
Work on #87
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/SeqTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 0fcdbb7a21100a86be108ef1f653b8fa3d3cac75 by Peter W. V. Tran-Jørgensen
Transform set enumerations to apply expressions
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEnumSetExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 9d49848c79067fbbfcaa9b5b36069570f3888c82 by Peter W. V. Tran-Jørgensen
Update garbage collection transformation to handle newSetVar
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 20649506daf0e0767cec42cf6ee13aaaac5a1656 by Peter W. V. Tran-Jørgensen
Add GC support for 'tl'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATailUnaryExpIR.vm
Commit d981474e05a91450a1da0c2c38f8abdc5b08e8ee by Peter W. V. Tran-Jørgensen
Add GC support for 'len'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ALenUnaryExpIR.vm
Commit 97ed1348a76a279e31a3bf8341e189d578dabe62 by Peter W. V. Tran-Jørgensen
Add GC support for 'hd'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AHeadUnaryExpIR.vm
Commit c79e4d45748b10664c37045ce5d724dab6f2f0fd by Peter W. V. Tran-Jørgensen
Add GC support for sequence concatenation
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASeqConcatBinaryExpIR.vm
Commit f4163ceb2d2a300f3adbea270110187c15766721 by Peter W. V. Tran-Jørgensen
Add GC support for 'reverse'
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AReverseUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AApplyExpIR.vm (diff)
Commit c4c5cf1a9a5e14dc34b12a25abbfddee47025d06 by Peter W. V. Tran-Jørgensen
Add GC support for sequence look-up
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AApplyExpIR.vm (diff)
Commit 37f476f74809d00f2fe639aaabbb9c9772f0297f by Victor Bandur
WIP GC support for maps. -  GC interface for implemented. -  vdmFree
implemented -  vdmClone not yet implemented
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/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
Commit 923dbf35a8c065ea78885664912ea8e7747a0dfe by Victor Bandur
WIP GC support for maps. -  vdmClone implemented.
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/TypedValue.c (diff)
Commit 84167d624a3ce694bbca941f3fe037de37a24b9b by Victor Bandur
Initial complete GC support for maps for non-GLib hash table branch.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 3cbb880f8d4c7e95411760d4a66bb5e63a16599c by Victor Bandur
WIP GC support for maps with GLib hash table implementation.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 4b58c73ad00d11d476c275e58145dc3b32aacf7f by Victor Bandur
GC support for newMapVarToGrow.
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 8fea1bbd71048370a45b402b8f8a75d3fa8ec2d7 by Victor Bandur
-  Missing declarations. -  Fix for mismatched va_arg.
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit d6a6cc8e223da077bbc884c8539aa3642465b616 by Victor Bandur
-  Memory leak fixes for maps. -  Addresses # 87.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit fc9444aa421ca5962c527b1daf858b993deda49d by Victor Bandur
Eliminated some compiler warnings related to const qualifiers on
pointers.
The file was modifiedc/vdmclib/src/main/CSVLib.c (diff)
The file was modifiedc/vdmclib/src/test/ClassCSV_Tests.cpp (diff)
Commit 12c280339b97c9bc4e1d369372164a06f27b6284 by Victor Bandur
-  GC interface for products. -  Addresses #87.
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
Commit 2e4c9a82bff2e3f2b8038c53f25b6ab13b5491c6 by Victor Bandur
-  Pretty printing support for products (tuples). -  Addresses #88.
The file was modifiedc/vdmclib/src/main/IOLib.c (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.h (diff)
The file was modifiedc/vdmclib/src/test/ClassIO_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
Commit 88a7810c497462227fafde72ddaf6c93614ac9ad by Peter W. V. Tran-Jørgensen
Add GC support for vdmSetElementAt (used by CForIterator)
Work on #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CForIterator.java (diff)
Commit 3e814168964a5e0b8f220ee375af1802a786051a by Peter W. V. Tran-Jørgensen
Add GC support for 'in set'
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AInSetBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit ea6cb15cfe97fb6946974d8059683a894aa4f770 by Peter W. V. Tran-Jørgensen
Add GC support for 'union'
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASetUnionBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 2f95fe08d1a34638724311a1ba51610ccc24beb0 by Peter W. V. Tran-Jørgensen
Add GC support for 'inter'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASetIntersectBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 7010cd248eb278ef5c253fe5599940a67074e283 by Peter W. V. Tran-Jørgensen
Add GC support for '\' (set difference)
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASetDifferenceBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 0a04908c6d27e54faf919c2691b092b0856ee51c by Peter W. V. Tran-Jørgensen
Add GC support for 'subset'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASetSubsetBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit fce0830ef5ba66bf1a02d9b392ba25be43dc26b3 by Peter W. V. Tran-Jørgensen
Add GC support for 'psubset'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASetProperSubsetBinaryExpIR.vm
Commit 5818e258d4eb931733f1139d4fadca67b36d32f4 by Peter W. V. Tran-Jørgensen
Add GC support for 'card'
Addresses #87
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/utils/CLetBeStStrategy.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ACardUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 32066ade80a172bf7a5ef3606efb98e5b6335fd8 by Peter W. V. Tran-Jørgensen
Add GC support for 'dunion'
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADistUnionUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 3b1f124880d810345b5a5638415bfa2ceb0d7427 by Peter W. V. Tran-Jørgensen
Add GC support for 'dinter'
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADistIntersectUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 7c5820ee2bf9ca7549a6cadb2e227ec0446ea67a by Peter W. V. Tran-Jørgensen
Add GC support for 'power'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/APowerSetUnaryExpIR.vm
Commit d2bca852bfc174a983a6f2202da9aede5d365909 by Peter W. V. Tran-Jørgensen
Add GC support for map enumerations
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEnumMapExpIR.vm
Commit e99c87fdb434b0496d23da9e22334cef95282d96 by Peter W. V. Tran-Jørgensen
Add GC support for 'dom'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapDomainUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 28d3445814a01453db597e7f751848fa3967eab1 by Peter W. V. Tran-Jørgensen
Fix handling of 'newMapVarToGrowGC'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 0fabfdfb1240b7e5dae7e012edc7c978444f965c by Peter W. V. Tran-Jørgensen
Add GC support for 'rng'
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapRangeUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit e48c1f8c83d34882531c6b14d07c4103e8914eee by Peter W. V. Tran-Jørgensen
Add GC support for 'munion'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapUnionBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit f3e204af12de6e88524e903887eac518cbc57593 by Peter W. V. Tran-Jørgensen
Fix map enumerations, GC version
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit e585d7668a3dfafb55053e9e4c7f6d31bbc439cc by Victor Bandur
Interface cleanup in runtime library for sequences.
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
Commit c525cdb8868117d9ffd4cb3a8b78b57dd5183455 by Peter W. V. Tran-Jørgensen
Add GC support for map look-ups
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AApplyExpIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 6c213d4c3927207fe0eabce5e9802d7de8ee3f69 by Peter W. V. Tran-Jørgensen
Convert tuple expressions to apply expressions
Addresses #87
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/TupleTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATupleExpIR.vm
Commit c0ec89fb7f9714125b7efd0bcaf9b77208776473 by Peter W. V. Tran-Jørgensen
Add GC support for tuple expressions
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit eadaf8d3c3692f548b8e440c5fca8a253c5948f8 by Peter W. V. Tran-Jørgensen
Add GC support for tuple field access
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AFieldNumberExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/TupleTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit d5c1605fefd839ca59c193cde130723507db0474 by Peter W. V. Tran-Jørgensen
Run value type tests with GC enabled
Related to #87
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ValueTypeGarbageCollectionTests.java
Commit 60b69d1281740a0a7557338971cb0ece801f35a5 by Victor Bandur
Interface cleanup for sets.
The file was modifiedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit 8b98bb1e2a4948c01ac0c9ee3acf3bce7dfd368a by Victor Bandur
-  Interface cleanup for maps in runtime library. -  Addresses #87.
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 de433840565b76f4134ea2518403d102e062918a by Victor Bandur
-  Interface cleanup for products in runtime library. -  Addresses #87.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (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/main/VdmProduct.h (diff)
Commit f9686ce4a151e00b3b3f125a4f6aafd63ad59d11 by Victor Bandur
Conditionally excluding PrettyPrint.
The file was modifiedc/vdmclib/src/main/PrettyPrint.h (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedc/vdmclib/src/test/PrettyPrint_Tests.cpp (diff)
Commit bf6d4992e1e6307d9e212711d57bc867f19b3212 by Victor Bandur
Fix in vdmSetGrow in accordance with errors from valgrind.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit b6c0f50f3689457aab53fddac53681c9bd47881e by Victor Bandur
Mechanism that detects interference with current stack frame variables
now checks interference for address range covering entire size of
variable instead of just matching the starting address of the variable.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 4145e1ae23db3d5592a48c6882b4174008de326a by Victor Bandur
-  Fixed memory leak in maps. -  Addresses #87.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 1f2e2162f60e2d09f87b52cc7138bcfa3d75c2c6 by Victor Bandur
-  Set clone test in accordance with observation on generated AlarmPP
example where freeing the source of a cloned value frees the clone.  Not
reproducible in the runtime library. -  Addresses #87.
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
Commit df6fb646c766e4ab84a4b527d3fc527c4fb50bf1 by Victor Bandur
-  GC support for newSetVarToGrow. -  Addresses #87.
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit e1891e931d560872238873203aec32b770adb6bc by Victor Bandur
-  Modifications and test for GC support for sets. -  Addresses #87.
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit bc9c0d863d1d3177528f222b9dd01060612cb8bd by Peter W. V. Tran-Jørgensen
Add GC support for 'newSetVarToGrowGC'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSetCompStrategy.java (diff)
Commit 9d24af6d4eb442cbbe3ceb71e5de4535c34ea40f by Victor Bandur
-  Enabled compiler warnings in runtime library. -  Cleanup based on
warnings.
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/CMakeLists.txt (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 9d0e186cda35f3acecb0643cfcb595a43c932859 by Victor Bandur
Enabled compiler warnings in generated code CMake file.
The file was modifiedc/vdmclib/src/main/ProjectCMakeLists.txt (diff)
Commit 2544afafba8d00bf85b7552bb5a1852f0a3e5a38 by Victor Bandur
-  Fix for vdmSetVarToGrowGC crash. -  Addresses #87.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit ff98aadad10191b76d0e538f49fcad1308ac0402 by Victor Bandur
-  Improvement to GC stack variable interference detection mechanism. - 
Addresses #87.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit b32683760138288dc78a20bdd3860276a58fcb0c by Peter W. V. Tran-Jørgensen
Don't pass addresses of "return" variables to garbage collector
Addresses #87 and #89
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/tags/CTags.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.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/RemoveCWrappersTrans.java (diff)
Commit 8f86b405259763a36f07d68817ad5c1bc6e58ce6 by Peter W. V. Tran-Jørgensen
Add GC support for 'elems'
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AElemsUnaryExpIR.vm
Commit 74b0bff39c033b055c950ca02874fdf4ecdb0328 by Peter W. V. Tran-Jørgensen
Add GC support for 'inds'
Addresses #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AIndicesUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit dfa0abc7b067ef83da1577bfe4ca4f78bbb882ea by Victor Bandur
Reverted "Cleanup" commit causing failure on build server.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit e44dc8eee2f373459047d730cf608dc7dd881e5b by Peter W. V. Tran-Jørgensen
Support map overrides, the '++' operator (no GC)
Related to issue #87
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)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapOverrideBinaryExpIR.vm
Commit 93ab0ddcb97452ee7286b9c9b47e6a09364e1f0c by Peter W. V. Tran-Jørgensen
Support distributed map merge, the 'merge' operator (no GC)
Related to issue #87
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADistMergeUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
Commit 300ec9600fa5c2c53ed06ef7b0e94da3e352d0c7 by Peter W. V. Tran-Jørgensen
Support distributed map-domain-restrict-to operator (no GC)
Related to issue #87
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)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResToBinaryExpIR.vm
Commit d879f152c49fd0ff37c854b0279734781fd009eb by Peter W. V. Tran-Jørgensen
Support map-domain-restrict-by operator (no GC)
Related to issue #87
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResByBinaryExpIR.vm
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 8fe1a6f05af0561b229ac872232cc0af62ec1b54 by Peter W. V. Tran-Jørgensen
Change argument order for map-range operators
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit b0a77147017c26eeb9cf272d6036f8257129f1fb by Peter W. V. Tran-Jørgensen
Support map-range-restrict-to operator (no GC)
Related to issue #87
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)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResToBinaryExpIR.vm
Commit de50c4ce7ed61bf3e0df85b2ba1a38caba3ecb1f by Victor Bandur
-  Made runtime library code C99-compliant. -  Addresses #91.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit 895669a5cde0433ee1f7c34eeffd78521792a011 by Peter W. V. Tran-Jørgensen
Support map-range-restrict-by operator (no GC)
Related to issue #87
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)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResByBinaryExpIR.vm
Commit b36849274c961ed66fda394b16d9c7667357ec12 by Peter W. V. Tran-Jørgensen
Remove TODO that does not really apply anymore
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 54d491f8d6466559bd14e31c0a0696ea0e3b264c by Peter W. V. Tran-Jørgensen
Add GC support for map override
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapOverrideBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 225c3997b0183c8233e6f7c0d701184f0ddd2602 by Peter W. V. Tran-Jørgensen
Add GC support for distributed merge
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADistMergeUnaryExpIR.vm
Commit 54905803fd027465054ed4f751d9aa0a5df7dc75 by Peter W. V. Tran-Jørgensen
Add GC support for map-dom-restrict-to
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResToBinaryExpIR.vm
Commit ca432ec613ad93aeac6fd6144498daef7880b879 by Peter W. V. Tran-Jørgensen
Add GC support for map-dom-resrict-by
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResByBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit db77314680886de1ddbdff6dab4ad93e47c65eaa by Peter W. V. Tran-Jørgensen
Add GC support for map-range-restrict-to
Addresses #87
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResToBinaryExpIR.vm
Commit 496a755d7ede35c03cdffee134f18fb79f3ba139 by Peter W. V. Tran-Jørgensen
Add GC support for map-restrict-range-by
Closes #87
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResByBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit c5eaafbf52dc5d0aaae1f0c396065c38352d1a3c by Victor Bandur
-  Further C89 improvements in runtime library. -  Addresses #91.
The file was modifiedc/vdmclib/src/main/VdmClass.c (diff)
The file was modifiedc/vdmclib/src/main/IOLib.c (diff)
The file was modifiedc/vdmclib/src/main/IOLib.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/test/records/R1.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec2.h (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.h (diff)
The file was modifiedc/vdmclib/src/main/MATHLib.c (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/test/classes/C.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec2.c (diff)
The file was modifiedc/vdmclib/CMakeLists.txt (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
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/Vdm.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/typeoftest.c (diff)
The file was modifiedc/vdmclib/src/test/classes/A.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/MATHLib.h (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was modifiedc/vdmclib/src/main/VdmRecord.h (diff)
The file was modifiedc/vdmclib/src/test/records/R1.h (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.h (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.h (diff)
The file was modifiedc/vdmclib/src/test/classes/B.c (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.h (diff)
The file was modifiedc/vdmclib/src/test/classes/B.h (diff)
Commit 651566093f1570020f60d06de4c12bc53e445ad5 by Victor Bandur
-  CMakeLists.txt file for generator tests now forces C99 dialect. - 
Addresses #91.
The file was modifiedcore/vdm2c/src/test/resources/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit c68626a986dcc5832d3f2221fa892f65f57ff194 by Peter W. V. Tran-Jørgensen
Add missing type to constructor call
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
Commit 4b9b64ce54bb375cb54271c1b951dc98beecb7bc by Peter W. V. Tran-Jørgensen
Approximate macro expression type
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
Commit f37e173f02114598f883935408fed74f7b86571f by Victor Bandur
-  Changing comments to C89 style. -  Addresses #91.
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/c-templates/org/overture/codegen/ir/statements/ASkipStmIR.vm (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
Commit 9f6e6e9912fc7a51a08f5e616d57bbc072669fb4 by Victor Bandur
Accounting for CUSTOM_IO definition in FMU export.
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
Commit 2f0e477e51895999f04090e5cc305710ee04a755 by Victor Bandur
-  Including VdmRecord.h in Vdm.h. -  Addresses #21
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
The file was modifiedc/vdmclib/src/main/VdmRecord.h (diff)
Commit 86a2ec3388be18d0090342c1f4c2ac6c79722ebb by Peter W. V. Tran-Jørgensen
Make generated code C89 compliant
Closes #93
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/C89ForLoopTrans.java
The file was modifiedcore/vdm2c/src/test/resources/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/statements/AC89forLoopStmIR.vm
The file was modifiedcore/vdm2c/src/main/resources/ccg.ast (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/AForLoopStmIR.vm
Commit 04241f5e453dc8efb7b767e8486115c3cd5fc010 by Peter W. V. Tran-Jørgensen
Add release notes for version 0.1.6
The file was addedrelease/ReleaseNotes_0.1.6.md
Commit 819d0fbdbe970bfa34e0e2fde53dd988fc513f14 by Peter W. V. Tran-Jørgensen
Prepare release of VDM2C version 0.1.6
The file was modifiedoverture.release.properties (diff)