Started 3 yr 1 mo ago
Took 9.8 sec on master

Success Build #199 (Mar 3, 2017 1:44:07 PM)

Changes
  1. Add VDM2C version number to generated code (commit: 46c077b) (details / githubweb)
  2. Add VDM2C version 0.1.0 release notes (commit: d33f354) (details / githubweb)
  3. Prepare release of VDM2C 0.1.0 (commit: c91fa6d) (details / githubweb)

Started by GitHub push by peterwvj

Revision: c91fa6d976da0d72164ecaa836db29f1f6540f6a
  • refs/remotes/origin/development