Tasks #155

Activities #149: MD - Main development

Plugins development

Added by Luis Valencia Cabrera about 13 years ago. Updated about 13 years ago.

Status:In progressStart date:06/22/2012
Priority:UrgentDue date:07/17/2012
Assignee:Luis Valencia Cabrera% Done:

100%

Category:-Estimated time:50.00 hours
Target version:-

Description

This task covers all tasks related to the development of plugins for MeCoSim


Recurrences


Subtasks

Tasks #156: Plugin for basic functionalityClosedLuis Valencia Cabrera

Tasks #161: Setting up of the plugin for properties extractionClosedLuis Valencia Cabrera

Tasks #162: Plugin for Promela file generationClosedLuis Valencia Cabrera

Tasks #168: Expanding the scope of the plugin "Membrane Structure Vie...ClosedLuis Valencia Cabrera

Tasks #171: New plugin "Multisets Viewer" inside MeCoSimBasicsPluginClosedLuis Valencia Cabrera

Tasks #178: Promela plugin updateClosedLuis Valencia Cabrera

Tasks #179: Plugin for running external processes from MeCoSimClosedLuis Valencia Cabrera

Also available in: Atom PDF