Started 2 yr 10 mo ago
Took 15 min

Failed Build #48 (Oct 5, 2017 2:12:16 PM)

Build Artifacts
c-0.1.15-SNAPSHOT.pom1.53 KB view
vdmclib-0.1.15-SNAPSHOT.jar105.94 KB view
vdmclib-0.1.15-SNAPSHOT.pom1.71 KB view
core-0.1.15-SNAPSHOT.pom950 B view
vdm2c-0.1.15-SNAPSHOT.pom5.62 KB view
ide-0.1.15-SNAPSHOT.pom9.49 KB view
org.overturetool.vdm2c.ide.features.cgen-0.1.15-SNAPSHOT.pom705 B view
org.overturetool.vdm2c.ide.cgen-0.1.15-SNAPSHOT.pom5.02 KB view
org.overturetool.vdm2c.ide.features-0.1.15-SNAPSHOT.pom688 B view
org.overturetool.vdm2c.ide.repository-0.1.15-SNAPSHOT.pom994 B view
root-0.1.15-SNAPSHOT.pom11.69 KB view
Changes
  1. Use transformation to emit "is" checks (details / githubweb)
  2. Remove templates that are not needed anymore #108 (details / githubweb)
  3. Test that is_nat generates correctly #108 (details / githubweb)
  4. Add support for is_nat1 #108 (details / githubweb)
  5. Support is_int #108 (details / githubweb)
  6. Support is_bool #108 (details / githubweb)
  7. Support is_rat #108 (details / githubweb)
  8. Support is_char #108 (details / githubweb)
  9. Support is_token #108 (details / githubweb)
  10. Support is_real #108 (details / githubweb)
  11. Emit class association file (details / githubweb)
  12. Add "generated file" comment to VdmClassHierarchy.h (details / githubweb)
  13. -  Product test for (int * char) * int. -  Addresses #108. (details / githubweb)
  14. -  Dummy VdmClassHierarchy.h file for runtime library testing. - (details / githubweb)
  15. -  Runtime library support for isofbaseclass. -  Addresses #108. (details / githubweb)
  16. -  Runtime library support for samebaseclass. -  Addresses #108. (details / githubweb)

Push event to branch vpb/development at 14:12:10 on 05-Oct-2017

Revision: 1b29f539d0b15f9fbec750b1a6f1d66b7bc6dabe
  • vpb/development
Task Scanner: 23 open tasks in 99 workspace files.
    Task Scanner: 21 open tasks in 88 workspace files.
    Test Result (2 failures / +2)
    Task Scanner: 21 open tasks in 88 workspace files.