Started 4 yr 9 mo ago
Took 13 sec on master

Success Build #129 (Oct 25, 2016 9:46:27 AM)

  1. Add creation of a distribution map pr. CPU (commit: d618b7f) (details / githubweb)
  2. Added analysis of the BUS structure (commit: 6b2612b) (details / githubweb)
  3. Added analysis of BUS structure (commit: 7e8a134) (details / githubweb)
  4. Generate array of all deployed objects (commit: 1db0092) (details / githubweb)
  5. Create folder for each CPU (commit: 1f844a8) (details / githubweb)
  6. Decoupling of the transformation for distribution (commit: a5e5d9f) (details / githubweb)
  7. Get the name of the system definition (commit: 189f904) (details / githubweb)
  8. Transformation to the DIST_CALL macro, used for dispatching local and (commit: 225a9e5) (details / githubweb)
  9. Minor updates to a test of distributed transformation (commit: 1ec2821) (details / githubweb)
  10. Minor fix to distribution macro transformation (commit: 1d4b44f) (details / githubweb)
  11. Initial tests using valgrind.  The main file must be removed or it will (commit: b9421a0) (details / githubweb)
  12. Initial version of transformation for generating ids for deployed (commit: 1bac24c) (details / githubweb)
  13. Changed set of deployed objects to list, since we need order (commit: 280e0ac) (details / githubweb)
  14. Clean up comments (commit: 163ab32) (details / githubweb)
  15. Each object gets unique id (commit: e62d5dd) (details / githubweb)
  16. Generate the distribution map (commit: 23ff34f) (details / githubweb)
  17. Generate individual system pr. cpu (commit: e678fa8) (details / githubweb)
  18. Fixed problem with assignment to inherited fields. (commit: a2f919e) (details / githubweb)
  19. Changed skip to be an empty block (commit: 7f2d6a2) (details / githubweb)
  20. Fixed class lookup on fields so that superclasses are properly taken (commit: a517525) (details / githubweb)
  21. Fished out memory leak in newSetWithValues(). (commit: 8be875a) (details / githubweb)
  22. Gitignore stuff. (commit: 882a92f) (details / githubweb)
  23. Notes for myself. (commit: 4082cff) (details / githubweb)
  24. Eliminating name 'recursiveFree' in favour of 'vdmFree'. (commit: 8e89de2) (details / githubweb)
  25. Improved makefile. (commit: 935d11a) (details / githubweb)
  26. Small reduction in memory leak for sets caused by unfreed element in (commit: c13757a) (details / githubweb)
  27. Some binary files. (commit: 62bd8c1) (details / githubweb)
  28. Removing binary files. (commit: 3ab5865) (details / githubweb)
  29. Eliminated large memory leak in sets, confirmed with sets of basic (commit: 0a292ac) (details / githubweb)
  30. Comment related to the memory leak. (commit: 1c087aa) (details / githubweb)
  31. Cleanup. (commit: 6db0143) (details / githubweb)
  32. Removing staging area for memory performance tests from this branch (commit: 9b92d4b) (details / githubweb)
  33. Revert "Merge commit '7f2d6a2cab1b93e5abecc082923c961c675a917a' into (commit: 57b6ade) (details / githubweb)
  34. Changed skip to be an empty block (commit: ac551f9) (details / githubweb)
  35. Fixed class name clashes in suite of VDM-RT tests. (commit: 077d761) (details / githubweb)
  36. VDM-RT test for OpInheritanceOverride. (commit: 25b44c8) (details / githubweb)
  37. Method override test constructed to show segmentation fault error as (commit: 71bbd18) (details / githubweb)
  38. Fixed method overriding problem, but the test model needs to be expanded (commit: 5e21a60) (details / githubweb)
  39. Expanded operationo override test to cover overriding different (commit: ea75e43) (details / githubweb)
  40. Add convenience function to construct C integer literals (commit: a7821e9) (details / githubweb)
  41. Use C integer literals to construct set comprehension variables (commit: 10f49a6) (details / githubweb)
  42. Update runtime library integer conversion to support reals (commit: cb659be) (details / githubweb)
  43. Test that set comprehensions work (commit: d67c1fe) (details / githubweb)

Started by GitHub push by peterwvj

Revision: d67c1fe05f7fe4e4ea354e2282db3f93eb5ff0b4
  • refs/remotes/origin/development