Started 3 yr 7 mo ago
Took 23 min

Success Build #144 (Nov 13, 2017 3:32:32 PM)

Build Artifacts
Expand all Collapse all
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. -  Product test for (int * char) * int. -  Addresses #108. (details / githubweb)
  32. -  Dummy VdmClassHierarchy.h file for runtime library testing. - (details / githubweb)
  33. -  Runtime library support for isofbaseclass. -  Addresses #108. (details / githubweb)
  34. -  Runtime library support for samebaseclass. -  Addresses #108. (details / githubweb)
  35. Class association should not consider standard library classes (details / githubweb)
  36. Update distribution code-generator to emit class association file (details / githubweb)
  37. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - (details / githubweb)
  38. -  Map composition support in the runtime library. -  Addresses #108. (details / githubweb)
  39. -  GC version of map composition in the runtime library. -  Addresses (details / githubweb)
  40. -  Map iteration support in the runtime library. -  Addresses #108. (details / githubweb)
  41. -  Reducing flash footprint. -  Addresses #120. (details / githubweb)
  42. -  Support for is seq1. -  Addresses #108. (details / githubweb)
  43. -  Support for is set1 type queries. -  More tests for is seq1. - (details / githubweb)
  44. -  Runtime support for is map queries. -  Addresses #108. (details / githubweb)
  45. Add initial support for type encoding #108 (details / githubweb)
  46. Code cleanup, comments. (details / githubweb)
  47. Update type encoder to support set1, seq1 and map (details / githubweb)
  48. -  Reduction in flash footprint:  maps. -  Addresses #120. (details / githubweb)
  49. Address wrong assumption in the distributed code-generator (details / githubweb)
  50. -  Flash footprint reduction, sequences. -  Addresses #120. (details / githubweb)
  51. -  Flash footprint reduction, sets. -  Addresses #120. (details / githubweb)
  52. -  Eliminating some compiler warnings in distribution runtime. - (details / githubweb)
  53. -  Bugfix. -  Addresses #120. (details / githubweb)
  54. -  WIP runtime library support for optional types encoding. -  Addresses (details / githubweb)
  55. -  Runtime library support for is queries on optional types. - (details / githubweb)
  56. -  Runtime support for eliminating is queries based on NO_IS flag. - (details / githubweb)
  57. Emit NO_IS flag in model features file #108 (details / githubweb)
  58. Support exists1 quantifier #108 (details / githubweb)
  59. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. (details / githubweb)
  60. Support preconditions #108 (details / githubweb)
  61. Support encoding of optional types #108 (details / githubweb)
  62. Temporarily build against Overture 2.5.3-SNAPSHOT (details / githubweb)
  63. Update VDM2C to work with newest Overture (details / githubweb)
  64. Support map iteration #108 (details / githubweb)
  65. Support map composition #108 (details / githubweb)
  66. Support iota #108 (details / githubweb)
  67. Support non-deterministic statements #108 (details / githubweb)
  68. Support isofbaseclass #108 (details / githubweb)
  69. Support isofclass operator #108 (details / githubweb)
  70. Support samebaseclass operator #108 (details / githubweb)
  71. Support sameclass operator #108 (details / githubweb)
  72. -  Typo in type encoding in test. -  Addresses #108. (details / githubweb)
  73. Work on checking union types in is_ expressions #108 (details / githubweb)
  74. Emit type encoding for is_* checks #108 (details / githubweb)
  75. Fix two issues in IsExpUnionTypeFinder #108 (details / githubweb)
  76. Support union types in is_* expressions #108 (details / githubweb)
  77. Fix memory leak in field initializers (details / githubweb)
  78. Fix index issue in "for all" loops (details / githubweb)
  79. -  Fixed bugs in runtime library OO support. -  isofclass is both (details / githubweb)
  80. -  Fixed bug with exclusion of class inheritance header file. - (details / githubweb)
  81. -  Minor refinement to exclusion mechanism. -  Addresses #108. (details / githubweb)
  82. Use Overture 2.5.4 (details / githubweb)
  83. Fix clean up in OOChecks test (details / githubweb)
  84. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (details / githubweb)
  85. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - (details / githubweb)

Push event to branch development at 15:32:25 on 13-Nov-2017

Revision: 7b124de192603edfdcea658b246ec1d0020cc04b
  • development
Task Scanner: 29 open tasks in 119 workspace files.
Task Scanner: 27 open tasks in 108 workspace files.
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION66%
    BRANCH45%
    COMPLEXITY40%
    LINE63%
    METHOD58%
    CLASS88%
    Task Scanner: 29 open tasks in 179 workspace files.
    Task Scanner: 29 open tasks in 119 workspace files.