SuccessChanges

Summary

  1. Add GC support for vdmSetElementAt (used by CForIterator) (commit: 88a7810) (details)
  2. Add GC support for 'in set' (commit: 3e81416) (details)
  3. Add GC support for 'union' (commit: ea6cb15) (details)
  4. Add GC support for 'inter' (commit: 2f95fe0) (details)
  5. Add GC support for '\' (set difference) (commit: 7010cd2) (details)
  6. Add GC support for 'subset' (commit: 0a04908) (details)
  7. Add GC support for 'psubset' (commit: fce0830) (details)
  8. Add GC support for 'card' (commit: 5818e25) (details)
  9. Add GC support for 'dunion' (commit: 32066ad) (details)
  10. Add GC support for 'dinter' (commit: 3b1f124) (details)
  11. Add GC support for 'power' (commit: 7c5820e) (details)
Commit 88a7810c497462227fafde72ddaf6c93614ac9ad by Peter W. V. Tran-Jørgensen
Add GC support for vdmSetElementAt (used by CForIterator)
Work on #87
(commit: 88a7810)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CForIterator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 3e814168964a5e0b8f220ee375af1802a786051a by Peter W. V. Tran-Jørgensen
Add GC support for 'in set'
Addresses #87
(commit: 3e81416)
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/AInSetBinaryExpIR.vm
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/ASetUnionBinaryExpIR.vm
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/ASetIntersectBinaryExpIR.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 7010cd248eb278ef5c253fe5599940a67074e283 by Peter W. V. Tran-Jørgensen
Add GC support for '\' (set difference)
Addresses #87
(commit: 7010cd2)
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/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 0a04908c6d27e54faf919c2691b092b0856ee51c by Peter W. V. Tran-Jørgensen
Add GC support for 'subset'
Addresses #87
(commit: 0a04908)
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/ASetSubsetBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit fce0830ef5ba66bf1a02d9b392ba25be43dc26b3 by Peter W. V. Tran-Jørgensen
Add GC support for 'psubset'
Addresses #87
(commit: fce0830)
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
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/CForIterator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CLetBeStStrategy.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
(commit: 32066ad)
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/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 3b1f124880d810345b5a5638415bfa2ceb0d7427 by Peter W. V. Tran-Jørgensen
Add GC support for 'dinter'
Addresses #87
(commit: 3b1f124)
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/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)
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