Started 4 yr 0 mo ago
Took 10 min on master

Success Build #46 (Oct 7, 2016 4:04:26 PM)

Changes
  1. -  Added test for ClassOp.vdmrt. -  Addresses #8. (details / githubweb)
  2. -  Added test for ClassOp2.vdmrt. -  Addresses #8. (details / githubweb)
  3. -  Adding test code for ClassOpOpCall.vdmrt -  Addresses #8. (details / githubweb)
  4. [maven-release-plugin] prepare release Release/0.0.6 (details / githubweb)
  5. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  6. -  Added test for ClassOp2.vdmrt -  Addresses #8. (details / githubweb)
  7. -  Added test for ClassVarOpOp.vdmrt. -  Addresses #8. (details / githubweb)
  8. -  Added test for ClassVarOpOp2.vdmrt.  This test creates an infinitely (details / githubweb)
  9. Testing whether can emit the main file for the generated C code. (details / githubweb)
  10. Further work on emitting main.c file. (details / githubweb)
  11. main.c file is now emitted programmatically by the generation process. (details / githubweb)
  12. Ignore the generated library tests file (vdmclib) (details / githubweb)
  13. -  Modified CMake file so that each CG unit test outputs an XML test (details / githubweb)
  14. Working on gettig a map of model names to mangled names for use in (details / githubweb)
  15. Address warnings (details / githubweb)
  16. Fixed accidental error. (details / githubweb)
  17. Emitting #defines for mapping between mangled names and model names. (details / githubweb)
  18. Using uderscore as namespace separator instead of period. (details / githubweb)
  19. Ensure that the googletests are executed (details / githubweb)
  20. Add subclass responsibility tests (details / githubweb)
  21. Omitting mangled names of initializer functions.  They are not relevant (details / githubweb)
  22. Remove missing jar from MANIFEST (details / githubweb)
  23. Fix javadoc versions (details / githubweb)
  24. -  Modified NameMangler so that it keeps an internal map of mangled (details / githubweb)
  25. Comment. (details / githubweb)
  26. -  Basic operation overriding test. -  Addresses #8. (details / githubweb)
  27. -  Expanded override test to two-level inheritance. -  Addresses #8. (details / githubweb)
  28. Update description of how to execute runtime tests (details / githubweb)
  29. Addresses #8. (details / githubweb)
  30. -  Completed test for ClassOpOverrideMiddle.vdmrt. -  Addresses #8. (details / githubweb)
  31. -  Completing test for ClassValueInheritance.vdmrt test model. -  Has (details / githubweb)
  32. Fix name mangling of rat, union, void and nat1 types (details / githubweb)
  33. Add name mangling tests (details / githubweb)
  34. Fix name mangling of collection constructors (details / githubweb)
  35. Test name mangling of collection constructors (details / githubweb)
  36. Clean up imports (details / githubweb)
  37. Add script to generate release notes (details / githubweb)
  38. Add release notes for v0.0.4 (details / githubweb)
  39. Add release notes for v0.0.6 (details / githubweb)
  40. enabled code signing (details / githubweb)
  41. Determine which classes uses 'time' (details / githubweb)
  42. Test 'TimeFinder' (details / githubweb)
  43. Determining whether 'time.h' is needed. (details / githubweb)
  44. Header 'time.h' no longer needed in Vdm.h. (details / githubweb)
  45. 'time.h' is now only included in .c files corresponding to classes (details / githubweb)
  46. Add version 0.0.8 release notes (details / githubweb)
  47. Update release version to 0.0.8 and development version to (details / githubweb)

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

Revision: 0aba401b90ad3356441fa7a0ae51854911829ab0
  • refs/remotes/origin/development