SuccessChanges

Summary

  1. Add GC support for map enumerations (commit: d2bca85) (details)
  2. Add GC support for 'dom' (commit: e99c87f) (details)
  3. Fix handling of 'newMapVarToGrowGC' (commit: 28d3445) (details)
  4. Add GC support for 'rng' (commit: 0fabfdf) (details)
  5. Clean up imports (commit: 4bfacd3) (details)
  6. Add GC support for 'munion' (commit: e48c1f8) (details)
  7. Fix map enumerations, GC version (commit: f3e204a) (details)
Commit d2bca852bfc174a983a6f2202da9aede5d365909 by Peter W. V. Tran-Jørgensen
Add GC support for map enumerations
Addresses #87
(commit: d2bca85)
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 removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEnumMapExpIR.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)
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/transformations/GarbageCollectionTrans.java (diff)
Commit 28d3445814a01453db597e7f751848fa3967eab1 by Peter W. V. Tran-Jørgensen
Fix handling of 'newMapVarToGrowGC'
Addresses #87
(commit: 28d3445)
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/CFormat.java (diff)
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/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
(commit: e48c1f8)
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)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit f3e204af12de6e88524e903887eac518cbc57593 by Peter W. V. Tran-Jørgensen
Fix map enumerations, GC version
Addresses #87
(commit: f3e204a)
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)