Started 5 yr 0 mo ago
Took 11 min on master

Success Build #170 (Nov 27, 2017 5:10:13 PM)

  1. Further speed and size improvements in GC versions of operations. (commit: 2cdd6e1) (details / githubweb)
  2. Emit GC versions of class constructors #124 (commit: 9e1f19d) (details / githubweb)
  3. Tag constructor calls in CallRewriteTrans #124 (commit: 096c4ac) (details / githubweb)
  4. -  Memory leak fixes. -  Addresses #108. (commit: 5139781) (details / githubweb)
Artifactory Build Info

Started by GitHub push by bandurvp

Revision: 5139781f21ef81521392a4384a37503b4a9a099b
  • refs/remotes/origin/vpb/development
Task Scanner: 29 open tasks in 145 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary

      Module Builds

      Success C native root vdm2c4.7 sec
      Success Core Tools for vdm2c3.6 sec
      Success Overture FMI IDE Top-level3.2 sec
      Success Overture VDM 2 C Translator Root14 sec
      Success The C Code Generator VDM library sources15 sec
      Success The C Code Generator VDM distribution library sources3.9 sec
      Success The C Code Generator9 min 20 sec
      Success The C Code Generator Plugin8.2 sec
      Success Overture IDE Eclipse VDM2C features1.1 sec
      Success Overture IDE Eclipse repository9.8 sec
      Success Overture IDE Eclipse C Code Generator feature3.8 sec