Started 2 yr 0 mo ago
Took 28 min on master

Success Build #66 (Feb 14, 2018 11:48:29 AM)

Changes
  1. -  Expanded is_ support to cover basic types. -  Addresses #108. (details / githubweb)
  2. -  Runtime support for is_ test on basic types plus tests. -  Addresses (details / githubweb)
  3. -  Is sequence of int support. -  Addresses #108. (details / githubweb)
  4. -  WIP on recurive is check for arbitrary nesting of seqs and sets. - (details / githubweb)
  5. Large is construct for basic built-in types. (details / githubweb)
  6. Tests for deep nesting. (details / githubweb)
  7. -  Sequence and Set exclusion mechanism for is queries. -  Addresses (details / githubweb)
  8. WIP support for records in is queries. (details / githubweb)
  9. WIP renaming VDM MATH library. (details / githubweb)
  10. Use transformation to emit "is" checks (details / githubweb)
  11. Remove templates that are not needed anymore #108 (details / githubweb)
  12. Test that is_nat generates correctly #108 (details / githubweb)
  13. Add support for is_nat1 #108 (details / githubweb)
  14. Support is_int #108 (details / githubweb)
  15. Support is_bool #108 (details / githubweb)
  16. Support is_rat #108 (details / githubweb)
  17. Support is_char #108 (details / githubweb)
  18. Support is_token #108 (details / githubweb)
  19. Support is_real #108 (details / githubweb)
  20. -  WIP is_ query on arbitrary types. -  Addresses #108. (details / githubweb)
  21. Emit class association file (details / githubweb)
  22. Add "generated file" comment to VdmClassHierarchy.h (details / githubweb)
  23. -  Support for arbitrary sequence and set is_ queries. -  Addresses (details / githubweb)
  24. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. (details / githubweb)
  25. -  Runtime library support for is checks on product, class and record (details / githubweb)
  26. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes (details / githubweb)
  27. -  No longer emitting global field numFields_X as it is no longer used. (details / githubweb)
  28. Comment cleanup. (details / githubweb)
  29. -  Runtime library support for issameclass. -  Addresses #108. (details / githubweb)
  30. -  Fixed name of sameclass query in runtime library. -  Addresses *108. (details / githubweb)
  31. [maven-release-plugin] prepare release Release/0.1.16 (details / githubweb)
  32. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  33. -  Product test for (int * char) * int. -  Addresses #108. (details / githubweb)
  34. -  Dummy VdmClassHierarchy.h file for runtime library testing. - (details / githubweb)
  35. -  Runtime library support for isofbaseclass. -  Addresses #108. (details / githubweb)
  36. -  Runtime library support for samebaseclass. -  Addresses #108. (details / githubweb)
  37. Class association should not consider standard library classes (details / githubweb)
  38. Update distribution code-generator to emit class association file (details / githubweb)
  39. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - (details / githubweb)
  40. -  Map composition support in the runtime library. -  Addresses #108. (details / githubweb)
  41. -  GC version of map composition in the runtime library. -  Addresses (details / githubweb)
  42. -  Map iteration support in the runtime library. -  Addresses #108. (details / githubweb)
  43. -  Reducing flash footprint. -  Addresses #120. (details / githubweb)
  44. -  Support for is seq1. -  Addresses #108. (details / githubweb)
  45. -  Support for is set1 type queries. -  More tests for is seq1. - (details / githubweb)
  46. -  Runtime support for is map queries. -  Addresses #108. (details / githubweb)
  47. Add initial support for type encoding #108 (details / githubweb)
  48. Code cleanup, comments. (details / githubweb)
  49. Update type encoder to support set1, seq1 and map (details / githubweb)
  50. -  Reduction in flash footprint:  maps. -  Addresses #120. (details / githubweb)
  51. Address wrong assumption in the distributed code-generator (details / githubweb)
  52. -  Flash footprint reduction, sequences. -  Addresses #120. (details / githubweb)
  53. -  Flash footprint reduction, sets. -  Addresses #120. (details / githubweb)
  54. -  Eliminating some compiler warnings in distribution runtime. - (details / githubweb)
  55. -  Bugfix. -  Addresses #120. (details / githubweb)
  56. -  WIP runtime library support for optional types encoding. -  Addresses (details / githubweb)
  57. -  Runtime library support for is queries on optional types. - (details / githubweb)
  58. -  Runtime support for eliminating is queries based on NO_IS flag. - (details / githubweb)
  59. Emit NO_IS flag in model features file #108 (details / githubweb)
  60. Support exists1 quantifier #108 (details / githubweb)
  61. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. (details / githubweb)
  62. Support preconditions #108 (details / githubweb)
  63. Support encoding of optional types #108 (details / githubweb)
  64. Temporarily build against Overture 2.5.3-SNAPSHOT (details / githubweb)
  65. Update VDM2C to work with newest Overture (details / githubweb)
  66. Support map iteration #108 (details / githubweb)
  67. Support map composition #108 (details / githubweb)
  68. Support iota #108 (details / githubweb)
  69. Support non-deterministic statements #108 (details / githubweb)
  70. Support isofbaseclass #108 (details / githubweb)
  71. Support isofclass operator #108 (details / githubweb)
  72. Support samebaseclass operator #108 (details / githubweb)
  73. Support sameclass operator #108 (details / githubweb)
  74. -  Typo in type encoding in test. -  Addresses #108. (details / githubweb)
  75. Work on checking union types in is_ expressions #108 (details / githubweb)
  76. Emit type encoding for is_* checks #108 (details / githubweb)
  77. Fix two issues in IsExpUnionTypeFinder #108 (details / githubweb)
  78. Support union types in is_* expressions #108 (details / githubweb)
  79. Fix memory leak in field initializers (details / githubweb)
  80. Fix index issue in "for all" loops (details / githubweb)
  81. -  Fixed bugs in runtime library OO support. -  isofclass is both (details / githubweb)
  82. -  Fixed bug with exclusion of class inheritance header file. - (details / githubweb)
  83. -  Minor refinement to exclusion mechanism. -  Addresses #108. (details / githubweb)
  84. Use Overture 2.5.4 (details / githubweb)
  85. Fix clean up in OOChecks test (details / githubweb)
  86. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (details / githubweb)
  87. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - (details / githubweb)
  88. Further speed and size improvements in GC versions of operations. (details / githubweb)
  89. Emit GC versions of class constructors #124 (details / githubweb)
  90. Tag constructor calls in CallRewriteTrans #124 (details / githubweb)
  91. -  Memory leak fixes. -  Addresses #108. (details / githubweb)
  92. -  WIP removing traces of source variable from garbage collector. - (details / githubweb)
  93. -  Removed ref_from element of TVP and associated GC machinery. - (details / githubweb)
  94. Distributed code-generator fix (details / githubweb)
  95. Handle vdm2c build jobs in Jenkinsfile (details / githubweb)
  96. Fix deployment, skip tests temporarily (details / githubweb)
  97. Re-enable testing in Jenkinsfile (details / githubweb)
  98. -  Unused variable cleanup. -  Addresses #123. (details / githubweb)
  99. Format Jenkinsfile (details / githubweb)
  100. Fix assignments to static fields #122 (details / githubweb)
  101. -  Addition of newSeqVarToGrowGC. -  Addresses #125. (details / githubweb)
  102. Emit newSeqVarToGrowGC (details / githubweb)
  103. -  Added comment to each runtime library file about the version of VMD2C (details / githubweb)
  104. -  Added missing function declaration. -  Addresses #125. (details / githubweb)
  105. -  Fixed problem with vdmSeqGrow and values passed under GC control. - (details / githubweb)
  106. Fix for problem with vdmSetGrow when under GC control. (details / githubweb)
  107. Fixed memory leak in vdmSeqInds. (details / githubweb)
  108. Fixed memory leak in records. (details / githubweb)
  109. Fixed memory leak with records. (details / githubweb)
  110. -  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126. (details / githubweb)
  111. Add generator support for `vdmSetEnumerateSetOfIntsGC` (details / githubweb)
  112. -  Committing omitted header file. -  Addresses #126. (details / githubweb)
  113. Uninitialized variable warnings in maps, runtime. (details / githubweb)
  114. Add v0.2 release notes (details / githubweb)
  115. Prepare release of VDM2C v0.2.0 (details / githubweb)
  116. Adjust version number in v0.2.0 release notes (details / githubweb)

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

Revision: 3dc4594a761a2e2c056610615043bddc5ca0d996
  • refs/remotes/origin/development