Skip to content
Jenkins
log in
Jenkins
vdm2c-vpb
#171
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Artifactory Build Info
Polling Log
Git Build Data
Open Tasks
Test Result
Coverage Report
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/VdmSeq.h
(diff)
c/vdmclib/src/main/VdmGC.c
(diff)
c/vdmclib/src/main/TypedValue.c
(diff)
c/vdmclib/src/test/ExpressionsNumeric_Tests.cpp
(diff)
c/vdmclib/src/main/VdmBasicTypes.h
(diff)
c/vdmclib/src/test/ExpressionsSet_Tests.cpp
(diff)
c/vdmclib/src/main/VdmMap.c
(diff)
c/vdmclib/src/main/VdmSeq.c
(diff)
c/vdmclib/src/test/GC_Tests.cpp
(diff)
c/vdmclib/src/main/VdmGC.h
(diff)
c/vdmclib/src/main/VdmMap.h
(diff)
c/vdmclib/src/main/VdmProduct.c
(diff)
c/vdmclib/src/main/VdmClass.h
(diff)
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java
(diff)
c/vdmclib/src/main/VdmSet.h
(diff)
c/vdmclib/src/main/TypedValue.h
(diff)
c/vdmclib/src/main/VdmBasicTypes.c
(diff)
c/vdmclib/src/main/VdmProduct.h
(diff)
c/vdmclib/src/main/VdmSet.c
(diff)