Started 3 yr 1 mo ago
Took 39 min on master

Success Build #61 (Jul 1, 2017 10:26:58 PM)

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

Started by user Peter W. V. Tran-Jørgensen

Revision: d9fe9124fb20a0a4dd104d997336a80314feab58
  • refs/remotes/origin/development