SuccessChanges

Summary

  1. Emit GC versions of class constructors #124 (commit: 9e1f19d) (details)
  2. Tag constructor calls in CallRewriteTrans #124 (commit: 096c4ac) (details)
  3. -  Memory leak fixes. -  Addresses #108. (commit: 5139781) (details)
Commit 9e1f19dc74ffdea681d46b11f32b862d18f1a9af by Peter W. V. Tran-Jørgensen
Emit GC versions of class constructors #124
(commit: 9e1f19d)
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/ast/Vtables.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/CFormat.java (diff)
Commit 096c4ac0087ece7f7baa116d2b75b6594687bb6d by Peter W. V. Tran-Jørgensen
Tag constructor calls in CallRewriteTrans #124
(commit: 096c4ac)
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.
(commit: 5139781)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)