Started 3 yr 2 mo ago
Took 10 min on master

Success Build #51 (Nov 22, 2016 2:37:13 PM)

Changes
  1. [maven-release-plugin] prepare release Release/0.0.10 (details / githubweb)
  2. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  3. Make "if-tests" executable (details / githubweb)
  4. Add generic "if-test" (details / githubweb)
  5. Add tests that reveal issue with if statements (details / githubweb)
  6. Updated README.txt with cmake command for debug. (details / githubweb)
  7. Unpack all typed expressions (details / githubweb)
  8. Test collection updates (details / githubweb)
  9. Low-level map update function, instead of implementing in terms of map (details / githubweb)
  10. Test for sequence updates. (details / githubweb)
  11. Add support for field and sequence updates (details / githubweb)
  12. Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF (details / githubweb)
  13. Testing in-place sequence update. (details / githubweb)
  14. Fix issue with copying of runtime library (details / githubweb)
  15. Corrections for CLI argument validation (details / githubweb)
  16. Add missing source nodes to class headers (details / githubweb)
  17. Represent the generated code using CGP means (details / githubweb)
  18. Update CLI to report errors/unsupported constructs (details / githubweb)
  19. Translate standard libraries to IR modules (details / githubweb)
  20. Translate generated modules to C sources (details / githubweb)
  21. Update the VDM2C plugin to output the user's code (details / githubweb)
  22. Correct initialisation of mangledNames (details / githubweb)
  23. Better user feedback for unsupported constructs (details / githubweb)
  24. Output folder field is not needed (details / githubweb)
  25. Clean-up CLI (details / githubweb)
  26. Simplify CGen (details / githubweb)
  27. Move 'copyNativeLibFiles' to core (details / githubweb)
  28. Update the VDM2C CLI (details / githubweb)
  29. Add v0.0.12 release notes (details / githubweb)
  30. Prepare release of VDM2C 0.0.12 (details / githubweb)

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

Revision: 07603abdb1ae1359a5a83a83f694de1bceb27d1f
  • refs/remotes/origin/development