SuccessChanges

Summary

  1. -  Expanded is_ support to cover basic types. -  Addresses #108. (details)
  2. -  Runtime support for is_ test on basic types plus tests. -  Addresses (details)
  3. -  Is sequence of int support. -  Addresses #108. (details)
  4. -  WIP on recurive is check for arbitrary nesting of seqs and sets. - (details)
  5. Large is construct for basic built-in types. (details)
  6. Tests for deep nesting. (details)
  7. -  Sequence and Set exclusion mechanism for is queries. -  Addresses (details)
  8. WIP support for records in is queries. (details)
  9. WIP renaming VDM MATH library. (details)
  10. Use transformation to emit "is" checks (details)
  11. Remove templates that are not needed anymore #108 (details)
  12. Test that is_nat generates correctly #108 (details)
  13. Add support for is_nat1 #108 (details)
  14. Support is_int #108 (details)
  15. Support is_bool #108 (details)
  16. Support is_rat #108 (details)
  17. Support is_char #108 (details)
  18. Support is_token #108 (details)
  19. Support is_real #108 (details)
  20. -  WIP is_ query on arbitrary types. -  Addresses #108. (details)
  21. Emit class association file (details)
  22. Add "generated file" comment to VdmClassHierarchy.h (details)
  23. -  Support for arbitrary sequence and set is_ queries. -  Addresses (details)
  24. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. (details)
  25. -  Runtime library support for is checks on product, class and record (details)
  26. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes (details)
  27. -  No longer emitting global field numFields_X as it is no longer used. (details)
  28. Comment cleanup. (details)
  29. -  Runtime library support for issameclass. -  Addresses #108. (details)
  30. -  Fixed name of sameclass query in runtime library. -  Addresses *108. (details)
  31. [maven-release-plugin] prepare release Release/0.1.16 (details)
  32. [maven-release-plugin] prepare for next development iteration (details)
  33. -  Product test for (int * char) * int. -  Addresses #108. (details)
  34. -  Dummy VdmClassHierarchy.h file for runtime library testing. - (details)
  35. -  Runtime library support for isofbaseclass. -  Addresses #108. (details)
  36. -  Runtime library support for samebaseclass. -  Addresses #108. (details)
  37. Class association should not consider standard library classes (details)
  38. Update distribution code-generator to emit class association file (details)
  39. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - (details)
  40. -  Map composition support in the runtime library. -  Addresses #108. (details)
  41. -  GC version of map composition in the runtime library. -  Addresses (details)
  42. -  Map iteration support in the runtime library. -  Addresses #108. (details)
  43. -  Reducing flash footprint. -  Addresses #120. (details)
  44. -  Support for is seq1. -  Addresses #108. (details)
  45. -  Support for is set1 type queries. -  More tests for is seq1. - (details)
  46. -  Runtime support for is map queries. -  Addresses #108. (details)
  47. Add initial support for type encoding #108 (details)
  48. Code cleanup, comments. (details)
  49. Update type encoder to support set1, seq1 and map (details)
  50. -  Reduction in flash footprint:  maps. -  Addresses #120. (details)
  51. Address wrong assumption in the distributed code-generator (details)
  52. -  Flash footprint reduction, sequences. -  Addresses #120. (details)
  53. -  Flash footprint reduction, sets. -  Addresses #120. (details)
  54. -  Eliminating some compiler warnings in distribution runtime. - (details)
  55. -  Bugfix. -  Addresses #120. (details)
  56. -  WIP runtime library support for optional types encoding. -  Addresses (details)
  57. -  Runtime library support for is queries on optional types. - (details)
  58. -  Runtime support for eliminating is queries based on NO_IS flag. - (details)
  59. Emit NO_IS flag in model features file #108 (details)
  60. Support exists1 quantifier #108 (details)
  61. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. (details)
  62. Support preconditions #108 (details)
  63. Support encoding of optional types #108 (details)
  64. Temporarily build against Overture 2.5.3-SNAPSHOT (details)
  65. Update VDM2C to work with newest Overture (details)
  66. Support map iteration #108 (details)
  67. Support map composition #108 (details)
  68. Support iota #108 (details)
  69. Support non-deterministic statements #108 (details)
  70. Support isofbaseclass #108 (details)
  71. Support isofclass operator #108 (details)
  72. Support samebaseclass operator #108 (details)
  73. Support sameclass operator #108 (details)
  74. -  Typo in type encoding in test. -  Addresses #108. (details)
  75. Work on checking union types in is_ expressions #108 (details)
  76. Emit type encoding for is_* checks #108 (details)
  77. Fix two issues in IsExpUnionTypeFinder #108 (details)
  78. Support union types in is_* expressions #108 (details)
  79. Fix memory leak in field initializers (details)
  80. Fix index issue in "for all" loops (details)
  81. -  Fixed bugs in runtime library OO support. -  isofclass is both (details)
  82. -  Fixed bug with exclusion of class inheritance header file. - (details)
  83. -  Minor refinement to exclusion mechanism. -  Addresses #108. (details)
  84. Use Overture 2.5.4 (details)
  85. Fix clean up in OOChecks test (details)
  86. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (details)
  87. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - (details)
  88. Further speed and size improvements in GC versions of operations. (details)
  89. Emit GC versions of class constructors #124 (details)
  90. Tag constructor calls in CallRewriteTrans #124 (details)
  91. -  Memory leak fixes. -  Addresses #108. (details)
  92. -  WIP removing traces of source variable from garbage collector. - (details)
  93. -  Removed ref_from element of TVP and associated GC machinery. - (details)
  94. Distributed code-generator fix (details)
  95. Handle vdm2c build jobs in Jenkinsfile (details)
  96. Fix deployment, skip tests temporarily (details)
  97. Re-enable testing in Jenkinsfile (details)
  98. -  Unused variable cleanup. -  Addresses #123. (details)
  99. Format Jenkinsfile (details)
  100. Fix assignments to static fields #122 (details)
  101. -  Addition of newSeqVarToGrowGC. -  Addresses #125. (details)
  102. Emit newSeqVarToGrowGC (details)
  103. -  Added comment to each runtime library file about the version of VMD2C (details)
  104. -  Added missing function declaration. -  Addresses #125. (details)
  105. -  Fixed problem with vdmSeqGrow and values passed under GC control. - (details)
  106. Fix for problem with vdmSetGrow when under GC control. (details)
  107. Fixed memory leak in vdmSeqInds. (details)
  108. Fixed memory leak in records. (details)
  109. Fixed memory leak with records. (details)
  110. -  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126. (details)
  111. Add generator support for `vdmSetEnumerateSetOfIntsGC` (details)
  112. -  Committing omitted header file. -  Addresses #126. (details)
  113. Uninitialized variable warnings in maps, runtime. (details)
  114. Add v0.2 release notes (details)
  115. Prepare release of VDM2C v0.2.0 (details)
  116. Adjust version number in v0.2.0 release notes (details)
Commit 3ddd7521a43529be6775ad4e33a150e3e0f5e287 by Victor Bandur
-  Expanded is_ support to cover basic types. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit c426bc3b00992990387b47fd13713cb22947cff9 by Victor Bandur
-  Runtime support for is_ test on basic types plus tests. -  Addresses
#108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit f534a2685da6231aae2063c88ea3e4ac8de0afa7 by Victor Bandur
-  Is sequence of int support. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 812dc20cd3b83bfc4c43c52e002b936e42644407 by Victor Bandur
-  WIP on recurive is check for arbitrary nesting of seqs and sets. - 
Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit e445135d8effafa85c9a9e18087d9bb8c2681688 by Victor Bandur
Large is construct for basic built-in types.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit 850f4faa2c4a789813478cb378ee393728b28d02 by Victor Bandur
-  Sequence and Set exclusion mechanism for is queries. -  Addresses
#108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit daef3e20954f005aeeea39b89e5a397d98eee1bf by Victor Bandur
WIP support for records in is queries.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 31dc1ac7008970d86088048d0a5c46ffdefebf7d by Victor Bandur
WIP renaming VDM MATH library.
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RenameMathLibraryTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit c10cef40e6a2fecf549558d7fdf6b5cabb4e57f0 by Peter W. V. Tran-Jørgensen
Use transformation to emit "is" checks
Currently, only is_nat is supported
Addresses #108
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.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 3a7ad1614ae1d3512ff30dc0dccf38c330fd5265 by Peter W. V. Tran-Jørgensen
Remove templates that are not needed anymore #108
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AIntIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ABoolIsExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARealIsExpIR.vm
Commit a42e8d00996c74daed143aaac376e54afdff5e52 by Peter W. V. Tran-Jørgensen
Test that is_nat generates correctly #108
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (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/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.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/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 209048850fdb5ac58accfba8fefbb9b380d6ace8 by Victor Bandur
-  WIP is_ query on arbitrary types. -  Addresses #108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit c87f064e83f40cee090ddb5cf75d2905f844aacf by Peter W. V. Tran-Jørgensen
Emit class association file
Implemented according to the description in
https://github.com/overturetool/vdm2c/issues/108#issuecomment-325973402
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/ClassAssocAnalysis.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ClassAssocAnalysisTest.java
Commit cf05c8898297b042925e8efdbf0f8ebeb523e077 by Peter W. V. Tran-Jørgensen
Add "generated file" comment to VdmClassHierarchy.h
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/ClassAssocAnalysis.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ClassAssocAnalysisTest.java (diff)
Commit 5a708e037d091afd2a099771350acce6202961b8 by Victor Bandur
-  Support for arbitrary sequence and set is_ queries. -  Addresses
#108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit eab9362b50e9fdffca88b1925bfb7f8a81476215 by Victor Bandur
-  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 69c90e958f7c407e06f27e23793cf94425ab2425 by Victor Bandur
-  Runtime library support for is checks on product, class and record
types. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit af88a94321796bd83e534a1aad1e0467c223b999 by Victor Bandur
-  Cleanup, removed unused VDM-RT runtime library test models. -  Closes
#8.
The file was removedc/vdm/expressions/ExpressionForLoop.vdmrt
The file was removedc/vdm/expressions/ExpressionProduct.vdmrt
The file was removedc/vdm/classes/B.vdmrt
The file was removedc/vdm/expressions/ExpressionSetTest.vdmrt
The file was removedc/vdm/lib/IO.vdmrt
The file was removedc/vdm/expressions/ExpressionProductTest.vdmrt
The file was removedc/vdm/expressions/ExpressionNumericTest.vdmrt
The file was removedc/vdm/.project
The file was removedc/vdm/expressions/ExpressionSetForCGTesting.vdmrt
The file was removedc/vdm/expressions/ExpressionForloopTest.vdmrt
The file was removedc/vdm/expressions/Expression.vdmrt
The file was removedc/vdm/expressions/ExpressionMapTest.vdmrt
The file was removedc/vdm/expressions/ExpressionBooleanTest.vdmrt
The file was removedc/vdm/New_configuration.launch
The file was removedc/vdm/expressions/ExpressionClassTest.vdmrt
The file was removedc/vdm/expressions/ExpressionMap.vdmrt
The file was removedc/vdm/expressions/ExpressionLet.vdmrt
The file was removedc/vdm/expressions/ExpressionSeqTest.vdmrt
The file was removedc/vdm/classes/D.vdmrt
The file was removedc/vdm/classes/Call.vdmrt
The file was removedc/vdm/expressions/ExpressionTest.vdmrt
The file was removedc/vdm/classes/A.vdmrt
The file was removedc/vdm/expressions/ExpressionCases.vdmrt
The file was removedc/vdm/statements/StatementClassTest.vdmrt
The file was removedc/vdm/expressions/ExpressionNumeric.vdmrt
The file was removedc/vdm/classes/ModelVarBOOL.vdmrt
The file was removedc/vdm/classes/ClassABTest.vdmrt
The file was removedc/vdm/expressions/ExpressionSetForCGTestingTest.vdmrt
The file was removedc/vdm/lib/VDMUnit.vdmrt
The file was removedc/vdm/expressions/ExpressionSeq.vdmrt
The file was removedc/vdm/classes/C.vdmrt
The file was removedc/vdm/expressions/ExpressionBoolean.vdmrt
The file was removedc/vdm/expressions/ExpressionSet.vdmrt
Commit a76753f5ce892af0b5521c9ab10e74be1e67f9f5 by Victor Bandur
-  No longer emitting global field numFields_X as it is no longer used.
-  Addresses *104.
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddFieldTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddFieldTrans.java (diff)
Commit 9b720d04fbc842202f59d915687b5c44449ea5a4 by Victor Bandur
-  Runtime library support for issameclass. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
Commit ba0dc116ae7633716d19a2dfb301f42562e6461a by Victor Bandur
-  Fixed name of sameclass query in runtime library. -  Addresses *108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 4ac773d5b0247eb0ff907fb2a98295e63334a3bf by jenkins
[maven-release-plugin] prepare release Release/0.1.16
Bump ide/ to version 0.1.16
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedc/vdmclibdist/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
Commit 75f1026a0445606a63d4a4502939bbc833523350 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.17-SNAPSHOT
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedc/vdmclibdist/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)
The file was modifiedide/features/cgen/feature.xml (diff)
Commit f44d07b57cc7d263fc2a315d9523f26534d61dc2 by Victor Bandur
-  Product test for (int * char) * int. -  Addresses #108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit e5990c4f3076eb0fd17cb1274aaa782e48e9af32 by Victor Bandur
-  Dummy VdmClassHierarchy.h file for runtime library testing. - 
Addresses #108.
The file was addedc/vdmclib/src/test/resources/VdmClassHierarchy.h
Commit 374d65ff307ea5dc9aa4750e7e57457371a35df6 by Victor Bandur
-  Runtime library support for isofbaseclass. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 1b29f539d0b15f9fbec750b1a6f1d66b7bc6dabe by Victor Bandur
-  Runtime library support for samebaseclass. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/resources/VdmClassHierarchy.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit dce9001c9146c7d1ca2afadc3dd2b08dc8375078 by Peter W. V. Tran-Jørgensen
Class association should not consider standard library classes
Addresses #108
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/ClassAssocAnalysis.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ClassAssocAnalysisTest.java (diff)
Commit ef8433da9918e6d23b9bcaaa0691fa804de85da2 by Peter W. V. Tran-Jørgensen
Update distribution code-generator to emit class association file
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 8360294f307856be7ae1ce98b5bd53beaf512a66 by Victor Bandur
-  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - 
Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit eacd08deb19a4dbd2313364f2941489511e50b80 by Victor Bandur
-  Map composition support in the runtime library. -  Addresses #108.
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 0b154513875272615440a5c7c5c78530c2e92b6d by Victor Bandur
-  GC version of map composition in the runtime library. -  Addresses
#108.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 03ef0a6fccb7c237f2488c2f99e3f196f7031515 by Victor Bandur
-  Map iteration support in the runtime library. -  Addresses #108.
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 e484cc46e7e4e41166ef12f670d50db48dfd39c4 by Victor Bandur
-  Reducing flash footprint. -  Addresses #120.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit ba7ac7308b86c8a8d57bda092650d5beddce6e3f by Victor Bandur
-  Support for is seq1. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit 2f7b0021c712e656d72ddc6c549a9bc1980acb9e by Victor Bandur
-  Support for is set1 type queries. -  More tests for is seq1. - 
Addresses #108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 7ec244b4dbc4b153fe65112289bbb023c495383e by Victor Bandur
-  Runtime support for is map queries. -  Addresses #108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 60bfb5caf045be5dfb36fdcd895266f45edec28c by Peter W. V. Tran-Jørgensen
Add initial support for type encoding #108
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpTypeEncoder.java
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpTypeEncoderTest.java
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 8211423f98183babcbef55bbd189d3eee80fe975 by Peter W. V. Tran-Jørgensen
Update type encoder to support set1, seq1 and map
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpTypeEncoder.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpTypeEncoderTest.java (diff)
Commit 308162445d134c7ea0c1161836348b57d786c844 by Victor Bandur
-  Reduction in flash footprint:  maps. -  Addresses #120.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 887d5597a6ad83adefb8f4206eb606e26f8538ee by Peter W. V. Tran-Jørgensen
Address wrong assumption in the distributed code-generator
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 638e9ef7b19e00501b7a04dcdf0d5139c7c7166b by Victor Bandur
-  Flash footprint reduction, sequences. -  Addresses #120.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit ec28ff29efd55c979da8ca11fcad76aa1b05d88e by Victor Bandur
-  Flash footprint reduction, sets. -  Addresses #120.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit baf67780ebbe6e1a5efb094b1d8a257b6b05ad0d by Victor Bandur
-  Eliminating some compiler warnings in distribution runtime. - 
Addresses #121.
The file was modifiedc/vdmclibdist/src/main/asn1vdm.h (diff)
The file was modifiedc/vdmclibdist/src/main/serialise.c (diff)
Commit d68c28b7e7d8c6ff26f31967b802f14ad8b590f9 by Victor Bandur
-  Bugfix. -  Addresses #120.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit f12f3a828792d598ce82b280e6e31d2814e6fdd7 by Victor Bandur
-  WIP runtime library support for optional types encoding. -  Addresses
#108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
Commit 6f5a2ed5f2fb28e2828f961cd6f32fb217c5db42 by Victor Bandur
-  Runtime library support for is queries on optional types. - 
Addresses #108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit dc54b7cd5b9fa386ac371ea082db4ba9a83d89ce by Victor Bandur
-  Runtime support for eliminating is queries based on NO_IS flag. - 
Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit f15c330019b42e0a872815eca6efb973698a4d15 by Peter W. V. Tran-Jørgensen
Emit NO_IS flag in model features file #108
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/FeatureAnalysisTest.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/UsesIsExpAnalysis.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
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/CompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quantifiers/ExpressionQuantifiers_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuantifiers.vdmrt (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CExists1QuantifierStrategy.java
Commit fcab775c2bc33e8730a4a6818d5678aabd2fb325 by Victor Bandur
-  WIP memory leaks with freeing non-GC tokens. -  Addresses #100.
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 modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ContractsTests.java
The file was addedcore/vdm2c/src/test/resources/vdmrt/contracts/PreConditions.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/contracts/PreConditions_Tests.cpp
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CPreCheckTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ContractsGarbageCollectionTests.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 4831a70080a545c2413bb12e28dab33f50491423 by Peter W. V. Tran-Jørgensen
Support encoding of optional types #108
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpTypeEncoderTest.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpTypeEncoder.java (diff)
Commit 169d311960a1e3493c4b47d22c1e30f760551b21 by Peter W. V. Tran-Jørgensen
Temporarily build against Overture 2.5.3-SNAPSHOT
The file was modifiedpom.xml (diff)
Commit 4e7ab1e640dab4fb1bec42e544486d8b2225216a by Peter W. V. Tran-Jørgensen
Update VDM2C to work with newest Overture
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/CompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CExists1QuantifierStrategy.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (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/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
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 modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionSetForCGTesting.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/set/ExpressionsSetForCGTesting_Tests.cpp (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CIotaStrategy.java
Commit 9045250a3894757a114c17c251d34badf955ba6f by Peter W. V. Tran-Jørgensen
Support non-deterministic statements #108
The file was addedcore/vdm2c/src/test/resources/vdmrt/nondet/NonDet.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/nondet/NonDet_Tests.cpp
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/OOCheckTrans.java
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt
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/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/OOCheckTrans.java (diff)
Commit e69402e021bbf4ad621ce930c10edd95bc8fcce0 by Peter W. V. Tran-Jørgensen
Support samebaseclass operator #108
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/OOCheckTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/OOCheckTrans.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/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt (diff)
Commit 38e82bd7f0a0451dce42989ef79c758ab9193ab4 by Victor Bandur
-  Typo in type encoding in test. -  Addresses #108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
Commit c5ad1e153f3ad0c52d711ff08a224fbfd1047452 by Peter W. V. Tran-Jørgensen
Work on checking union types in is_ expressions #108
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpUnionTypeFinder.java
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpUnionTypeFinderTest.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/UnionFinder.java
Commit ae81a7f9ff6d6b3badd2188cb2e69eced8d8df85 by Peter W. V. Tran-Jørgensen
Emit type encoding for is_* checks #108
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsCheckTrans.java (diff)
Commit dbe831600105380f7e3f693b948d9c5515dbbaa3 by Peter W. V. Tran-Jørgensen
Fix two issues in IsExpUnionTypeFinder #108
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/IsExpUnionTypeFinderTest.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpUnionTypeFinder.java (diff)
Commit 8f41307ac5567fdc5dd073cc5f7c724e1f1f66c5 by Peter W. V. Tran-Jørgensen
Support union types in is_* expressions #108
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IsExpUnionTypeTrans.java
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionIs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit 40c78ca237afbe13d51b712901a63ec9c8c23107 by Peter W. V. Tran-Jørgensen
Fix memory leak in field initializers
Closes #122
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ValueSemantics.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 36790314c532f013d2b49967a62e064eed788ab7 by Peter W. V. Tran-Jørgensen
Fix index issue in "for all" loops
Closes #119
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ForLoopTrans.java (diff)
Commit f2283039bbb231a7d83343ff2642d1c1dcb906a6 by Victor Bandur
-  Fixed bugs in runtime library OO support. -  isofclass is both
hirarchy-based as well as an is query, so it is now part of both in
terms of define exclusion. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionOOChecks.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
Commit 87740a5d303aefda07923c6312d64c0c79fa65e1 by Victor Bandur
-  Fixed bug with exclusion of class inheritance header file. - 
Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 673ca1c57f92aa8c9ad6b05ea616b8a0f8510937 by Victor Bandur
-  Minor refinement to exclusion mechanism. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp (diff)
Commit 3ec2000ad7f3c81781560602a56900ed494862af by Victor Bandur
-  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses
#108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 7b124de192603edfdcea658b246ec1d0020cc04b by Victor Bandur
-  Fixed bug with sameclass query under NO_INHERITANCE in header file. -
Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 2cdd6e152b23aeaf892ed235c3f5dd658c963293 by Victor Bandur
Further speed and size improvements in GC versions of operations.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 9e1f19dc74ffdea681d46b11f32b862d18f1a9af by Peter W. V. Tran-Jørgensen
Emit GC versions of class constructors #124
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/tags/CTags.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ast/Vtables.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 096c4ac0087ece7f7baa116d2b75b6594687bb6d by Peter W. V. Tran-Jørgensen
Tag constructor calls in CallRewriteTrans #124
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit 5139781f21ef81521392a4384a37503b4a9a099b by Victor Bandur
-  Memory leak fixes. -  Addresses #108.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit 834fe71e4efa863eb8903cfc4907c77dad1cbfff by Victor Bandur
-  WIP removing traces of source variable from garbage collector. - 
Addresses #123.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (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/VdmGC.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/test/GC_Tests.cpp (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/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
Commit b718699b79a3a935632d934b4e695c01326162f9 by Victor Bandur
-  Removed ref_from element of TVP and associated GC machinery. - 
Addresses #123.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit cbb0cb201ef5c52b4e11d921bc55e10f3ef20f6c by Peter W. V. Tran-Jørgensen
Distributed code-generator fix
Only the first argument of the CPU.deploy operation is important
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
Commit 2f2a9642b0c0d18033005a780373b9405ff1f9a9 by Peter W. V. Tran-Jørgensen
Handle vdm2c build jobs in Jenkinsfile
The file was modifiedJenkinsfile (diff)
Commit b6f8332072f80b450c685a24bda99cb7a673e2fc by Peter W. V. Tran-Jørgensen
Fix deployment, skip tests temporarily
The file was modifiedJenkinsfile (diff)
The file was modifiedJenkinsfile (diff)
Commit 8c2dd57b9d3caaeab4cc7794876d68b5b0e617f3 by Victor Bandur
-  Unused variable cleanup. -  Addresses #123.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedJenkinsfile (diff)
Commit 933eec41dce210912f7b7e1c83dfb62b454f71a3 by Peter W. V. Tran-Jørgensen
Fix assignments to static fields #122
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/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 9a04c6248a1e7b5149c4949657f63305fd4500c6 by Victor Bandur
-  Addition of newSeqVarToGrowGC. -  Addresses #125.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit a9e7faa163ef28391d9cb9b291dd68d097d2686a by Peter W. V. Tran-Jørgensen
Emit newSeqVarToGrowGC
Closes #125
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/CSeqCompStrategy.java (diff)
Commit 9dc9ff1e36be1bcdd6605fda6c932031237fbf14 by Victor Bandur
-  Added comment to each runtime library file about the version of VMD2C
used to generate a given project. -  Addresses #73.
The file was modifiedc/vdmclib/src/main/VdmUnpackString.h (diff)
The file was modifiedc/vdmclibdist/src/main/asn1crt.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.h (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.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmUnpackString.c (diff)
The file was modifiedc/vdmclibdist/src/main/basicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.h (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/main/MATHLib.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmDefines.h (diff)
The file was modifiedc/vdmclibdist/src/main/asn1vdm.c (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/IOLib.c (diff)
The file was modifiedc/vdmclib/src/main/MATHLib.h (diff)
The file was modifiedc/vdmclib/src/main/VdmRecord.h (diff)
The file was modifiedc/vdmclib/src/main/IOLib.h (diff)
The file was modifiedc/vdmclibdist/src/main/real.c (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.h (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedc/vdmclibdist/src/main/basicTypes.h (diff)
The file was modifiedc/vdmclibdist/src/main/serialise.c (diff)
The file was modifiedc/vdmclibdist/src/main/serialise.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclibdist/src/main/asn1crt.c (diff)
The file was modifiedc/vdmclibdist/src/main/asn1vdm.h (diff)
Commit fa0cab8373d8c98584ba337a7b34fcd38440d3d3 by Victor Bandur
-  Added missing function declaration. -  Addresses #125.
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.h (diff)
Commit 1f8118886a46a045201b31354af6501353718c7a by Victor Bandur
-  Fixed problem with vdmSeqGrow and values passed under GC control. - 
Addresses issue #125.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit bb53d1a26a3eb1f65e5807edf0cb641dd1147699 by Victor Bandur
Fix for problem with vdmSetGrow when under GC control.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit e880319aeffff9350f39c09731964a587f03303d by Victor Bandur
Fixed memory leak in vdmSeqInds.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit 3723075c9dfc2a4857a6433b8dd58dbe543deca1 by Victor Bandur
Fixed memory leak in records.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 4a5c840a1a53b9ab55e4806151ea6f95705dc8da by Victor Bandur
Fixed memory leak with records.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 837a464fd7a6ab3732eec05cbc0779a33b268f5b by Victor Bandur
-  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit ebda231a94be10817dc7eb9a96234d740e03ad9f by Peter W. V. Tran-Jørgensen
Add generator support for `vdmSetEnumerateSetOfIntsGC`
Closes #126
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeSetExpIR.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 b81cce8059ce38bfd412584eb2147f7a2da82c9c by Victor Bandur
-  Committing omitted header file. -  Addresses #126.
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
Commit bda3b924ece036b4b6dd981b810ae93cff5186a9 by Victor Bandur
Uninitialized variable warnings in maps, runtime.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was addedrelease/ReleaseNotes_0.2.md
The file was modifiedoverture.release.properties (diff)
Commit 3dc4594a761a2e2c056610615043bddc5ca0d996 by Peter W. V. Tran-Jørgensen
Adjust version number in v0.2.0 release notes
The file was addedrelease/ReleaseNotes_0.2.0.md
The file was removedrelease/ReleaseNotes_0.2.md