Skip to content
Jenkins
log in
Jenkins
vdm2c
#462
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
- Unused variable cleanup. - Addresses #123. (
commit: 8c2dd57
) (
details
)
Commit
8c2dd57b9d3caaeab4cc7794876d68b5b0e617f3
by
Victor Bandur
- Unused variable cleanup. - Addresses #123.
(
commit: 8c2dd57
)
c/vdmclib/src/main/VdmGC.c
(diff)
c/vdmclib/src/main/TypedValue.c
(diff)