Started 3 yr 10 mo ago
Took 11 min on master

Success Build #53 (Dec 2, 2016 5:15:52 PM)

Changes
  1. -  Working on emitting global static and constant init and shutdown (details / githubweb)
  2. [maven-release-plugin] prepare release Release/0.0.14 (details / githubweb)
  3. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  4. Generalise AVarDeclIR (details / githubweb)
  5. Testing that an old error in overriding behaviour no longer appears. (details / githubweb)
  6. Emitting header files for global static and const init and shutdown (details / githubweb)
  7. Using correct quotes for header file name in include directive. (details / githubweb)
  8. Add start statement test (details / githubweb)
  9. Add start statement template (details / githubweb)
  10. Formatting in emitted main.c file. (details / githubweb)
  11. Add VDM2C 0.0.16 release notes (details / githubweb)
  12. Prepare VDM2C 0.0.16 release (details / githubweb)

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

Revision: 7d1d95e6df0225ee3684062e4ce007d1a9e7af2e
  • refs/remotes/origin/development