Started 3 yr 8 mo ago
Took 3.9 sec on master

Success Build #147 (Nov 21, 2016 4:12:30 PM)

  1. Corrections for CLI argument validation (commit: db79217) (details / githubweb)
  2. Add missing source nodes to class headers (commit: 2f04993) (details / githubweb)
  3. Represent the generated code using CGP means (commit: 4f7ba9e) (details / githubweb)
  4. Update CLI to report errors/unsupported constructs (commit: 25c8a3d) (details / githubweb)
  5. Translate standard libraries to IR modules (commit: e3b1f3d) (details / githubweb)
  6. Translate generated modules to C sources (commit: 54a050f) (details / githubweb)
  7. Update the VDM2C plugin to output the user's code (commit: 763a468) (details / githubweb)
  8. Correct initialisation of mangledNames (commit: 15a5ed3) (details / githubweb)
  9. Better user feedback for unsupported constructs (commit: 3c864a8) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 3c864a8ddd5f58d356aa5a674e10a4b123f2204e
  • refs/remotes/origin/development