Started 1 yr 1 mo ago
Took 33 min

Success Build #138 (Sep 16, 2019 1:02:24 PM)

Build Artifacts
  1. Added comments nodes to AST (details / githubweb)
  2. Read comments for class/module, defs, statements and expressions (details / githubweb)
  3. Added comments to State definition parse (details / githubweb)
  4. Correct a warning (details / githubweb)
  5. First cut of annotation processing (details / githubweb)
  6. Complete first cut of annotations. (details / githubweb)
  7. Some annotation corrections. (details / githubweb)
  8. Tidy up shared PO annotation code (details / githubweb)
  9. Correct some visitors for annotation exp/stm (details / githubweb)
  10. Clean up POAnnotation callbacks (details / githubweb)
  11. Added parser annotation callbacks (details / githubweb)
  12. Improve POAnnotation callbacks (details / githubweb)
  13. Improve TC annotation callbacks (details / githubweb)
  14. More callback tody up (details / githubweb)
  15. Added annotations to MANIFEST.MF (details / githubweb)
  16. Set node types for Annotation nodes (details / githubweb)
  17. Separate out annotation parsing into user code (details / githubweb)
  18. Added stderr output for annotation parse errors (details / githubweb)
  19. Correct constraint checking for mu expressions (details / githubweb)
  20. Mu constraint checking fixes (details / githubweb)
  21. Correct TypeCheckInfo constraints when checking annotations (details / githubweb)
  22. Correct parse of mk_<type> to only allow token (details / githubweb)
  23. Narrow types of expressions masked by types of local variables (details / githubweb)
  24. Java CG: limited support for function instantiation with collections (details / githubweb)
  25. Java CG: narrow code-generated types (details / githubweb)
  26. Java CG: improve union type support for function instantiations (details / githubweb)
  27. Correct field expression constraint checks (details / githubweb)
  28. Java CG: replace method type with corresponding interface type (details / githubweb)
  29. Explicit error for non-struct export field access (details / githubweb)
  30. Explicit error for mk_R of non-struct exported types (details / githubweb)
  31. Java CG: Union type trans to guard against non-existing members (details / githubweb)
  32. Correct handling of discretionary "()" types (details / githubweb)
  33. Java CG: fix generation of local definitions in invariant functions (details / githubweb)
  34. Struct type export changes (details / githubweb)
  35. Java CG: simplify recursive type check (details / githubweb)
  36. Java CG: add missing test (details / githubweb)
  37. Java CG: fix issue with types being narrowed by 'is_' checks (details / githubweb)
  38. Java CG: fix and improve generation of the 'forall-stm' (details / githubweb)
  39. Java CG: guard against null pointers in UnionTypeTrans (details / githubweb)
  40. Java CG: log suspicious behaviour (details / githubweb)
  41. Java CG: fix issue with local variables and class names that clash (details / githubweb)
  42. Java CG: guard against sets of union types (details / githubweb)
  43. Java CG: tweak logging (details / githubweb)
  44. Java CG: fix 'hd' issue related to union types (details / githubweb)
  45. Java CG: fix issue with 'inds' related to union types (details / githubweb)
  46. Java CG: fix issue with old state (details / githubweb)
  47. Java CG: improve pattern handling for value definitions (details / githubweb)
  48. Java CG: fix issue related to function instantiation (details / githubweb)
  49. Small fix to card and len to return nat1 for set1/seq1 types (details / githubweb)
  50. Fix Set/SeqTypeFinders to return seq1/set1 if union of all seq1/set1s (details / githubweb)
  51. Add "fromModule" checks to visitors and isOpaque test (details / githubweb)
  52. Couple of import/export/struct fixes (details / githubweb)
  53. A few more struct cleanups (details / githubweb)
  54. Fix plugin build for struct changes (details / githubweb)
  55. Tweak to definition finder (details / githubweb)
  56. Fixes for issue-696 (details / githubweb)
  57. Correction for renamed type resolution (details / githubweb)
  58. Correction to for-loop exit types (details / githubweb)
  59. Update test results affected by issue #696 (details / githubweb)
  60. Update tool examples (details / githubweb)
  61. Improve unresolved variable error message and tests (details / githubweb)
  62. Bundle newest VCParser example (details / githubweb)
  63. Correction to resolution of imported types (details / githubweb)
  64. Added -strict parser flag and warnings (details / githubweb)
  65. Fix annotation expression parser (details / githubweb)
  66. Add a -strict warning for trace bracketed term trailing semi-colons (details / githubweb)
  67. Correction to operation return value checking (details / githubweb)
  68. Fix compareTo of InvariantValue for ordered types (details / githubweb)
  69. Add annotations projects (details / githubweb)
  70. Small fix to @Printf type checking (details / githubweb)
  71. Fix comments in Ghost annotation (details / githubweb)
  72. Add format conversion checking to @Printf (details / githubweb)
  73. Java CG: Update generated quotes to implement a Quote interface (details / githubweb)
  74. Java CG: Add limited codegen support for seq_of_char2val (details / githubweb)
  75. Correction to TypeComparator for polymorphic types (details / githubweb)
  76. Correct subseq expression to be seq rather than seq1 (details / githubweb)
  77. Correct CPU constructor check, fixes #698 (details / githubweb)
  78. Added instance initializers to annotations (details / githubweb)
  79. Add correction to TypeComparator for one-type unions (details / githubweb)
  80. Set the type of narrow_ nodes correctly (details / githubweb)
  81. Add Overture 2.7.0 release notes (details / githubweb)
  82. Prepare release of Overture 2.7.0 (details / githubweb)
  83. Fix broken javadoc causing release problems (details / githubweb)
  84. [maven-release-plugin] prepare release Release/2.7.0 (details / githubweb)
  85. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  86. Add link to the release procedure in the README (details / githubweb)
  87. Update Eclipse update sites (details / githubweb)
  88. Small fix to mu error reporting locations (details / githubweb)
  89. Added @OnFail annotation (details / githubweb)
  90. Add LexLocation and newline to @OnFail output (details / githubweb)
  91. Correct annotation parse to be tight and warn about missing brackets (details / githubweb)
  92. Add isBracketed flag to annotations (details / githubweb)
  93. Use "$" in format to control @OnFail location printing (details / githubweb)

Push event to branch pvj/main at 13:02:18 on 16-Sep-2019

Revision: be4952758b157ff544994f2c9b5d9f5e437086dc
  • pvj/main
Jacoco - Overall Coverage Summary
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    Jacoco - Overall Coverage Summary
    Task Scanner: 226 open tasks in 1,020 workspace files.
    Jacoco - Overall Coverage Summary
    Task Scanner: 473 open tasks in 3,516 workspace files.
    Jacoco - Overall Coverage Summary
    Task Scanner: 425 open tasks in 1,715 workspace files.