SuccessChanges

Summary

  1. New translation of 'nil' (commit: aa73745) (details)
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/CtorTrans.java (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CGenUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/SubClassResponsibilityMethodsTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ANullExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/LiteralInstantiationRewriteTrans.java (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsBoolean_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)