[Jenkins]Jenkins
Started 4 yr 6 mo ago
Took 34 min

Success Build #60 (Nov 18, 2018 9:05:18 PM)

Build Artifacts
Changes
  1. Clean up PolyFuncTrans (details / githubweb)
  2. Ignore .factorypath files (details / githubweb)
  3. Clean up .gitignore (details / githubweb)
  4. Java CG: allow quotes as polymorphic types (details / githubweb)
  5. Java CG: allow record types as polymorphic types (details / githubweb)
  6. Java CG: generate more detailed output (Leo's changes) (details / githubweb)
  7. Java CG: correct transformation message (details / githubweb)
  8. Java CG: guard against pseudo record types (details / githubweb)
  9. Java CG: allow polymorphic types to be passed as arguments (details / githubweb)
  10. Java CG: fix sequence concatenation issue (details / githubweb)
  11. Java CG: fix issue with seq-to-string conversion (details / githubweb)
  12. Java CG: allow strings to be bound to polymorphic types (details / githubweb)
  13. Java CG: allow union of quotes to be bound to polymorphic types (details / githubweb)
  14. Java CG: fix issue with conversion between strings and sequences (details / githubweb)
  15. Java CG: enable contract generation via the CLI (details / githubweb)
  16. Java CG: fix issue with conversion of argument types (details / githubweb)
  17. Java CG: perform topological sort of field graph (details / githubweb)
  18. Java CG: mark some of the VDMUtil functions as unsupported (details / githubweb)
  19. Java CG: fix access modifiers of pre- and postconditions and invariants (details / githubweb)
  20. Java CG: support 'is_' expressions for types '?' and 'seq of?' (details / githubweb)
  21. Java CG: warn on unsupported library features (details / githubweb)
  22. Java CG: output location for transformation warnings (details / githubweb)
  23. Java CG: rename modules to avoid naming conflicts (details / githubweb)
  24. Java CG: fix file name of quote classes (details / githubweb)
  25. Java CG: improve argument type analysis (details / githubweb)
  26. Java CG: update module renamer to handle records (details / githubweb)
  27. Java CG: fix for implicit operations (details / githubweb)
  28. Java CG: fix issue with SL state access in implicit operations (details / githubweb)
  29. Java CG: fix issue with types of 'new' expression arguments (details / githubweb)
  30. Tightened narrow_ parsing and reserved name detection (details / githubweb)
  31. Java CG: guard against non-existing VDM node (details / githubweb)
  32. Java CG: improve logging in case of unexpected type (details / githubweb)
  33. Java CG: report VDM node locations for unexpected types (details / githubweb)
  34. Java CG: more work on improving logging of unexpected types (details / githubweb)
  35. Absorb ContextExceptions during union type conversions (details / githubweb)
  36. Warning for unused state variable, fixes #693 (details / githubweb)

Push event to branch test at 21:05:12 on 18-Nov-2018

Revision: 491fad5a770bb6eade204c4b704e3f7ac81c9415
  • test
Task Scanner: 419 open tasks in 1,695 workspace files.
    Task Scanner: 220 open tasks in 1,000 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH45%
      COMPLEXITY44%
      LINE55%
      METHOD55%
      CLASS79%
      Task Scanner: 466 open tasks in 3,415 workspace files.
      Task Scanner: 220 open tasks in 1,000 workspace files.
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH45%
      COMPLEXITY44%
      LINE55%
      METHOD55%
      CLASS79%
      Task Scanner: 467 open tasks in 3,490 workspace files.
      Task Scanner: 419 open tasks in 1,695 workspace files.