Started 4 yr 0 mo ago
Took 29 sec on master

Failed Build #38 (Sep 26, 2016 3:54:52 PM)

Changes
  1. preparing next release (details / githubweb)
  2. More transformations cleanup. (details / githubweb)
  3. More cleanup. (details / githubweb)
  4. Refactoring of field transformations. (details / githubweb)
  5. Test model for incremental redevelopment of static field access (details / githubweb)
  6. Some temporary static field tests exercising the globals scheme. (details / githubweb)
  7. Reworking field access transformation. (details / githubweb)
  8. Committing some intermediate stuff before moving to new branch. (details / githubweb)
  9. [maven-release-plugin] prepare release Release/0.0.2 (details / githubweb)
  10. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  11. Stabilize tests. (details / githubweb)
  12. Test model for scratch work. (details / githubweb)
  13. Add test from commit 6ce283 (details / githubweb)
  14. Add test code from commit 16f494 (details / githubweb)
  15. Add test code changes from d7ffd1 (details / githubweb)
  16. Changes from 22e1d1 (details / githubweb)
  17. Port over changes related to de0401 (details / githubweb)
  18. Re-enable test (related to 732351) (details / githubweb)
  19. Fix issue related to construction of the field name (details / githubweb)
  20. Changes related to 15dd76 (details / githubweb)
  21. Ensuring that const and static init functions have bodies (details / githubweb)
  22. changed cmake testing to reuse the same compiled googletest resources (details / githubweb)
  23. Work on static fields (related to 9c66cd) (details / githubweb)
  24. Records test was in fact a test for products. (details / githubweb)
  25. Add prerequisite section in the README (details / githubweb)
  26. Update description of test properties (details / githubweb)
  27. Describe how to execute the runtime tests (details / githubweb)
  28. Update readme.md (details / githubweb)
  29. Re-organise readmes (details / githubweb)
  30. Cleanup README (details / githubweb)
  31. Do not put launch configurations under version control (details / githubweb)
  32. Change testing log level (details / githubweb)
  33. Untrack launch configurations (details / githubweb)
  34. Allow test files to exist (details / githubweb)
  35. Update quote test to support test execution (details / githubweb)
  36. Add name mangling for quote types (details / githubweb)
  37. Slightly better testing of quotes (details / githubweb)
  38. Add name mangling for the unknown type and the template type (details / githubweb)
  39. Add name mangling for named types (details / githubweb)
  40. Add name mangling for union types (details / githubweb)
  41. Suppress googletest output by default (details / githubweb)
  42. Improvements for the C code generator command-line (details / githubweb)
  43. Update tests to pass the --quiet flag to the C code generator (details / githubweb)
  44. Fix issue with the field access transformation (details / githubweb)
  45. Test that the field transformation issue is fixed (details / githubweb)
  46. Update public field test to compile the generated code (details / githubweb)
  47. Re-enable and fix field test (details / githubweb)
  48. Remove -DVDM_LIB_PATH test property (details / githubweb)
  49. Update vdm2c to use newest version of Overture (details / githubweb)
  50. Update the VDM2C plugin to build against Eclipse Neon. Closes #18 (details / githubweb)
  51. Testing branching. (details / githubweb)
  52. Work on not including unnecessary directories along with generated code. (details / githubweb)
  53. Related to issue #4. (details / githubweb)
  54. Related to issue #4. (details / githubweb)
  55. More path fixes.  Related to issue #4. (details / githubweb)
  56. Test for behaviour of class variable and record variable assignment. (details / githubweb)
  57. Test case for scratch work VDM class. (details / githubweb)
  58. Test material to determine whether assignment achieves value and (details / githubweb)
  59. Tweak description of how to execute the runtime library tests (details / githubweb)
  60. Remove generated test file (details / githubweb)
  61. Add more tests for static fields (details / githubweb)
  62. Renaming for VDM quote type. (details / githubweb)
  63. Fix code generation of static field access (details / githubweb)
  64. Test that issue with code generation of static field access is fixed (details / githubweb)
  65. Fix issue with assignments to static fields (details / githubweb)
  66. Aligned order of parameters for Collection construction functions. (details / githubweb)
  67. Preventing unimplemented math functions from generating compiler (details / githubweb)
  68. Fix: Lookup of the name of the enclosing class did not expect the system (details / githubweb)
  69. Clean up NameConverter (remove unused code) (details / githubweb)
  70. Fix the static field access transformation (details / githubweb)
  71. Test that the static field issues have been fixed (details / githubweb)
  72. Correct description of how to execute the runtime library tests (details / githubweb)
  73. Integrate runtime library test into Maven build (details / githubweb)
  74. Disable run-lib-tests shell script (details / githubweb)
  75. Run cmake before executing the runtime library tests (details / githubweb)
  76. Executing the runtime library test requires cmake be run (details / githubweb)
  77. Update description of how to execute the runtime library tests (details / githubweb)
  78. Fixed memory leak in setting class field value.  Related to issue #29. (details / githubweb)
  79. Fixes issue #29. (details / githubweb)
  80. Update C code generator plugin to export missing package (details / githubweb)
  81. Prepare release 0.0.6 (details / githubweb)

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

Revision: 9b5fa022fe7a7d356dc5217a8018b75bc0d74641
  • refs/remotes/origin/development