Started 3 yr 10 mo ago
Took 16 sec on master

Success Build #110 (Sep 26, 2016 3:43:41 PM)

  1. Test model for scratch work. (commit: 9bd708c) (details / githubweb)
  2. Add test from commit 6ce283 (commit: 28a6457) (details / githubweb)
  3. Add test code from commit 16f494 (commit: 4a3cdaa) (details / githubweb)
  4. Add test code changes from d7ffd1 (commit: 7fb523d) (details / githubweb)
  5. Changes from 22e1d1 (commit: 958faf0) (details / githubweb)
  6. Port over changes related to de0401 (commit: 298c29d) (details / githubweb)
  7. Re-enable test (related to 732351) (commit: 7bb3883) (details / githubweb)
  8. Fix issue related to construction of the field name (commit: a1e46ac) (details / githubweb)
  9. Changes related to 15dd76 (commit: 3201879) (details / githubweb)
  10. Ensuring that const and static init functions have bodies (commit: 19d73fc) (details / githubweb)
  11. changed cmake testing to reuse the same compiled googletest resources (commit: 810ef26) (details / githubweb)
  12. Work on static fields (related to 9c66cd) (commit: 51f2036) (details / githubweb)
  13. Records test was in fact a test for products. (commit: 0d5ef4e) (details / githubweb)
  14. Add prerequisite section in the README (commit: 80d0819) (details / githubweb)
  15. Update description of test properties (commit: ba6b995) (details / githubweb)
  16. Describe how to execute the runtime tests (commit: b7e3817) (details / githubweb)
  17. Update (commit: 12a0136) (details / githubweb)
  18. Re-organise readmes (commit: 4416d39) (details / githubweb)
  19. Cleanup README (commit: f3b1633) (details / githubweb)
  20. Do not put launch configurations under version control (commit: 7811b2f) (details / githubweb)
  21. Change testing log level (commit: a506867) (details / githubweb)
  22. Untrack launch configurations (commit: b3adfd0) (details / githubweb)
  23. Allow test files to exist (commit: 10dee59) (details / githubweb)
  24. Update quote test to support test execution (commit: 27f50d6) (details / githubweb)
  25. Add name mangling for quote types (commit: 0b395ca) (details / githubweb)
  26. Slightly better testing of quotes (commit: cd60673) (details / githubweb)
  27. Add name mangling for the unknown type and the template type (commit: dfa1e3a) (details / githubweb)
  28. Add name mangling for named types (commit: 8b045c6) (details / githubweb)
  29. Add name mangling for union types (commit: bf01896) (details / githubweb)
  30. Suppress googletest output by default (commit: dd7b68f) (details / githubweb)
  31. Improvements for the C code generator command-line (commit: c969c10) (details / githubweb)
  32. Update tests to pass the --quiet flag to the C code generator (commit: 1716770) (details / githubweb)
  33. Fix issue with the field access transformation (commit: 69b0a3a) (details / githubweb)
  34. Test that the field transformation issue is fixed (commit: 520ce73) (details / githubweb)
  35. Update public field test to compile the generated code (commit: f9e4073) (details / githubweb)
  36. Re-enable and fix field test (commit: bab932f) (details / githubweb)
  37. Remove -DVDM_LIB_PATH test property (commit: d8559d6) (details / githubweb)
  38. Update vdm2c to use newest version of Overture (commit: e64c4d6) (details / githubweb)
  39. Update the VDM2C plugin to build against Eclipse Neon. Closes #18 (commit: c23f283) (details / githubweb)
  40. Testing branching. (commit: 2f29820) (details / githubweb)
  41. Work on not including unnecessary directories along with generated code. (commit: 6484ff2) (details / githubweb)
  42. Related to issue #4. (commit: f60e1cf) (details / githubweb)
  43. Related to issue #4. (commit: a37b26c) (details / githubweb)
  44. More path fixes.  Related to issue #4. (commit: a3449ea) (details / githubweb)
  45. Test for behaviour of class variable and record variable assignment. (commit: cd2a6e9) (details / githubweb)
  46. Test case for scratch work VDM class. (commit: 514abce) (details / githubweb)
  47. Test material to determine whether assignment achieves value and (commit: 3609910) (details / githubweb)
  48. Tweak description of how to execute the runtime library tests (commit: f27529a) (details / githubweb)
  49. Remove generated test file (commit: bbbf659) (details / githubweb)
  50. Add more tests for static fields (commit: 9789184) (details / githubweb)
  51. Renaming for VDM quote type. (commit: 63164b5) (details / githubweb)
  52. Fix code generation of static field access (commit: 78b8efd) (details / githubweb)
  53. Test that issue with code generation of static field access is fixed (commit: 8e0b271) (details / githubweb)
  54. Fix issue with assignments to static fields (commit: 5667eec) (details / githubweb)
  55. Aligned order of parameters for Collection construction functions. (commit: fd5054e) (details / githubweb)
  56. Preventing unimplemented math functions from generating compiler (commit: aa10d6a) (details / githubweb)
  57. Fix: Lookup of the name of the enclosing class did not expect the system (commit: fb01ce9) (details / githubweb)
  58. Clean up NameConverter (remove unused code) (commit: c4fe41e) (details / githubweb)
  59. Fix the static field access transformation (commit: e37fa0a) (details / githubweb)
  60. Test that the static field issues have been fixed (commit: 791575f) (details / githubweb)
  61. Correct description of how to execute the runtime library tests (commit: 17eab86) (details / githubweb)
  62. Integrate runtime library test into Maven build (commit: 741fd1e) (details / githubweb)
  63. Disable run-lib-tests shell script (commit: 1dadc84) (details / githubweb)
  64. Run cmake before executing the runtime library tests (commit: a643397) (details / githubweb)
  65. Executing the runtime library test requires cmake be run (commit: e6fcc71) (details / githubweb)
  66. Update description of how to execute the runtime library tests (commit: 97e69df) (details / githubweb)
  67. Fixed memory leak in setting class field value.  Related to issue #29. (commit: 0edba19) (details / githubweb)
  68. Fixes issue #29. (commit: 32e9d87) (details / githubweb)
  69. Update C code generator plugin to export missing package (commit: f5b1f62) (details / githubweb)

Started by GitHub push by peterwvj

Revision: f5b1f6265f1b305792d6c5c12e75d022bdc6889d
  • refs/remotes/origin/development