Changes
Summary
- - Removing variable length arrays to accommodate the Visual C compiler. (commit: 996840b) (details)
![]() | c/vdmclib/src/main/VdmProduct.c (diff) |
![]() | c/vdmclib/src/main/VdmSeq.c (diff) |
![]() | c/vdmclib/src/main/VdmProduct.c (diff) |
![]() | c/vdmclib/src/main/VdmSeq.c (diff) |