SuccessChanges

Summary

  1. Emit GC versions of class constructors #124 (commit: 9e1f19d) (details)
  2. Tag constructor calls in CallRewriteTrans #124 (commit: 096c4ac) (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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ast/Vtables.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/tags/CTags.java
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