Started 4 yr 10 mo ago
Took 18 min

Success Build #5 (Jul 1, 2017 11:29:27 PM)

Build Artifacts
Expand all Collapse all
Changes
  1. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  2. Fix issue with for loop transformation (details / githubweb)
  3. Fix issue with 'new' expression transformation (details / githubweb)
  4. Mention that the generated code is C89 compliant (details / githubweb)
  5. Mention VDM2C documentation (details / githubweb)
  6. Support map comprehensions (details / githubweb)
  7. Test map comprehensions (details / githubweb)
  8. Add paper example tests (details / githubweb)
  9. Add AlarmPP example sources for testing (details / githubweb)
  10. Add CashDispenserPP model for future testing (details / githubweb)
  11. Update runtime to support a larger number of function arguments (details / githubweb)
  12. Assume that the address is passed to SELF_GC (details / githubweb)
  13. Clean up PaperExampleTests (details / githubweb)
  14. Fix imports (details / githubweb)
  15. -  Added cleaning phase for runtime library to Maven build cycle. - (details / githubweb)
  16. Fix issue with CallRewriteTrans (details / githubweb)
  17. -  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90. (details / githubweb)
  18. Fix for compatibility with FMU exporter. (details / githubweb)
  19. Fix field look-up in FieldReadToFieldGetMacroTrans (details / githubweb)
  20. -  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses (details / githubweb)
  21. -  Eliminated compilation warning  due to parentheses. (details / githubweb)
  22. Only merge statement blocks when it's safe to do so (details / githubweb)
  23. Expanded to accommodate up to six function and operation call (details / githubweb)
  24. Reverting accidental inclusion of testing code. (details / githubweb)
  25. -  Further improvements to sequence growing mechanisms. -  Addresses (details / githubweb)
  26. Fix issue nested operation calls (details / githubweb)
  27. Fix another issue with nested operation calls (details / githubweb)
  28. Include identifier state designators in header analysis (details / githubweb)
  29. Fix issue with include directives in main.c (details / githubweb)
  30. -  Fixed memory leak in maps. -  Addresses #89. (details / githubweb)
  31. -  Fixed memory leak in sets. -  Addresses #89. (details / githubweb)
  32. -  Reverted memory leak fix in sets as it does not appear with generated (details / githubweb)
  33. -  Fixed memory leak in sets. -  Addresses #89. (details / githubweb)
  34. Cleanup. (details / githubweb)
  35. -  Fixed memory leak with sets. -  Rearranged failing test. (details / githubweb)
  36. Emit default constructor for records to support ASN1 work (details / githubweb)
  37. Omit address of result variable in GC calls (details / githubweb)
  38. -  Improvements to GLib-based map implementation. -  Addresses #89. (details / githubweb)
  39. Add pacemaker model sources #100 (details / githubweb)
  40. Add VDMPP version of bubble sort #100 (details / githubweb)
  41. Check that all paper examples code-generate and compile #100 (details / githubweb)
  42. Only include TypedValue.h in paper examples extension points (details / githubweb)
  43. -  Inserting assertions for memory allocation failures. -  Addresses (details / githubweb)
  44. Update RT transformation to replace RT nodes with empty blocks (details / githubweb)
  45. Wipe workspace after running build (details / githubweb)
  46. Move workspace cleanup to 'finally' clause (details / githubweb)
  47. Assertions for memory allocations and reallocations. (details / githubweb)
  48. Adding assert statements for memory allocations and reallocations. (details / githubweb)
  49. Adding assert statement for memory allocation. (details / githubweb)
  50. Adding assert statements for memory allocations. (details / githubweb)
  51. Adding assert statements for memory allocations and moves. (details / githubweb)
  52. -  Removed GLib dependency, not used at all. -  Addresses #89. (details / githubweb)
  53. -  New implementation of maps. -  Addresses #89. (details / githubweb)
  54. -  Fixed critical bug causing non-reproducible crashes in the garbage (details / githubweb)
  55. -  Another segfault bugfix. -  AlarmPP model now can be inspected using (details / githubweb)
  56. Don't set commit status explicitly (details / githubweb)
  57. Cleanup Jenkinsfile syntax (details / githubweb)
  58. Don't emit SET_FIELD_PTR_GC (it's not needed) (details / githubweb)
  59. Don't emit SET_FIELD_GC (it's not needed) (details / githubweb)
  60. -  Not using GC-aware assignments in class fields. -  Addresses #89. (details / githubweb)
  61. Fix issue with factorial implementation (details / githubweb)
  62. Add missing MATH lib test (details / githubweb)
  63. Update CMakeList file for gcc6 (details / githubweb)
  64. Add 'numFields' in the IR (details / githubweb)
  65. Fix issue with for-index loops (details / githubweb)
  66. Ignore IntelliJ metadata (details / githubweb)
  67. Fix records value semantics bug (details / githubweb)
  68. New translation of 'nil' (details / githubweb)
  69. Fix grow mechanism for sequences #106 (details / githubweb)
  70. Update runtime to support more function/operation arguments (details / githubweb)
  71. Add VDM2C 0.1.8 release notes (details / githubweb)
  72. Prepare release of VDM2C 0.1.8 (details / githubweb)
  73. [maven-release-plugin] prepare release Release/0.1.8 (details / githubweb)

Push event to branch master at 23:29:20 on 01-Jul-2017

Revision: 793acc679df36f159c3ee5c50f2401bc3104545d
  • master
Task Scanner: 22 open tasks in 96 workspace files.
Task Scanner: 20 open tasks in 85 workspace files.
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION63%
    BRANCH42%
    COMPLEXITY38%
    LINE60%
    METHOD56%
    CLASS87%
    Task Scanner: 22 open tasks in 147 workspace files.
    Task Scanner: 22 open tasks in 96 workspace files.