@tthuem tthuem released this Oct 20, 2014 · 3663 commits to develop since this release

Assets 2
  • New AHEAD version integrated
  • AHEAD projects can be composed with Jampack or Mixin (based on the settings
    in the project properties)
  • New DeltaJ version integrated (now available for Eclipse 3.7 and 4.2, was
    only available for 3.6 before)
  • Support for metaproduct generation for FeatureHouse projects
  • Support for JML-based verification with KeY and JavaPathFinder
  • JML contracts added to the collaboration diagram for FeatureHouse projects