Changes
Summary
- Fix assignments to static fields #122 (commit: 933eec4) (details)
- Emit newSeqVarToGrowGC (commit: a9e7faa) (details)
- - Fixed problem with vdmSeqGrow and values passed under GC control. - (commit: 1f81188) (details)
- Fix for problem with vdmSetGrow when under GC control. (commit: bb53d1a) (details)
- Fixed memory leak in vdmSeqInds. (commit: e880319) (details)
- Fixed memory leak in records. (commit: 3723075) (details)
- Fixed memory leak with records. (commit: 4a5c840) (details)
- - Runtime support for vvdmSetEnumerateSetOfIntsGC. - Addresses #126. (commit: 837a464) (details)
- Add generator support for `vdmSetEnumerateSetOfIntsGC` (commit: ebda231) (details)
- - Committing omitted header file. - Addresses #126. (commit: b81cce8) (details)
- Uninitialized variable warnings in maps, runtime. (commit: bda3b92) (details)