Skip to content
Jenkins
log in
Jenkins
vdm2c-vpb
The C Code Generator VDM library sources
#171
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
- WIP removing traces of source variable from garbage collector. - (
commit: 834fe71
) (
details
)
Commit 834fe71e4efa863eb8903cfc4907c77dad1cbfff by
Victor Bandur
- WIP removing traces of source variable from garbage collector. -
Addresses #123.
(
commit: 834fe71
)
c/vdmclib/src/main/VdmSet.h
c/vdmclib/src/main/TypedValue.h
c/vdmclib/src/main/VdmGC.c
c/vdmclib/src/main/VdmBasicTypes.c
c/vdmclib/src/main/VdmGC.h
c/vdmclib/src/main/VdmBasicTypes.h
c/vdmclib/src/main/VdmMap.c
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java
c/vdmclib/src/main/VdmSeq.c
c/vdmclib/src/main/VdmSet.c
c/vdmclib/src/main/VdmMap.h
c/vdmclib/src/main/VdmProduct.c
c/vdmclib/src/main/VdmClass.h
c/vdmclib/src/main/VdmProduct.h
c/vdmclib/src/main/TypedValue.c
c/vdmclib/src/main/VdmSeq.h
c/vdmclib/src/test/ExpressionsSet_Tests.cpp
c/vdmclib/src/test/GC_Tests.cpp
c/vdmclib/src/test/ExpressionsNumeric_Tests.cpp