Started 3 yr 11 mo ago
Took 23 sec on master

Failed Build #49 (Nov 15, 2016 3:04:01 PM)

Changes
  1. Better way to find enclosing class (details / githubweb)
  2. Add record test (details / githubweb)
  3. Convert record types to class types (details / githubweb)
  4. Convert record declarations to class declarations (details / githubweb)
  5. Migrating records infrastructure in the native library to use records as (details / githubweb)
  6. Construct VDM type for records (details / githubweb)
  7. -  Working on support in the native library for record value semantics. (details / githubweb)
  8. Emitting definition of class struct field to hold number of fields. (details / githubweb)
  9. Fix the record/class check used in the templates (details / githubweb)
  10. Update transformations not to generate vdmClone calls (details / githubweb)
  11. Working out structure walking mechanism for record value semantics. (details / githubweb)
  12. Pointer arithmetic to access number-of-fields field in class struct. (details / githubweb)
  13. Can now walk fields of structure and clone each correctly. (details / githubweb)
  14. Cleanup imports (details / githubweb)
  15. Fix construction of 'null' expression (details / githubweb)
  16. Update literal transformation to use constants (details / githubweb)
  17. Revert change that was introducing a problem with records (details / githubweb)
  18. Fix construction of 'null' expression (details / githubweb)
  19. Cleanup imports (details / githubweb)
  20. Debugging confirms that vdmClone now duplicates record fields in (details / githubweb)
  21. Value semantics for record equality checking with vdmEquals confirmed (details / githubweb)
  22. Add creation of a distribution map pr. CPU (details / githubweb)
  23. Added analysis of the BUS structure (details / githubweb)
  24. Added analysis of BUS structure (details / githubweb)
  25. Generate array of all deployed objects (details / githubweb)
  26. Create folder for each CPU (details / githubweb)
  27. Decoupling of the transformation for distribution (details / githubweb)
  28. Get the name of the system definition (details / githubweb)
  29. Expanding test for record value semantics with structured values inside (details / githubweb)
  30. Add 'numFields' field to every class (details / githubweb)
  31. Privatise fields (details / githubweb)
  32. Add missing null pointer check (details / githubweb)
  33. Another record value semantics test using structured fields. (details / githubweb)
  34. -  Working on freeing records properly. -  Addresses #33. (details / githubweb)
  35. -  Further work on vdmFree for records. -  Addresses #33. (details / githubweb)
  36. Test value type semantics for generated records (details / githubweb)
  37. Undo commit that removes vdmClone calls (details / githubweb)
  38. Clean-up FieldExpRewriteTrans (details / githubweb)
  39. -  Fixed bug in vdmClone for records exposed by use of vdmFree on cloned (details / githubweb)
  40. -  Freeing more of the memory allocated to a record. -  Addresses #33. (details / githubweb)
  41. -  Comments. -  Addresses #33. (details / githubweb)
  42. Transformation to the DIST_CALL macro, used for dispatching local and (details / githubweb)
  43. Minor updates to a test of distributed transformation (details / githubweb)
  44. Minor fix to distribution macro transformation (details / githubweb)
  45. Add 'installation' section to the README (details / githubweb)
  46. Fix README sections (details / githubweb)
  47. Initial tests using valgrind.  The main file must be removed or it will (details / githubweb)
  48. Initial version of transformation for generating ids for deployed (details / githubweb)
  49. Changed set of deployed objects to list, since we need order (details / githubweb)
  50. Clean up comments (details / githubweb)
  51. Each object gets unique id (details / githubweb)
  52. Generate the distribution map (details / githubweb)
  53. Generate individual system pr. cpu (details / githubweb)
  54. Fixed problem with assignment to inherited fields. (details / githubweb)
  55. Changed skip to be an empty block (details / githubweb)
  56. Fixed class lookup on fields so that superclasses are properly taken (details / githubweb)
  57. Fished out memory leak in newSetWithValues(). (details / githubweb)
  58. Gitignore stuff. (details / githubweb)
  59. Notes for myself. (details / githubweb)
  60. Eliminating name 'recursiveFree' in favour of 'vdmFree'. (details / githubweb)
  61. Improved makefile. (details / githubweb)
  62. Small reduction in memory leak for sets caused by unfreed element in (details / githubweb)
  63. Some binary files. (details / githubweb)
  64. Removing binary files. (details / githubweb)
  65. Eliminated large memory leak in sets, confirmed with sets of basic (details / githubweb)
  66. Comment related to the memory leak. (details / githubweb)
  67. Cleanup. (details / githubweb)
  68. Removing staging area for memory performance tests from this branch (details / githubweb)
  69. Revert "Merge commit '7f2d6a2cab1b93e5abecc082923c961c675a917a' into (details / githubweb)
  70. Changed skip to be an empty block (details / githubweb)
  71. Fixed class name clashes in suite of VDM-RT tests. (details / githubweb)
  72. VDM-RT test for OpInheritanceOverride. (details / githubweb)
  73. Method override test constructed to show segmentation fault error as (details / githubweb)
  74. Fixed method overriding problem, but the test model needs to be expanded (details / githubweb)
  75. Expanded operationo override test to cover overriding different (details / githubweb)
  76. Features in native library enabling sequence comprehension. (details / githubweb)
  77. Add convenience function to construct C integer literals (details / githubweb)
  78. Use C integer literals to construct set comprehension variables (details / githubweb)
  79. Update runtime library integer conversion to support reals (details / githubweb)
  80. Test that set comprehensions work (details / githubweb)
  81. Update set comprehension strategy to generate the conditional check (details / githubweb)
  82. Add support for sequence comprehensions (details / githubweb)
  83. Test that sequence comprehensions work (details / githubweb)
  84. Add method to find object type VDM name (details / githubweb)
  85. -  Constructing a correct reference to the "self" object. -  Addresses (details / githubweb)
  86. Add formatting support for numeric unary expressions (details / githubweb)
  87. Add support for unary minus (details / githubweb)
  88. Add support for unary plus (details / githubweb)
  89. Test that numeric unary expressions are handled correctly (details / githubweb)
  90. Implementation of newMapVarToGrow() to support map comprehensions. (details / githubweb)
  91. Implementation of vdmMapGrow() to support map comprehensions. (details / githubweb)
  92. Comments. (details / githubweb)
  93. Formatting. (details / githubweb)
  94. Minor optimization in terms of calling newMapVarToGrow with no key-value (details / githubweb)
  95. Addition of constructors to the virtual function table. (details / githubweb)
  96. Fix so that self expression does not output VDM_RECORD instead of (details / githubweb)
  97. Tests for nested constructor calls, no inheritance. (details / githubweb)
  98. Support for "is_" check for booleans, integers and reals. (details / githubweb)
  99. Added header file inclusion for sets, since the mac gcc compiler fails (details / githubweb)
  100. Eliminated use of "const" qualifier on pointer variables.  There is no (details / githubweb)
  101. Changing from using "EXPECT_EQ(false / true ... " in native library (details / githubweb)
  102. Remove garbage file (details / githubweb)
  103. Clean up imports (details / githubweb)
  104. Add support for "let be st" constructs (details / githubweb)
  105. Test that "let be st" constructs code generate correctly (details / githubweb)
  106. -  Changed to better name for equality function for numbers. -  Handling (details / githubweb)
  107. Correct map type template (details / githubweb)
  108. Correct map range template (details / githubweb)
  109. Correct map domain template (details / githubweb)
  110. Add support for map enumerations (details / githubweb)
  111. Add support for map access (details / githubweb)
  112. Test that maps code generate correctly (details / githubweb)
  113. Test that map equality/inequality code generate correctly (details / githubweb)
  114. Correct map inverse template (details / githubweb)
  115. Test that the map inverse operator code generates correctly (details / githubweb)
  116. Correct map union template (details / githubweb)
  117. Test that map union code generates correctly (details / githubweb)
  118. Set and map equality fixes. (details / githubweb)
  119. Fix for map equality. (details / githubweb)
  120. Inserting explicit cast necessary for ATmega target.  Because of a fluke (details / githubweb)
  121. fixed #50 (details / githubweb)
  122. Improvement to number operations so that the largest type gets returned (details / githubweb)
  123. Fixed tests in accordance with reduced maximal type change. (details / githubweb)
  124. Maximal type fix for vdmMod. (details / githubweb)
  125. Add v0.0.10 release notes (details / githubweb)
  126. Prepare the v0.0.10 release (details / githubweb)

Started by user Peter W. V. Tran-Jørgensen

Revision: 8a56ba840579dcc41dbd07a3f8cddd77a01a3b9e
  • refs/remotes/origin/development