Project

General

Profile

Change Request #3861

Change Request #3860: Consolidation of AF3 plugins

Move verification, testing support and beaglebone plattform to dedicated repositories

Added by Simon Barner 12 months ago. Updated 12 months ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
11/04/2019
Due date:
% Done:

100%

Estimated time:

Description

The following packages should be moved to a dedicated plugin org.fortiss.af3.verification that is located in a separate verification repository:

  • org.fortiss.af3.component.generator.nusmv
  • org.fortiss.af3.expression.generator.nusmv
  • org.fortiss.af3.specification.constraint
  • org.fortiss.af3.specification.generator.nusmv
  • org.fortiss.af3.specification.modelchecking
  • org.fortiss.af3.state.generator.nusmv

This should enable a more or less side-effect free relocation of the following plugins to the verification repository

  • org.fortiss.af3.msc
  • org.fortiss.af3.msc.ui
  • org.fortiss.af3.ocra
  • org.fortiss.af3.refinement
  • org.fortiss.af3.refinement.ui
  • org.fortiss.af3.specification
  • org.fortiss.af3.specification.ui
  • org.fortiss.af3.testing
  • org.fortiss.af3.testing.ui
  • org.fortiss.af3.tools
  • org.fortiss.pragmatictransformation
To reduce the overhead, also in the frame of this ticket, the following plugins should be moved to a dedicated beaglebone repository.
  • org.fortiss.af3.beaglebone
  • org.fortiss.af3.beaglebone.ui

History

#1 Updated by Simon Barner 12 months ago

  • Subject changed from Move NuSMV support to dedicated plugin to Move verification and testing support and beaglebone plattform to dedicated repositories
  • Description updated (diff)

#2 Updated by Simon Barner 12 months ago

  • Subject changed from Move verification and testing support and beaglebone plattform to dedicated repositories to Move verification, testing support and beaglebone plattform to dedicated repositories
  • Status changed from In Progress to Resolved
  • Assignee changed from Simon Barner to Alexander Diewald

#4 Updated by Alexander Diewald 12 months ago

  • Status changed from Resolved to Closed
  • % Done changed from 0 to 100

Merged. Thanks!

#5 Updated by Alexander Diewald 12 months ago

  • Assignee deleted (Alexander Diewald)

Also available in: Atom PDF