Started 3 yr 8 mo ago
Took 3.4 sec on master

Success Build #163 (Dec 2, 2016 5:11:24 PM)

Changes
  1. Emitting header files for global static and const init and shutdown (commit: 52d61b9) (details / githubweb)
  2. Using correct quotes for header file name in include directive. (commit: 060643a) (details / githubweb)
  3. Formatting in emitted main.c file. (commit: 91e974f) (details / githubweb)
  4. Add VDM2C 0.0.16 release notes (commit: 36de255) (details / githubweb)
  5. Prepare VDM2C 0.0.16 release (commit: 7d1d95e) (details / githubweb)

Started by GitHub push by peterwvj

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