Started 2 yr 5 mo ago
Took 11 sec on master

Success Build #363 (Feb 14, 2018 10:57:28 AM)

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

Started by GitHub push by peterwvj

Revision: bda3b924ece036b4b6dd981b810ae93cff5186a9
  • refs/remotes/origin/development