Started 4 yr 0 mo ago
Took 19 sec on master

Success Build #127 (Oct 12, 2016 3:22:20 PM)

  1. Better way to find enclosing class (commit: d441a72) (details / githubweb)
  2. Add record test (commit: ee47eef) (details / githubweb)
  3. Convert record types to class types (commit: 0ad86df) (details / githubweb)
  4. Convert record declarations to class declarations (commit: 328af1c) (details / githubweb)
  5. Migrating records infrastructure in the native library to use records as (commit: 7cc34be) (details / githubweb)
  6. Construct VDM type for records (commit: 1ca3aa6) (details / githubweb)
  7. -  Working on support in the native library for record value semantics. (commit: 939621a) (details / githubweb)
  8. Emitting definition of class struct field to hold number of fields. (commit: bc7665a) (details / githubweb)
  9. Fix the record/class check used in the templates (commit: b961d78) (details / githubweb)
  10. Update transformations not to generate vdmClone calls (commit: 41f806c) (details / githubweb)
  11. Working out structure walking mechanism for record value semantics. (commit: 637dde8) (details / githubweb)
  12. Pointer arithmetic to access number-of-fields field in class struct. (commit: 105b7ae) (details / githubweb)
  13. Can now walk fields of structure and clone each correctly. (commit: 49f9196) (details / githubweb)
  14. Cleanup imports (commit: c84f8f6) (details / githubweb)
  15. Fix construction of 'null' expression (commit: 5baeaf6) (details / githubweb)
  16. Update literal transformation to use constants (commit: e0bcb49) (details / githubweb)
  17. Revert change that was introducing a problem with records (commit: 9dd417b) (details / githubweb)
  18. Fix construction of 'null' expression (commit: 67b2195) (details / githubweb)
  19. Cleanup imports (commit: e60b9da) (details / githubweb)
  20. Debugging confirms that vdmClone now duplicates record fields in (commit: 1abd321) (details / githubweb)
  21. Value semantics for record equality checking with vdmEquals confirmed (commit: 0676454) (details / githubweb)
  22. Expanding test for record value semantics with structured values inside (commit: 656fdf3) (details / githubweb)
  23. Add 'numFields' field to every class (commit: e9054df) (details / githubweb)
  24. Privatise fields (commit: 525a69b) (details / githubweb)
  25. Add missing null pointer check (commit: 3ceed4a) (details / githubweb)
  26. Another record value semantics test using structured fields. (commit: 97a29d4) (details / githubweb)
  27. -  Working on freeing records properly. -  Addresses #33. (commit: 8920080) (details / githubweb)
  28. -  Further work on vdmFree for records. -  Addresses #33. (commit: 819e83c) (details / githubweb)
  29. Test value type semantics for generated records (commit: 9d9685d) (details / githubweb)
  30. Undo commit that removes vdmClone calls (commit: dab8c97) (details / githubweb)
  31. Clean-up FieldExpRewriteTrans (commit: b7263c4) (details / githubweb)
  32. -  Fixed bug in vdmClone for records exposed by use of vdmFree on cloned (commit: 256ceaf) (details / githubweb)
  33. -  Freeing more of the memory allocated to a record. -  Addresses #33. (commit: cce5434) (details / githubweb)
  34. -  Comments. -  Addresses #33. (commit: 037d4ca) (details / githubweb)
  35. Add 'installation' section to the README (commit: 61e2a89) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 2f48146bfc9efafe53abe9c06563ec78167d5614
  • refs/remotes/origin/development