Changes
Summary
- Further speed and size improvements in GC versions of operations. (commit: 2cdd6e1) (details)
- - Memory leak fixes. - Addresses #108. (commit: 5139781) (details)
![]() | c/vdmclib/src/main/VdmGC.c |
![]() | c/vdmclib/src/main/TypedValue.c |
![]() | c/vdmclib/src/main/VdmBasicTypes.c |
![]() | c/vdmclib/src/main/VdmMap.c |
![]() | c/vdmclib/src/main/VdmSeq.c |