Skip to content
Jenkins
log in
Jenkins
vdm2c-vpb
The C Code Generator VDM library sources
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Embeddable Build Status
trend
W
Description
%
Build stability: No recent builds failed.
100
Build History
x
#172
Nov 27, 2017 7:35 PM
68 KB
#171
Nov 27, 2017 7:17 PM
67 KB
#170
Nov 27, 2017 5:10 PM
67 KB
Changes between #171 and #172
#172 (Nov 27, 2017 7:35:38 PM)
- Removed ref_from element of TVP and associated GC machinery. - (
commit: b718699
) —
Victor Bandur
/
detail