Started 2 yr 3 mo ago
Took 24 sec on master

Success Build #350 (Nov 13, 2017 3:35:49 PM)

Changes
  1. -  Expanded is_ support to cover basic types. -  Addresses #108. (commit: 3ddd752) (details / githubweb)
  2. -  Runtime support for is_ test on basic types plus tests. -  Addresses (commit: c426bc3) (details / githubweb)
  3. -  Is sequence of int support. -  Addresses #108. (commit: f534a26) (details / githubweb)
  4. -  WIP on recurive is check for arbitrary nesting of seqs and sets. - (commit: 812dc20) (details / githubweb)
  5. Large is construct for basic built-in types. (commit: e445135) (details / githubweb)
  6. Tests for deep nesting. (commit: d62531a) (details / githubweb)
  7. -  Sequence and Set exclusion mechanism for is queries. -  Addresses (commit: 850f4fa) (details / githubweb)
  8. WIP support for records in is queries. (commit: daef3e2) (details / githubweb)
  9. WIP renaming VDM MATH library. (commit: 31dc1ac) (details / githubweb)
  10. Use transformation to emit "is" checks (commit: c10cef4) (details / githubweb)
  11. Remove templates that are not needed anymore #108 (commit: 3a7ad16) (details / githubweb)
  12. Test that is_nat generates correctly #108 (commit: a42e8d0) (details / githubweb)
  13. Add support for is_nat1 #108 (commit: d9cec88) (details / githubweb)
  14. Support is_int #108 (commit: ed8de05) (details / githubweb)
  15. Support is_bool #108 (commit: 897c1ad) (details / githubweb)
  16. Support is_rat #108 (commit: e159274) (details / githubweb)
  17. Support is_char #108 (commit: 197a99a) (details / githubweb)
  18. Support is_token #108 (commit: c0c1654) (details / githubweb)
  19. Support is_real #108 (commit: c8b8070) (details / githubweb)
  20. -  WIP is_ query on arbitrary types. -  Addresses #108. (commit: 2090488) (details / githubweb)
  21. Emit class association file (commit: c87f064) (details / githubweb)
  22. Add "generated file" comment to VdmClassHierarchy.h (commit: cf05c88) (details / githubweb)
  23. -  Support for arbitrary sequence and set is_ queries. -  Addresses (commit: 5a708e0) (details / githubweb)
  24. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. (commit: eab9362) (details / githubweb)
  25. -  Runtime library support for is checks on product, class and record (commit: 69c90e9) (details / githubweb)
  26. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes (commit: af88a94) (details / githubweb)
  27. -  No longer emitting global field numFields_X as it is no longer used. (commit: a76753f) (details / githubweb)
  28. Comment cleanup. (commit: 858fa3d) (details / githubweb)
  29. -  Runtime library support for issameclass. -  Addresses #108. (commit: 9b720d0) (details / githubweb)
  30. -  Fixed name of sameclass query in runtime library. -  Addresses *108. (commit: ba0dc11) (details / githubweb)
  31. -  Product test for (int * char) * int. -  Addresses #108. (commit: f44d07b) (details / githubweb)
  32. -  Dummy VdmClassHierarchy.h file for runtime library testing. - (commit: e5990c4) (details / githubweb)
  33. -  Runtime library support for isofbaseclass. -  Addresses #108. (commit: 374d65f) (details / githubweb)
  34. -  Runtime library support for samebaseclass. -  Addresses #108. (commit: 1b29f53) (details / githubweb)
  35. Class association should not consider standard library classes (commit: dce9001) (details / githubweb)
  36. Update distribution code-generator to emit class association file (commit: ef8433d) (details / githubweb)
  37. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - (commit: 8360294) (details / githubweb)
  38. -  Map composition support in the runtime library. -  Addresses #108. (commit: eacd08d) (details / githubweb)
  39. -  GC version of map composition in the runtime library. -  Addresses (commit: 0b15451) (details / githubweb)
  40. -  Map iteration support in the runtime library. -  Addresses #108. (commit: 03ef0a6) (details / githubweb)
  41. -  Reducing flash footprint. -  Addresses #120. (commit: e484cc4) (details / githubweb)
  42. -  Support for is seq1. -  Addresses #108. (commit: ba7ac73) (details / githubweb)
  43. -  Support for is set1 type queries. -  More tests for is seq1. - (commit: 2f7b002) (details / githubweb)
  44. -  Runtime support for is map queries. -  Addresses #108. (commit: 7ec244b) (details / githubweb)
  45. Add initial support for type encoding #108 (commit: 60bfb5c) (details / githubweb)
  46. Code cleanup, comments. (commit: 43ec87d) (details / githubweb)
  47. Update type encoder to support set1, seq1 and map (commit: 8211423) (details / githubweb)
  48. -  Reduction in flash footprint:  maps. -  Addresses #120. (commit: 3081624) (details / githubweb)
  49. Address wrong assumption in the distributed code-generator (commit: 887d559) (details / githubweb)
  50. -  Flash footprint reduction, sequences. -  Addresses #120. (commit: 638e9ef) (details / githubweb)
  51. -  Flash footprint reduction, sets. -  Addresses #120. (commit: ec28ff2) (details / githubweb)
  52. -  Eliminating some compiler warnings in distribution runtime. - (commit: baf6778) (details / githubweb)
  53. -  Bugfix. -  Addresses #120. (commit: d68c28b) (details / githubweb)
  54. -  WIP runtime library support for optional types encoding. -  Addresses (commit: f12f3a8) (details / githubweb)
  55. -  Runtime library support for is queries on optional types. - (commit: 6f5a2ed) (details / githubweb)
  56. -  Runtime support for eliminating is queries based on NO_IS flag. - (commit: dc54b7c) (details / githubweb)
  57. Emit NO_IS flag in model features file #108 (commit: f15c330) (details / githubweb)
  58. Support exists1 quantifier #108 (commit: d885aa3) (details / githubweb)
  59. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. (commit: fcab775) (details / githubweb)
  60. Support preconditions #108 (commit: aaf9e4f) (details / githubweb)
  61. Support encoding of optional types #108 (commit: 4831a70) (details / githubweb)
  62. Temporarily build against Overture 2.5.3-SNAPSHOT (commit: 169d311) (details / githubweb)
  63. Update VDM2C to work with newest Overture (commit: 4e7ab1e) (details / githubweb)
  64. Support map iteration #108 (commit: 6c440d7) (details / githubweb)
  65. Support map composition #108 (commit: d45fd36) (details / githubweb)
  66. Support iota #108 (commit: ac2f061) (details / githubweb)
  67. Support non-deterministic statements #108 (commit: 9045250) (details / githubweb)
  68. Support isofbaseclass #108 (commit: e31f0d5) (details / githubweb)
  69. Support isofclass operator #108 (commit: c1c4e58) (details / githubweb)
  70. Support samebaseclass operator #108 (commit: e69402e) (details / githubweb)
  71. Support sameclass operator #108 (commit: 4872b49) (details / githubweb)
  72. -  Typo in type encoding in test. -  Addresses #108. (commit: 38e82bd) (details / githubweb)
  73. Work on checking union types in is_ expressions #108 (commit: c5ad1e1) (details / githubweb)
  74. Emit type encoding for is_* checks #108 (commit: ae81a7f) (details / githubweb)
  75. Fix two issues in IsExpUnionTypeFinder #108 (commit: dbe8316) (details / githubweb)
  76. Support union types in is_* expressions #108 (commit: 8f41307) (details / githubweb)
  77. Fix memory leak in field initializers (commit: 40c78ca) (details / githubweb)
  78. Fix index issue in "for all" loops (commit: 3679031) (details / githubweb)
  79. -  Fixed bugs in runtime library OO support. -  isofclass is both (commit: f228303) (details / githubweb)
  80. -  Fixed bug with exclusion of class inheritance header file. - (commit: 87740a5) (details / githubweb)
  81. -  Minor refinement to exclusion mechanism. -  Addresses #108. (commit: 673ca1c) (details / githubweb)
  82. Use Overture 2.5.4 (commit: 177a847) (details / githubweb)
  83. Fix clean up in OOChecks test (commit: ef9b360) (details / githubweb)
  84. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (commit: 3ec2000) (details / githubweb)
  85. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - (commit: 7b124de) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 7b124de192603edfdcea658b246ec1d0020cc04b
  • refs/remotes/origin/development